Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T12124.stderr
1
2 T12124.hs:7:18: error:
3     • The constructor ‘Whoops’ should have 2 arguments, but has been given 1
4     • In the pattern: Whoops a
5       In a case alternative: Whoops a -> a
6       In the first argument of ‘return’, namely
7         ‘(case Whoops 1 2 of
8             Whoops a -> a
9             _ -> 0)’