Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T9318.stderr
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2015-03-23  Richard EisenbergDo proper depth checking in the flattener to avoid...
2014-11-20  Richard EisenbergTest #9318 in typecheck/should_fail/T9318