@@ -60,79 +60,79 @@ test_put_take = test "put/take" do
60
60
ref ← Ref .new " "
61
61
var ← AVar .empty
62
62
_ ← AVar .put " foo" var $ traverse_ \_ →
63
- Ref .modify (_ <> " bar" ) ref
63
+ void $ Ref .modify (_ <> " bar" ) ref
64
64
_ ← AVar .take var $ traverse_ \val →
65
- Ref .modify (_ <> val) ref
65
+ void $ Ref .modify (_ <> val) ref
66
66
eq " barfoo" <$> Ref .read ref
67
67
68
68
test_put_read_take ∷ Effect Unit
69
69
test_put_read_take = test " put/read/take" do
70
70
ref ← Ref .new " "
71
71
var ← AVar .empty
72
72
_ ← AVar .put " foo" var $ traverse_ \_ →
73
- Ref .modify (_ <> " bar" ) ref
73
+ void $ Ref .modify (_ <> " bar" ) ref
74
74
_ ← AVar .read var $ traverse_ \val →
75
- Ref .modify (_ <> val <> " baz" ) ref
75
+ void $ Ref .modify (_ <> val <> " baz" ) ref
76
76
_ ← AVar .take var $ traverse_ \val →
77
- Ref .modify (_ <> val) ref
77
+ void $ Ref .modify (_ <> val) ref
78
78
eq " foobazfoobar" <$> Ref .read ref
79
79
80
80
test_take_put ∷ Effect Unit
81
81
test_take_put = test " take/put" do
82
82
ref ← Ref .new " "
83
83
var ← AVar .empty
84
84
_ ← AVar .take var $ traverse_ \val →
85
- Ref .modify (_ <> val) ref
85
+ void $ Ref .modify (_ <> val) ref
86
86
_ ← AVar .put " foo" var $ traverse_ \_ →
87
- Ref .modify (_ <> " bar" ) ref
87
+ void $ Ref .modify (_ <> " bar" ) ref
88
88
eq " foobar" <$> Ref .read ref
89
89
90
90
test_take_read_put ∷ Effect Unit
91
91
test_take_read_put = test " take/read/put" do
92
92
ref ← Ref .new " "
93
93
var ← AVar .empty
94
94
_ ← AVar .take var $ traverse_ \val →
95
- Ref .modify (_ <> val) ref
95
+ void $ Ref .modify (_ <> val) ref
96
96
_ ← AVar .read var $ traverse_ \val →
97
- Ref .modify (_ <> val <> " baz" ) ref
97
+ void $ Ref .modify (_ <> val <> " baz" ) ref
98
98
_ ← AVar .put " foo" var $ traverse_ \_ →
99
- Ref .modify (_ <> " bar" ) ref
99
+ void $ Ref .modify (_ <> " bar" ) ref
100
100
eq " foobazfoobar" <$> Ref .read ref
101
101
102
102
test_read_put_take ∷ Effect Unit
103
103
test_read_put_take = test " read/put/take" do
104
104
ref ← Ref .new " "
105
105
var ← AVar .empty
106
106
_ ← AVar .read var $ traverse_ \val →
107
- Ref .modify (_ <> val <> " baz" ) ref
107
+ void $ Ref .modify (_ <> val <> " baz" ) ref
108
108
_ ← AVar .put " foo" var $ traverse_ \_ →
109
- Ref .modify (_ <> " bar" ) ref
109
+ void $ Ref .modify (_ <> " bar" ) ref
110
110
_ ← AVar .take var $ traverse_ \val → do
111
- Ref .modify (_ <> val) ref
111
+ void $ Ref .modify (_ <> val) ref
112
112
eq " foobazbarfoo" <$> Ref .read ref
113
113
114
114
test_read_take_put ∷ Effect Unit
115
115
test_read_take_put = test " read/take/put" do
116
116
ref ← Ref .new " "
117
117
var ← AVar .empty
118
118
_ ← AVar .read var $ traverse_ \val → do
119
- Ref .modify (_ <> val <> " baz" ) ref
119
+ void $ Ref .modify (_ <> val <> " baz" ) ref
120
120
void $ AVar .take var $ traverse_ \val' →
121
- Ref .modify (_ <> val') ref
121
+ void $ Ref .modify (_ <> val') ref
122
122
_ ← AVar .put " foo" var $ traverse_ \_ →
123
- Ref .modify (_ <> " bar" ) ref
123
+ void $ Ref .modify (_ <> " bar" ) ref
124
124
eq " foobazbarfoo" <$> Ref .read ref
125
125
126
126
test_kill_full ∷ Effect Unit
127
127
test_kill_full = test " kill/full" do
128
128
ref ← Ref .new " "
129
129
var ← AVar .empty
130
130
_ ← AVar .put " foo" var $ traverse_ \_ →
131
- Ref .modify (_ <> " bar" ) ref
131
+ void $ Ref .modify (_ <> " bar" ) ref
132
132
AVar .kill (error " Die." ) var
133
133
_ ← AVar .read var case _ of
134
- Left err → Ref .modify (_ <> message err) ref
135
- Right _ → Ref .modify (_ <> " BAD" ) ref
134
+ Left err → void $ Ref .modify (_ <> message err) ref
135
+ Right _ → void $ Ref .modify (_ <> " BAD" ) ref
136
136
eq " barDie." <$> Ref .read ref
137
137
138
138
test_kill_empty ∷ Effect Unit
@@ -141,8 +141,8 @@ test_kill_empty = test "kill/empty" do
141
141
var ← AVar .empty
142
142
AVar .kill (error " Die." ) var
143
143
_ ← AVar .read var case _ of
144
- Left err → Ref .modify (_ <> message err) ref
145
- Right _ → Ref .modify (_ <> " BAD" ) ref
144
+ Left err → void $ Ref .modify (_ <> message err) ref
145
+ Right _ → void $ Ref .modify (_ <> " BAD" ) ref
146
146
eq " Die." <$> Ref .read ref
147
147
148
148
test_kill_pending ∷ Effect Unit
@@ -151,8 +151,8 @@ test_kill_pending = test "kill/pending" do
151
151
var ← AVar .empty
152
152
let
153
153
cb s = case _ of
154
- Left err → Ref .modify (_ <> s <> message err) ref
155
- Right _ → Ref .modify (_ <> " BAD" ) ref
154
+ Left err → void $ Ref .modify (_ <> s <> message err) ref
155
+ Right _ → void $ Ref .modify (_ <> " BAD" ) ref
156
156
_ ← AVar .take var (cb " a" )
157
157
_ ← AVar .take var (cb " b" )
158
158
_ ← AVar .read var (cb " c" )
@@ -164,26 +164,26 @@ test_cancel ∷ Effect Unit
164
164
test_cancel = test " cancel" do
165
165
ref ← Ref .new " "
166
166
v1 ← AVar .new " "
167
- c1 ← AVar .put " a" v1 $ traverse_ \_ → Ref .modify (_ <> " a" ) ref
168
- c2 ← AVar .put " b" v1 $ traverse_ \_ → Ref .modify (_ <> " b" ) ref
169
- c3 ← AVar .put " c" v1 $ traverse_ \_ → Ref .modify (_ <> " c" ) ref
167
+ c1 ← AVar .put " a" v1 $ traverse_ \_ → void $ Ref .modify (_ <> " a" ) ref
168
+ c2 ← AVar .put " b" v1 $ traverse_ \_ → void $ Ref .modify (_ <> " b" ) ref
169
+ c3 ← AVar .put " c" v1 $ traverse_ \_ → void $ Ref .modify (_ <> " c" ) ref
170
170
c1
171
171
c2
172
172
_ ← AVar .tryTake v1
173
173
_ ← AVar .tryTake v1
174
174
_ ← AVar .tryTake v1
175
175
v2 ← AVar .empty
176
- c4 ← AVar .take v2 $ traverse_ \_ → Ref .modify (_ <> " d" ) ref
177
- c5 ← AVar .take v2 $ traverse_ \_ → Ref .modify (_ <> " e" ) ref
178
- c6 ← AVar .take v2 $ traverse_ \_ → Ref .modify (_ <> " f" ) ref
176
+ c4 ← AVar .take v2 $ traverse_ \_ → void $ Ref .modify (_ <> " d" ) ref
177
+ c5 ← AVar .take v2 $ traverse_ \_ → void $ Ref .modify (_ <> " e" ) ref
178
+ c6 ← AVar .take v2 $ traverse_ \_ → void $ Ref .modify (_ <> " f" ) ref
179
179
c5
180
180
_ ← AVar .tryPut " a" v2
181
181
_ ← AVar .tryPut " b" v2
182
182
_ ← AVar .tryPut " c" v2
183
183
v3 ← AVar .empty
184
- c7 ← AVar .read v3 $ traverse_ \_ → Ref .modify (_ <> " g" ) ref
185
- c8 ← AVar .read v3 $ traverse_ \_ → Ref .modify (_ <> " h" ) ref
186
- c9 ← AVar .read v3 $ traverse_ \_ → Ref .modify (_ <> " i" ) ref
184
+ c7 ← AVar .read v3 $ traverse_ \_ → void $ Ref .modify (_ <> " g" ) ref
185
+ c8 ← AVar .read v3 $ traverse_ \_ → void $ Ref .modify (_ <> " h" ) ref
186
+ c9 ← AVar .read v3 $ traverse_ \_ → void $ Ref .modify (_ <> " i" ) ref
187
187
c8
188
188
c9
189
189
_ ← AVar .tryPut " a" v3
0 commit comments