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