Tue Aug 1 03:14:43 PDT 2006 [EMAIL PROTECTED] * Fix GADT refinement fix-pointing, add ASSERTs and a WARN, make type equality functions work for PredTy Eqtype ...
M ./compiler/typecheck/TcGadt.lhs -7 +16
M ./compiler/types/Coercion.lhs -2 +5
M ./compiler/types/Type.lhs +1
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
