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

tcfail191.hs:11:26: error:
    • 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 tcfail191.hs:11:26-31
    • In the expression: take 5
      In a stmt of a list comprehension: then group using take 5
      In the expression:
        [() | x <- [Gnorf, Brain], then group using take 5]