Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail033.hs
1 -- from Jon Hill
2 module ShouldFail where
3
4 buglet = [ x | (x,y) <- buglet ]