[m-dev.] proposal for promise_pure scope warning

[Ian MacLarty]

On Mon, Apr 14, 2008 at 01:26:26PM +1000, Julien Fischer wrote:
>
> 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.
>

Yes, that's what I mean.

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