blob: 6fb1f222d68cabb1989b71f8fd664652052fa2d4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
T5689.hs:10:36:
Couldn't match expected type ‛Bool’ with actual type ‛t’
Relevant bindings include
r :: IORef (t -> t) (bound at T5689.hs:7:14)
v :: t (bound at T5689.hs:10:28)
In the expression: v
In the expression: if v then False else True
In the second argument of ‛writeIORef’, namely
‛(\ v -> if v then False else True)’
T5689.hs:10:43:
Couldn't match expected type ‛t’ with actual type ‛Bool’
Relevant bindings include
r :: IORef (t -> t) (bound at T5689.hs:7:14)
v :: t (bound at T5689.hs:10:28)
In the expression: False
In the expression: if v then False else True
In the second argument of ‛writeIORef’, namely
‛(\ v -> if v then False else True)’
T5689.hs:10:54:
Couldn't match expected type ‛t’ with actual type ‛Bool’
Relevant bindings include
r :: IORef (t -> t) (bound at T5689.hs:7:14)
v :: t (bound at T5689.hs:10:28)
In the expression: True
In the expression: if v then False else True
In the second argument of ‛writeIORef’, namely
‛(\ v -> if v then False else True)’
T5689.hs:14:23:
Couldn't match expected type ‛t’ with actual type ‛Bool’
Relevant bindings include
r :: IORef (t -> t) (bound at T5689.hs:7:14)
c :: t -> t (bound at T5689.hs:12:13)
In the first argument of ‛c’, namely ‛True’
In the second argument of ‛($)’, namely ‛c True’
In a stmt of a 'do' block: print $ c True
|