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

mc24.hs:10:31: error:
    • Couldn't match type: [a1]
                     with: a -> a0
      Expected: (a -> a0) -> [a] -> m [a]
        Actual: [a1] -> [a1]
    • 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]