summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail191.stderr
blob: 8eb11f9c62505aefd248e74f2c4820e9e5329f8d (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]’
      ‘a’ is a rigid type variable bound by
        a type expected by the context:
          forall a. [a] -> [[a]]
        at tcfail191.hs:(10,9)-(11,31)
      Expected type: [a] -> [[a]]
        Actual type: [[a]] -> [[a]]
    • 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]