[m-dev.] ground >> dead

[Julien Fischer]

On Mon, 15 Jan 2007, Ian MacLarty wrote:

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

It looks like the compiler doesn't check the modes for sensibility,
e.g.

 	:- mode foo == dead >> ground.
 	:- mode bar == clobbered >> any.

For the ground >> dead mode can you actually get clauses that use
this mode to compile?

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