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