Use a Representaional coercion for data families
[ghc.git] / compiler / typecheck / FamInst.hs
2015-06-26  Simon Peyton JonesUse a Representaional coercion for data families
2015-03-23  Richard EisenbergDo proper depth checking in the flattener to avoid...
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2014-12-17  Simon Peyton JonesFix GHCi/GHC-API tidying and modules (Trac #9424, ...
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-03  Austin Seippcompiler: de-lhs typecheck/