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

mc24.hs:10:31: error:
    • Couldn't match type ‘[a0]’ with ‘[a] -> m [a]’
      Expected type: (a -> Integer) -> [a] -> m [a]
        Actual type: [a0] -> [a0]
    • Possible cause: ‘take’ is applied to too many arguments
      In the expression: take 2
      In a stmt of a monad comprehension: then group by x using take 2
      In the expression:
        [GHC.List.length x | x <- [1 .. 10], then group by x using take 2]
    • Relevant bindings include foo :: m Int (bound at mc24.hs:8:1)