[m-dev.] proposal for promise_pure scope warning

Jakob Puchinger jakobp at csse.unimelb.edu.au
Mon Apr 14 17:26:02 AEST 2008


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



More information about the developers mailing list