[m-dev.] proposal for promise_pure scope warning

[Ian MacLarty]

Hi,

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

Are there any cases where one would want to use a promise_pure scope on
a single impure goal instead of moving the promise down into the called
predicate?

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