[m-dev.] proposal for promise_pure scope warning

Julien Fischer juliensf at csse.unimelb.edu.au
Mon Apr 14 13:26:26 AEST 2008


On Mon, 14 Apr 2008, Ian MacLarty wrote:

> Hi,
>
> What do people think about emitting a warning when a promise_pure scope
> contains only one goal?

Presumably you mean where they only contain an atomic goal, because
they all contain only one goal.

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



More information about the developers mailing list