blob: 62af0f90517a56a9ac01aca095be286a9d86d258 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
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
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 ()
|