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