[m-dev.] for review: merge HAL branch onto main branch
David Jeffery
dgj at cs.mu.OZ.AU
Mon Feb 19 16:57:56 AEDT 2001
On 19-Feb-2001, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 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.
Yes, using the debugger is a very compelling reason to handle it elegantly.
Of course, it'd be even nicer to get the debugger to give some kind of nice
visual representation to variables... such as printing them out with capitals,
I guess.
Oh, and it'd be really, *really* nice if we could get it to represent sharing
properly. This is one for the TODO list (which I suspect will stay there for
a while), though.
dgj
--
David Jeffery (dgj at cs.mu.oz.au) | If your thesis is utterly vacuous
PhD student, | Use first-order predicate calculus.
Dept. of Comp. Sci. & Soft. Eng.| With sufficient formality
The University of Melbourne | The sheerist banality
Australia | Will be hailed by the critics: "Miraculous!"
| -- Anon.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------
More information about the developers
mailing list