[m-rev.] Extended the promise_<purity> scopes

[Zoltan Somogyi]

On 26-Apr-2005, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> > The main diff looks OK, but the test case should be tougher, by including
> > actually impure code.
> 
> Where do you mean?  As far as the body of main/2 is concerned,
> some_impure_string *is* impure.

But not if it inlined. Also, there is no observable effect if the impurity
is ignored.

Effectively, you have written a white box test, and I am asking for a black
box test. A copy of an existing test for purity, with the annotations deleted,
ought to do.

Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------