Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail004.stderr
1
2 tcfail004.hs:3:9: error:
3     • Couldn't match expected type ‘(a, b)’
4                   with actual type ‘(Integer, Integer, Integer)’
5     • In the expression: (1, 2, 3)
6       In a pattern binding: (f, g) = (1, 2, 3)
7     • Relevant bindings include
8         f :: a (bound at tcfail004.hs:3:2)
9         g :: b (bound at tcfail004.hs:3:4)