summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/mc25.stderr
blob: 6af388febe877f1305f755e6cd1b9b8b07817112 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

mc25.hs:9:24:
    No instance for (Functor t1) arising from a use of ‘fmap’
    Possible fix:
      add (Functor t1) to the context of
        a type expected by the context: (a -> b) -> t1 a -> t1 b
        or the inferred type of z :: [t1 t]
    In the expression: fmap
    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]

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