[m-dev.] proposal for promise_pure scope warning

[Jakob Puchinger]

>  Well, either the author of the called predicate made it impure for a
>  reason, in which case you shouldn't be promising that a call to the
>  predicate is pure, or the author made a mistake and the predicate is
>  actually pure, in which case it is the author's responsibility to
>  fix the interface.  In any case the warning can always be disabled.

Yes, this is true.

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