[m-rev.] diff: generalize my mode analysis bug fix

[Ralph Becket]

Zoltan Somogyi, Monday, 10 October 2005:
> compiler/modecheck_unify.m:
> 	Extend my recent bug fix to also handle the case where the problematic
> 	situation is not created by the state variable transformation.
> 
> tests/valid/state_var_mode_bug2.m:
> 	A new test case for this version of the bug.
> 
> tests/valid/Mmakefile:
> 	Enable the new test case.

That looks good.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------