8943b979ac4ce4cf668331dbb60520fef3261bf7
[ghc.git] / testsuite / tests / typecheck / should_fail / T2534.stderr
1
2 T2534.hs:3:19:
3     Couldn't match expected type `a -> a -> b' with actual type `[a0]'
4     Relevant bindings include
5       foo :: a -> a -> b (bound at T2534.hs:3:1)
6     In the second argument of `foldr', namely `[]'
7     In the expression: foldr (>>=) [] []
8     In an equation for `foo': foo = foldr (>>=) [] []