Improve error messages for skolems
[ghc.git] / testsuite / tests / indexed-types / should_fail / T7194.stderr
1
2 T7194.hs:18:35: error:
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:
7           g :: forall a. C (F a) => a -> Int
8         at T7194.hs:17:18-41
9     • In the expression: foo y
10       In the first argument of ‘length’, namely ‘[x, foo y]’
11       In the expression: length [x, foo y]
12     • Relevant bindings include
13         y :: a (bound at T7194.hs:18:20)
14         g :: a -> Int (bound at T7194.hs:18:18)
15         x :: b0 (bound at T7194.hs:17:9)