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

[Zoltan Somogyi]

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

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------