summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T2534.stderr
blob: 389b515957ec4e42d53e7c80a1a499d94c14578a (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 (>>=) [] []