summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail191.stderr
blob: 6b338eb5edb00c500ca369d2a84aa74c85ed9595 (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
      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]