Wed Sep 20 10:05:28 PDT 2006 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Complete the evidence generation for GADTs
Mon Sep 18 14:43:22 EDT 2006 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Complete the evidence generation for GADTs
Sat Aug 5 21:39:51 EDT 2006 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Complete the evidence generation for GADTs
Thu Jul 13 17:18:07 EDT 2006 [EMAIL PROTECTED]
This patch completes FC evidence generation for GADTs.
It doesn't work properly yet, because part of the compiler thinks
(t1 :=: t2) => t3
is represented with FunTy/PredTy, while the rest thinks it's represented
using ForAllTy. Once that's done things should start to work.
M ./compiler/coreSyn/CoreTidy.lhs -4 +2
M ./compiler/deSugar/DsArrows.lhs -2 +2
M ./compiler/deSugar/DsBinds.lhs -8 +8
M ./compiler/hsSyn/HsBinds.lhs -18 +33
M ./compiler/hsSyn/HsExpr.lhs -5 +4
M ./compiler/hsSyn/HsUtils.lhs -1 +1
M ./compiler/simplCore/SimplEnv.lhs -5 +4
M ./compiler/typecheck/Inst.lhs -50 +77
M ./compiler/typecheck/TcArrows.lhs -1 +1
M ./compiler/typecheck/TcBinds.lhs -2 +2
M ./compiler/typecheck/TcClassDcl.lhs -15 +17
M ./compiler/typecheck/TcEnv.lhs -4 +4
M ./compiler/typecheck/TcExpr.lhs -12 +8
M ./compiler/typecheck/TcHsSyn.lhs -8 +8
M ./compiler/typecheck/TcInstDcls.lhs -27 +29
M ./compiler/typecheck/TcPat.lhs -7 +22
M ./compiler/typecheck/TcSimplify.lhs -8 +8
M ./compiler/typecheck/TcType.lhs -5 +8
M ./compiler/typecheck/TcUnify.lhs -10 +11
M ./compiler/types/Type.lhs -11 +10
M ./compiler/types/Unify.lhs -7 +4
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
