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

[Julien Fischer]

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.

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