blob: 472e133098312ab8199bb1cd3dffff408a8fc7f5 (
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 -> ()
In the first argument of ‘a’, namely ‘y’
In the expression: a y
Relevant bindings include c :: [a] (bound at tcfail178.hs:15:1)
tcfail178.hs:18:7:
Couldn't match expected type ‘Bool -> [a]’ with actual type ‘()’
In the first argument of ‘a’, namely ‘()’
In the expression: a ()
Relevant bindings include d :: [a] (bound at tcfail178.hs:18:1)
|