dece4fb9e75653aa59d773b2388f572079735cb7
[ghc.git] / testsuite / tests / indexed-types / should_fail / T7194.stderr
1
2 T7194.hs:18:35:
3     Couldn't match expected type ‘b0’ with actual type ‘F a’
4       because type variable ‘a’ would escape its scope
5     This (rigid, skolem) type variable is bound by
6       the type signature for g :: C (F a) => a -> Int
7       at T7194.hs:17:23-41
8     Relevant bindings include
9       y :: a (bound at T7194.hs:18:20)
10       g :: a -> Int (bound at T7194.hs:18:18)
11       x :: b0 (bound at T7194.hs:17:9)
12     In the expression: foo y
13     In the first argument of ‘length’, namely ‘[x, foo y]’