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

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