Wed Oct 18 02:36:58 PDT 2006 [EMAIL PROTECTED]
* Fix loop in GADT type refinement
Finding the in-scope set when building the GADT type refinement
was bogusly using the result of the fixpoint. Only shows up
when forall'd types are involved (else the in-scope set isn't
consulted).
Test is tc214 (on the HEAD). This fix is to the 6.6 branch, because
the HEAD is ok.
Fixes Trac #940.
M ./compiler/types/Unify.lhs -2 +5
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
