[m-dev.] proposal for promise_pure scope warning

Ian MacLarty maclarty at csse.unimelb.edu.au
Mon Apr 14 13:00:27 AEST 2008


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

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