Tue Jan 9 05:47:19 PST 2007 [EMAIL PROTECTED] * Fix egregious bug in implication constraints Build an implication constraint if there is a non-trivial refinement, even if there are no other 'given' constraints. Test = gadt/set.hs
M ./compiler/typecheck/TcSimplify.lhs -2 +3
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
