Wed Feb 27 16:19:57 PST 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Eliminate SkolemOccurs skolems only after checkLoop reached a fixed point
- See test case indexed-types/should_fail/SkolemOccursLoop, which sends the
type checker into an endless loop without this fix
M ./compiler/typecheck/TcSimplify.lhs -14 +23
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
