00ea8e7438ca0c804b4bb5f8d4938e247fefa133
[ghc.git] / testsuite / tests / typecheck / should_fail / T7869.stderr
1
2 T7869.hs:3:12: error:
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:
7           [a1] -> b1
8         at T7869.hs:3:20-27
9       Expected type: [a1] -> b1
10         Actual type: [a] -> b
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     • Relevant bindings include f :: [a] -> b (bound at T7869.hs:3:1)