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