Thu Dec 6 23:13:02 PST 2007 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Properly keep track of whether normalising given or wanted dicts
- The information of whether given or wanted class dictionaries where
normalised by rewriting wasn't always correctly propagated in TcTyFuns,
which lead to malformed dictionary bindings.
- Also fixes a bug in TcPat.tcConPat where GADT equalities where emitted in
the wrong position in case bindings (which led to CoreLint failures).
M ./compiler/basicTypes/DataCon.lhs -5 +7
M ./compiler/coreSyn/CoreLint.lhs -3 +4
M ./compiler/deSugar/DsExpr.lhs -1 +1
M ./compiler/typecheck/TcPat.lhs -4 +8
M ./compiler/typecheck/TcSimplify.lhs -1 +2
M ./compiler/typecheck/TcTyFuns.lhs -7 +20
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
