[m-rev.] diff: remove workaroudns for loop invariant hoisting bug

[Zoltan Somogyi]

On 07-Feb-2005, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> Zoltan, you recently committed some changes the common-struct
> optimization.  Were these the ones you were referring to above?

No. The diff I was talking about is to make common__types_match_exactly
succeed when given two types that unify. However, this diff only fixes
the symptoms in this case, and I don't think it is a general fix. However,
it is a desirable diff in its own right, since it would make common.m
more effective at optimizations.

Zoltan.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------