Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T8034.hs
2015-07-30  Thomas MiedemaTestsuite: add typecheck/should_fail/T8034 (#8034)