[m-dev.] proposal for promise_pure scope warning

Peter Schachte schachte at csse.unimelb.edu.au
Tue Apr 15 09:26:31 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.

Isn't it possible for one particular call to a generally impure predicate to 
be pure?  Eg, with that particular argument list, it's pure.

Peter Schachte              It is the function of the citizen to keep the
schachte at cs.mu.OZ.AU        Government from falling into error.
www.cs.mu.oz.au/~schachte/      -- Robert H. Jackson
Phone: +61 3 8344 1338
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