[m-rev.] Re: for review: merge HAL branch onto main branch

David Jeffery dgj at cs.mu.OZ.AU
Tue Mar 13 15:15:18 AEDT 2001


There is an XXX in rtti_out.m above the code that generates this saying that
a new MR_SECTAG_xxx should be added (etc.).

Are you happy with that being left as an XXX for now?

On 13-Mar-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> DJ, what was the final response to this issue?
> 
> On 19-Feb-2001, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> > > > > +        io__write_string("\t{ 0, MR_SECTAG_NONE, NULL },\n").
> > > > 
> > > > Hmm... there's lots of code in the Mercury runtime system which won't
> > > > work with such a dummy ptag layout.
> > > 
> > > % This dummy layout should never actually be referenced; the ptag that
> > > % this layout refers to should never actually be used by Mercury.
> > 
> > It will be referenced by the runtime system in HAL grades.
> > 
> > In general, you need to mark ptags reserved for HAL with a distinctive mark,
> > maybe a fourth MR_SECTAG_xxx value (maybe MR_SECTAG_HAL_VAR), and teach the
> > various routines the runtime and library directories how to handle it.
> > For now, the "handling" may consist of aborting; you can put in real code over
> > time, as you need the facilities.
> 
> -- 
> Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
>                                     |  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
> --------------------------------------------------------------------------

-- 
David Jeffery (dgj at cs.mu.oz.au) | If you want to build a ship, don't drum up 
PhD student,                    | people together to collect wood or assign 
Dept. of Comp. Sci. & Soft. Eng.| them tasks and work, but rather teach them 
The University of Melbourne     | to long for the endless immensity of the sea.
Australia                       | -- Antoine de Saint Exupery
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list