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

mc25.hs:9:46: error:
    • Couldn't match type ‘a -> t’ with ‘Int’
      Expected type: (a -> t) -> [a] -> [t1 a]
        Actual type: Int -> [t1 a] -> [t1 a]
    • In the expression: take
      In a stmt of a monad comprehension: then group by x using take
      In the expression: [x | x <- [1 .. 10], then group by x using take]
    • Relevant bindings include z :: [t1 t] (bound at mc25.hs:9:1)