Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T12035.hs
2016-08-21  Edward Z. YangRetypecheck both before and after finishing hs-boot...