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

[Zoltan Somogyi]

On 19-Feb-2001, David Jeffery <dgj at cs.mu.OZ.AU> wrote:
> > It will be referenced by the runtime system in HAL grades.
> 
> Well, it won't be accessed by anything in the Mercury runtime. Values that
> are being treated by the Herbrand solver only ever have their structure
> examined by C code generated by the HAL compiler.

Actually, I was using "runtime" loosely to include the routines in std_util.m,
which are used by e.g. io__write and the debugger. Those *will* encounter HAL
constrained variables, and you will do yourself a favour if you modify them
to throw a nice clean abort instead of dereferencing wild pointers.

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