Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail180.hs
1
2 -- Showed up a bug in bodySplitTyConApp
3
4 module ShouldFail where
5
6 p :: f b
7 p = error "urk"
8
9 g x = case p of
10 True -> ()