-
chak@cse.unsw.edu.au. authored
- 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).
b6d08641