[m-rev.] for review: where safe_equality is ...

[Zoltan Somogyi]

On 13-May-2003, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> Just out of interest, is there a document or note explaining the
> motivation for using foreign types for such things?

No. The motivation is to eliminate the hand-written unify and compare
preds for builtin types, and instead get the compiler to generate those
predicates. That way, the problem of bracketing the actual unify and compare
actions with the code required for debugging and/or profiling needs to be
solved just once, in the compiler, instead of having to be solved in several
places in the runtime and libraries as well.

> (I was under the
> impression that we were moving towards an entirely Mercury-based RTTI
> scheme.)

And this diff is one step on that road.

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
--------------------------------------------------------------------------