Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail224.hs
1 module Foo where
2
3 import Prelude hiding( Int )
4
5 data Int = Int
6
7 f :: Int
8 f = 3