blob: fe0ffa71c6e3532c79e5b44bdb634844ac5529d0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
tcfail178.hs:15:7:
Couldn't match type ‛()’ with ‛[a]’
Expected type: Bool -> [a]
Actual type: Bool -> ()
Relevant bindings include c :: [a] (bound at tcfail178.hs:15:1)
In the first argument of ‛a’, namely ‛y’
In the expression: a y
In an equation for ‛c’: c = a y
tcfail178.hs:18:7:
Couldn't match expected type ‛Bool -> [a]’ with actual type ‛()’
Relevant bindings include d :: [a] (bound at tcfail178.hs:18:1)
In the first argument of ‛a’, namely ‛()’
In the expression: a ()
In an equation for ‛d’: d = a ()
|