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

T2534.hs:3:13: error:
    • Couldn't match type ‘[b]’ with ‘a0 -> [b]’
      Expected type: [a0] -> [b] -> [b]
        Actual type: [a0] -> (a0 -> [b]) -> [b]
    • In the first argument of ‘foldr’, namely ‘(>>=)’
      In the expression: foldr (>>=) [] []
      In an equation for ‘foo’: foo = foldr (>>=) [] []
    • Relevant bindings include foo :: [b] (bound at T2534.hs:3:1)