[m-rev.] trivial diff: fix failure of tests/invalid/anys_in_negated_context
Ralph Becket
rafe at cs.mu.OZ.AU
Wed Nov 16 21:50:03 AEDT 2005
Julien Fischer, Wednesday, 16 November 2005:
>
> Estimated hours taken: 0.1
> Branches: main
>
> tests/invalid/anys_in_negated_context.m:
> Update this test case in line with Ralph's bug fix
> for purity checking of inst any vars.
That's fine.
--------------------------------------------------------------------------
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