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

tcfail178.hs:15:7: error: [GHC-83865]
    • Couldn't match type ‘()’ with ‘[a]’
      Expected: Bool -> [a]
        Actual: Bool -> ()
    • In the first argument of ‘a’, namely ‘y’
      In the expression: a y
      In an equation for ‘c’: c = a y
    • Relevant bindings include c :: [a] (bound at tcfail178.hs:15:1)

tcfail178.hs:18:7: error: [GHC-83865]
    • Couldn't match expected type ‘Bool -> [a]’ with actual type ‘()’
    • In the first argument of ‘a’, namely ‘()’
      In the expression: a ()
      In an equation for ‘d’: d = a ()
    • Relevant bindings include d :: [a] (bound at tcfail178.hs:18:1)