[m-rev.] for review: RTTI/unify/compare for builtin types in the runtime

[Zoltan Somogyi]

On 09-Aug-2002, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> It is not there only for bootstrapping.
> It is there for correctness.
> If you take it out, the system won't be correct any more.
> 
> This contradicts the comment in mercury_bootstrap.h:
> 
> ** Temporary definitions only needed for bootstrapping and/or
> ** for backwards compatibility.

Anything required for bootstrapping is by definition something that is
(temporarily) required for correctness.

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