Properly keep track of whether normalising given or wanted dicts
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Fri, 7 Dec 2007 07:13:02 +0000 (07:13 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Fri, 7 Dec 2007 07:13:02 +0000 (07:13 +0000)
commitb6d08641e2757898470a10dfa906084ade8ab835
tree4b727b1405a7b6cdea391ce10c7b8a5b15454e96
parenta003ad80d59f8da861d874f7314b68c20e1afd67
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).
compiler/basicTypes/DataCon.lhs
compiler/coreSyn/CoreLint.lhs
compiler/deSugar/DsExpr.lhs
compiler/typecheck/TcPat.lhs
compiler/typecheck/TcSimplify.lhs
compiler/typecheck/TcTyFuns.lhs