[m-dev.] proposal for promise_pure scope warning

Jakob Puchinger jakobp at csse.unimelb.edu.au
Mon Apr 14 13:59:16 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
>  predicate?

I don't know if this is such a good idea, if you do not own the code
of the called predicate
you might not be able to do so.

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