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

[Fergus Henderson]

On 09-Aug-2002, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 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.

Things that are *only* required for bootstrapping are needed
only so that they can be compiled with a previous version of
the compiler.  They are not needed for correctness if you compile
with the same version of the compiler.

The stuff that you are proposing to add to mercury_bootstrap.h is
not in that category.

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