[m-rev.] for review: fix loop invariant hoisting bug

[Ralph Becket]

Julien Fischer, Friday, 30 June 2006:
> 
> For review by Ralph.
> 
> Estimated hours taken: 6
> Branches: main, release
> 
> Fix a bug with loop invariant hoisting that was breaking some of the solvers
> in G12.  The problem was that calls (or in the specific instance of the bug
> a typeclass method call) had modes which had inst any components were being
> hoisted leading to incorrect behaviour.  The fix is to not hoist such goals.

That looks great - thanks for tracking it down.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------