[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