Tweaks and typos in manual, note refs, comments
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail032.stderr
1
2 tcfail032.hs:14:8: error:
3     • Couldn't match expected type ‘a1 -> Int’ with actual type ‘p’
4         because type variable ‘a1’ would escape its scope
5       This (rigid, skolem) type variable is bound by
6         an expression type signature:
7           Eq a1 => a1 -> Int
8         at tcfail032.hs:14:13-30
9     • In the expression: (x :: (Eq a) => a -> Int)
10       In an equation for ‘f’: f x = (x :: (Eq a) => a -> Int)
11     • Relevant bindings include
12         x :: p (bound at tcfail032.hs:14:3)
13         f :: p -> a -> Int (bound at tcfail032.hs:14:1)