[m-dev.] proposal for promise_pure scope warning

[Peter Schachte]

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