[m-rev.] for review: MLDS back-end: generate closure layouts

[Fergus Henderson]

On 02-Mar-2002, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> On 01-Mar-2002, Peter Ross <peter.ross at miscrit.be> wrote:
> > > compiler/ml_unify_gen.m:
> > > 	Add code to generate closure layouts.
> > > 	XXX Note that we still don't fill in the MR_closure_id field yet.
> > > 
> > Is this a major limitation?  What requires this field?

What the closure_id field holds is essentially just the name of the closure.

> You can't deconstruct closures without filling in this field.

Well, the code for deconstructing closures currently requires the
MR_closure_id field be set, but it would be fairly easy to modify that
code to eliminate that requirement.  Deconstruction of closures with
a null closure_id could just use the address of the closure instead of
its name.

But Zoltan is right that filling in the closure_id is probably not too hard.

The reason I didn't bother with that now is that right now I'm working on
accurate GC, and the closure_id is not needed for accurate GC.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  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
--------------------------------------------------------------------------