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

[Fergus Henderson]

On 08-Aug-2002, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> On 07-Aug-2002, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > That doesn't look like a good idea to me.  No code in our system should
> > depend on the stuff in mercury_bootstrap.h, which should be there only
> > for bootstrapping or to preserve backwards compatibility.
> 
> It is there for bootstrapping.

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.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------