[m-rev.] for review: comparison of preds/funcs

[Zoltan Somogyi]

On 13-Apr-2002, Mark Brown <dougl at cs.mu.OZ.AU> wrote:
> This was the approach I tried first.  The problem is that the generic
> routines can call the type specific routines in the type_ctor_infos.

But they don't do so when MR_COMPARE_BY_RTTI is enabled. The reason why
we don't enable it for unify and compare is that those predicates can throw
exceptions, which we do not handle properly across the C/Mercury interface.
However, the new compare_representations predicate will not throw exceptions.
Therefore enabling MR_COMPARE_BY_RTTI for it should work.

Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------