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

Fergus Henderson fjh at cs.mu.OZ.AU
Tue Mar 13 15:04:00 AEDT 2001


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



More information about the reviews mailing list