Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T12444.stderr
1
2 T12444.hs:19:11: error:
3     • Couldn't match type ‘b’ with ‘'Succ (c :+: b)’
4       ‘b’ is a rigid type variable bound by
5         the type signature for:
6           foo :: forall (c :: Nat) (b :: Nat).
7                  SNat ('Succ c) -> SNat b -> SNat ('Succ (c :+: b))
8         at T12444.hs:18:1-55
9       Expected type: SNat ('Succ (c :+: b))
10         Actual type: SNat b
11     • In the expression: x
12       In an equation for ‘foo’: foo _ x = x
13     • Relevant bindings include
14         x :: SNat b (bound at T12444.hs:19:7)
15         foo :: SNat ('Succ c) -> SNat b -> SNat ('Succ (c :+: b))
16           (bound at T12444.hs:19:1)