• chak@cse.unsw.edu.au.'s avatar
    Properly keep track of whether normalising given or wanted dicts · b6d08641
    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).
TcPat.lhs 41.9 KB