@@ -60,79 +60,79 @@ test_put_take = test "put/take" do
6060 ref ← Ref .new " "
6161 var ← AVar .empty
6262 _ ← AVar .put " foo" var $ traverse_ \_ →
63- Ref .modify (_ <> " bar" ) ref
63+ void $ Ref .modify (_ <> " bar" ) ref
6464 _ ← AVar .take var $ traverse_ \val →
65- Ref .modify (_ <> val) ref
65+ void $ Ref .modify (_ <> val) ref
6666 eq " barfoo" <$> Ref .read ref
6767
6868test_put_read_take ∷ Effect Unit
6969test_put_read_take = test " put/read/take" do
7070 ref ← Ref .new " "
7171 var ← AVar .empty
7272 _ ← AVar .put " foo" var $ traverse_ \_ →
73- Ref .modify (_ <> " bar" ) ref
73+ void $ Ref .modify (_ <> " bar" ) ref
7474 _ ← AVar .read var $ traverse_ \val →
75- Ref .modify (_ <> val <> " baz" ) ref
75+ void $ Ref .modify (_ <> val <> " baz" ) ref
7676 _ ← AVar .take var $ traverse_ \val →
77- Ref .modify (_ <> val) ref
77+ void $ Ref .modify (_ <> val) ref
7878 eq " foobazfoobar" <$> Ref .read ref
7979
8080test_take_put ∷ Effect Unit
8181test_take_put = test " take/put" do
8282 ref ← Ref .new " "
8383 var ← AVar .empty
8484 _ ← AVar .take var $ traverse_ \val →
85- Ref .modify (_ <> val) ref
85+ void $ Ref .modify (_ <> val) ref
8686 _ ← AVar .put " foo" var $ traverse_ \_ →
87- Ref .modify (_ <> " bar" ) ref
87+ void $ Ref .modify (_ <> " bar" ) ref
8888 eq " foobar" <$> Ref .read ref
8989
9090test_take_read_put ∷ Effect Unit
9191test_take_read_put = test " take/read/put" do
9292 ref ← Ref .new " "
9393 var ← AVar .empty
9494 _ ← AVar .take var $ traverse_ \val →
95- Ref .modify (_ <> val) ref
95+ void $ Ref .modify (_ <> val) ref
9696 _ ← AVar .read var $ traverse_ \val →
97- Ref .modify (_ <> val <> " baz" ) ref
97+ void $ Ref .modify (_ <> val <> " baz" ) ref
9898 _ ← AVar .put " foo" var $ traverse_ \_ →
99- Ref .modify (_ <> " bar" ) ref
99+ void $ Ref .modify (_ <> " bar" ) ref
100100 eq " foobazfoobar" <$> Ref .read ref
101101
102102test_read_put_take ∷ Effect Unit
103103test_read_put_take = test " read/put/take" do
104104 ref ← Ref .new " "
105105 var ← AVar .empty
106106 _ ← AVar .read var $ traverse_ \val →
107- Ref .modify (_ <> val <> " baz" ) ref
107+ void $ Ref .modify (_ <> val <> " baz" ) ref
108108 _ ← AVar .put " foo" var $ traverse_ \_ →
109- Ref .modify (_ <> " bar" ) ref
109+ void $ Ref .modify (_ <> " bar" ) ref
110110 _ ← AVar .take var $ traverse_ \val → do
111- Ref .modify (_ <> val) ref
111+ void $ Ref .modify (_ <> val) ref
112112 eq " foobazbarfoo" <$> Ref .read ref
113113
114114test_read_take_put ∷ Effect Unit
115115test_read_take_put = test " read/take/put" do
116116 ref ← Ref .new " "
117117 var ← AVar .empty
118118 _ ← AVar .read var $ traverse_ \val → do
119- Ref .modify (_ <> val <> " baz" ) ref
119+ void $ Ref .modify (_ <> val <> " baz" ) ref
120120 void $ AVar .take var $ traverse_ \val' →
121- Ref .modify (_ <> val') ref
121+ void $ Ref .modify (_ <> val') ref
122122 _ ← AVar .put " foo" var $ traverse_ \_ →
123- Ref .modify (_ <> " bar" ) ref
123+ void $ Ref .modify (_ <> " bar" ) ref
124124 eq " foobazbarfoo" <$> Ref .read ref
125125
126126test_kill_full ∷ Effect Unit
127127test_kill_full = test " kill/full" do
128128 ref ← Ref .new " "
129129 var ← AVar .empty
130130 _ ← AVar .put " foo" var $ traverse_ \_ →
131- Ref .modify (_ <> " bar" ) ref
131+ void $ Ref .modify (_ <> " bar" ) ref
132132 AVar .kill (error " Die." ) var
133133 _ ← 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
136136 eq " barDie." <$> Ref .read ref
137137
138138test_kill_empty ∷ Effect Unit
@@ -141,8 +141,8 @@ test_kill_empty = test "kill/empty" do
141141 var ← AVar .empty
142142 AVar .kill (error " Die." ) var
143143 _ ← 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
146146 eq " Die." <$> Ref .read ref
147147
148148test_kill_pending ∷ Effect Unit
@@ -151,8 +151,8 @@ test_kill_pending = test "kill/pending" do
151151 var ← AVar .empty
152152 let
153153 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
156156 _ ← AVar .take var (cb " a" )
157157 _ ← AVar .take var (cb " b" )
158158 _ ← AVar .read var (cb " c" )
@@ -164,26 +164,26 @@ test_cancel ∷ Effect Unit
164164test_cancel = test " cancel" do
165165 ref ← Ref .new " "
166166 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
170170 c1
171171 c2
172172 _ ← AVar .tryTake v1
173173 _ ← AVar .tryTake v1
174174 _ ← AVar .tryTake v1
175175 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
179179 c5
180180 _ ← AVar .tryPut " a" v2
181181 _ ← AVar .tryPut " b" v2
182182 _ ← AVar .tryPut " c" v2
183183 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
187187 c8
188188 c9
189189 _ ← AVar .tryPut " a" v3
0 commit comments