summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail192.stderr
blob: d72c821fd60416caeef2ba041165ac9be5ef798c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

tcfail192.hs:8:13:
    No instance for (Num [[Char]])
      arising from the literal `1'
    Possible fix: add an instance declaration for (Num [[Char]])
    In the second argument of `(+)', namely `1'
    In the expression: x + 1
    In the expression:
      [x + 1 | x <- ["Hello", "World"], then group using take 5]

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