[m-dev.] proposal for promise_pure scope warning

[Julien Fischer]

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