Wed Sep 20 10:58:30 PDT 2006 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Fix GADT refinement fix-pointing, add ASSERTs and a WARN, make type
equality functions work for PredTy Eqtype ...
Mon Sep 18 17:07:38 EDT 2006 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Fix GADT refinement fix-pointing, add ASSERTs and a WARN, make type
equality functions work for PredTy Eqtype ...
Sun Aug 6 20:28:50 EDT 2006 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Fix GADT refinement fix-pointing, add ASSERTs and a WARN, make type
equality functions work for PredTy Eqtype ...
Tue Aug 1 06:14:43 EDT 2006 [EMAIL PROTECTED]
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
