Tweaks and typos in manual, note refs, comments
[ghc.git] / testsuite / tests / typecheck / should_fail / T2534.stderr
1
2 T2534.hs:3:13: error:
3     • Couldn't match type ‘[b]’ with ‘a0 -> [b]’
4       Expected type: [a0] -> [b] -> [b]
5         Actual type: [a0] -> (a0 -> [b]) -> [b]
6     • In the first argument of ‘foldr’, namely ‘(>>=)’
7       In the expression: foldr (>>=) [] []
8       In an equation for ‘foo’: foo = foldr (>>=) [] []
9     • Relevant bindings include foo :: [b] (bound at T2534.hs:3:1)