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

tcfail193.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 tcfail193.hs:10:26
    Expected type: [a] -> [a]
      Actual type: [a] -> [[a]]
    In the expression: inits
    In a stmt of a list comprehension: then inits