[m-dev.] ground >> dead

[Ben Schmidt]

> 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 
time).

Ben.


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