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

mc19.hs:10:31:
    Couldn't match type `a' with `[a]'
      `a' is a rigid type variable bound by
          a type expected by the context: [a] -> [a] at mc19.hs:10:26
    Expected type: [a] -> [a]
      Actual type: [a] -> [[a]]
    In the expression: inits
    In a stmt of a monad comprehension: then inits
    In the expression: [x | x <- [3, 2, 1], then inits]