[m-rev.] Extended the promise_<purity> scopes
Ralph Becket
rafe at cs.mu.OZ.AU
Tue Apr 26 13:56:42 AEST 2005
Zoltan Somogyi, Tuesday, 26 April 2005:
> On 26-Apr-2005, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> > tests/hard_coded/Mmakefile:
> > tests/hard_coded/test_promise_impure_implicit.m:
> > tests/hard_coded/test_promise_impure_implicit.exp:
> > Added a test case.
>
> 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.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------
More information about the reviews
mailing list