Fix solving of implicit parameter constraints
[ghc.git] / compiler / typecheck / TcType.hs-boot
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2014-12-03  Austin Seippcompiler: de-lhs typecheck/