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

tcfail192.hs:10:26:
    Couldn't match type ‛a’ with ‛[a]’
      ‛a’ is a rigid type variable bound by
          a type expected by the context: [a] -> [[a]] at tcfail192.hs:10:9
    Expected type: [a] -> [[a]]
      Actual type: [a] -> [a]
    In the return type of a call of ‛take’
    In the expression: take 5
    In a stmt of a list comprehension: then group using take 5