Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T6018failclosed.hs
2016-01-14  Ben GamariRename InjectiveTypeFamilies to TypeFamilyDependencies
2016-01-09  Jan StolarekAdd InjectiveTypeFamilies language extension
2015-09-11  Jan StolarekTestsuite cleanup