Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T9415.hs
2014-08-12  Richard EisenbergTest #9415 (typecheck/should_fail/T9415)