blob: 33d7fc9d6d4eca9833d6874c792dacb59dc61985 (
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
|
T5689.hs:10:36:
Couldn't match expected type ‛Bool’ with actual type ‛t’
Relevant bindings include
v :: t (bound at T5689.hs:10:28)
r :: IORef (t -> t) (bound at T5689.hs:7:14)
In the expression: v
In the expression: if v then False else True
T5689.hs:10:43:
Couldn't match expected type ‛t’ with actual type ‛Bool’
Relevant bindings include
v :: t (bound at T5689.hs:10:28)
r :: IORef (t -> t) (bound at T5689.hs:7:14)
In the expression: False
In the expression: if v then False else True
T5689.hs:10:54:
Couldn't match expected type ‛t’ with actual type ‛Bool’
Relevant bindings include
v :: t (bound at T5689.hs:10:28)
r :: IORef (t -> t) (bound at T5689.hs:7:14)
In the expression: True
In the expression: if v then False else True
T5689.hs:14:23:
Couldn't match expected type ‛t’ with actual type ‛Bool’
Relevant bindings include
c :: t -> t (bound at T5689.hs:12:13)
r :: IORef (t -> t) (bound at T5689.hs:7:14)
In the first argument of ‛c’, namely ‛True’
In the second argument of ‛($)’, namely ‛c True’
|
