a198657754ae426e985c493d42e0f8858825c256
[ghc.git] / testsuite / tests / polykinds / T7438.stderr
1
2 T7438.hs:6:14: error:
3     • Couldn't match expected type ‘p1’ with actual type ‘p’
4         ‘p1’ is untouchable
5           inside the constraints: b ~ a
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       ‘p1’ is a rigid type variable bound by
11         the inferred type of go :: Thrist a b -> p -> p1 at T7438.hs:6:1-16
12       ‘p’ is a rigid type variable bound by
13         the inferred type of go :: Thrist a b -> p -> p1 at T7438.hs:6:1-16
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 :: p (bound at T7438.hs:6:8)
19         go :: Thrist a b -> p -> p1 (bound at T7438.hs:6:1)