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

mc21.hs:12:26: error: [GHC-25897]
    • Couldn't match type ‘a’ with ‘[a]’
      Expected: [a] -> [[a]]
        Actual: [a] -> [a]
      ‘a’ is a rigid type variable bound by
        a type expected by the context:
          forall {a}. [a] -> [[a]]
        at mc21.hs:12:26-31
    • In the expression: take 5
      In a stmt of a monad comprehension: then group using take 5
      In the expression:
        [GHC.List.length x | x <- [Gnorf, Brain], then group using take 5]