Add kind equalities to GHC.
[ghc.git] / testsuite / tests / polykinds / T7438.stderr
1
2 T7438.hs:6:14: error:
3     • Couldn't match expected type ‘r1’ with actual type ‘r’
4         ‘r1’ is untouchable
5           inside the constraints: r3 ~ r2
6           bound by a pattern with constructor:
7                      Nil :: forall k (a :: k). Thrist a a,
8                    in an equation for ‘go’
9           at T7438.hs:6:4-6
10       ‘r1’ is a rigid type variable bound by
11         the inferred type of go :: Thrist r2 r3 -> r -> r1 at T7438.hs:6:1
12       ‘r’ is a rigid type variable bound by
13         the inferred type of go :: Thrist r2 r3 -> r -> r1 at T7438.hs:6:1
14       Possible fix: add a type signature for ‘go’
15     • In the expression: acc
16       In an equation for ‘go’: go Nil acc = acc
17     • Relevant bindings include
18         acc :: r (bound at T7438.hs:6:8)
19         go :: Thrist r2 r3 -> r -> r1 (bound at T7438.hs:6:1)