[m-dev.] proposal for promise_pure scope warning

[Jakob Puchinger]

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?

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.

Cheers,
Jakob
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------