Fix solving of implicit parameter constraints
[ghc.git] / compiler / typecheck / TcTypeNats.hs-boot
2014-04-19  Herbert Valerio... Fold template-haskell.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-gmp.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-simple.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold base.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold ghc-prim.git into ghc.git (re #8545)
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-09-13  Iavor S. DiatchkiAdd support for evaluation of type-level natural numbers.