Error message wibbles
[ghc.git] / testsuite / tests / typecheck / should_fail / T7869.stderr
1
2 T7869.hs:3:12:
3     Couldn't match type ‛b’ with ‛b1’
4       because type variable ‛b1’ would escape its scope
5     This (rigid, skolem) type variable is bound by
6       an expression type signature: [a1] -> b1
7       at T7869.hs:3:5-27
8     Expected type: [a1] -> b1
9       Actual type: [a] -> b
10     Relevant bindings include f :: [a] -> b (bound at T7869.hs:3:1)
11     In the expression: f x
12     In the expression: (\ x -> f x) :: [a] -> b
13     In an equation for ‛f’: f = (\ x -> f x) :: [a] -> b
14
15 T7869.hs:3:12:
16     Couldn't match type ‛a’ with ‛a1’
17       because type variable ‛a1’ would escape its scope
18     This (rigid, skolem) type variable is bound by
19       an expression type signature: [a1] -> b1
20       at T7869.hs:3:5-27
21     Expected type: [a1] -> b1
22       Actual type: [a] -> b
23     Relevant bindings include
24       x :: [a1] (bound at T7869.hs:3:7)
25       f :: [a] -> b (bound at T7869.hs:3:1)
26     In the expression: f x
27     In the expression: (\ x -> f x) :: [a] -> b
28     In an equation for ‛f’: f = (\ x -> f x) :: [a] -> b