[m-dev.] ground >> dead

[Ian MacLarty]

Hi,

Is the mode ground >> dead legal?  My intuition tells me it shouldn't
be, since you shouldn't be able to clobber something that's not unique.
The compiler doesn't complain about this mode however, so is this a bug
in the mode system?

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