Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail117.hs
1 module ShouldFail where
2
3 -- Without any extensions enabled both of these should fail
4
5 newtype N1 = N1 Int deriving ( Enum )
6 data N2 = N2 Int deriving ( Enum )