summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T2534.stderr
blob: 7a0aa3a9911a53fb03833c7139c798ac5be01da4 (plain)
1
2
3
4
5
6
7
8

T2534.hs:3:19:
    Couldn't match expected type ‘a -> a -> b’ with actual type ‘[t0]’
    Relevant bindings include
      foo :: a -> a -> b (bound at T2534.hs:3:1)
    In the second argument of ‘foldr’, namely ‘[]’
    In the expression: foldr (>>=) [] []
    In an equation for ‘foo’: foo = foldr (>>=) [] []