[m-dev.] Fw: Re: Impurity annotations on clauses

Julien Fischer juliensf at csse.unimelb.edu.au
Tue Jan 23 18:08:25 AEDT 2007

On Tue, 23 Jan 2007, Peter Schachte wrote:

>> 	4) Mode specific clauses (similar to 3).
> I think of these like foreign code:  they're an opportunity to get the logic
> wrong, so you should be obliged to certify that you haven't.  I don't see
> what's wrong with promise_pure for these.

The problem is that it promises away all the aspects that might cause
impurity.  In this particular case we already have a pragma,
promise_equivalent_clauses, that promises away just the impurity due
to the fact that there are separate clauses.

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