summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail178.stderr
blob: 63119af75e76a0f61b11e1ac9c8d7195b3e20c40 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13

tcfail178.hs:15:7:
    Couldn't match expected type `[a0]' with actual type `()'
    Expected type: Bool -> [a0]
      Actual type: Bool -> ()
    In the first argument of `a', namely `y'
    In the expression: a y

tcfail178.hs:18:7:
    Couldn't match expected type `Bool -> [a0]' with actual type `()'
    In the first argument of `a', namely `()'
    In the expression: a ()
    In an equation for `d': d = a ()