[m-dev.] ground >> dead

Ben Schmidt b.schmidt at ugrad.unimelb.edu.au
Mon Jan 15 23:29:22 AEDT 2007

> I think that it was an attempt to disallow further forward references to 
> the
> argument (it makes more sense if you change the argument in your example
> to a variable).

> At the very least the compiler should give you a warning with modes like
> this.

It should be an error. Section 5.1 of the manual defines 'dead' as being 
able to be reused, which isn't true if 'ground' becomes 'dead' (unless 
the compiler can somehow guarantee all other references die at the same 


mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au

More information about the developers mailing list