Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail178.stderr
1
2 tcfail178.hs:15:7:
3     Couldn't match type ‘()’ with ‘[a]’
4     Expected type: Bool -> [a]
5       Actual type: Bool -> ()
6     Relevant bindings include c :: [a] (bound at tcfail178.hs:15:1)
7     In the first argument of ‘a’, namely ‘y’
8     In the expression: a y
9
10 tcfail178.hs:18:7:
11     Couldn't match expected type ‘Bool -> [a]’ with actual type ‘()’
12     Relevant bindings include d :: [a] (bound at tcfail178.hs:18:1)
13     In the first argument of ‘a’, namely ‘()’
14     In the expression: a ()