diff options
author | Eduardo Julian | 2021-08-14 03:09:58 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-08-14 03:09:58 -0400 |
commit | 6fd22846f21b8b70b7867e989109d14a366c0a3e (patch) | |
tree | 9086774968ad944133dc5cf29c546add6e13a4b6 /stdlib/source/test/lux/control/thread.lux | |
parent | e53c1a090eb9cfac3cb23d10d981648d02518ed1 (diff) |
Moved documentation-generation machinery to its own module.
Diffstat (limited to 'stdlib/source/test/lux/control/thread.lux')
-rw-r--r-- | stdlib/source/test/lux/control/thread.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/test/lux/control/thread.lux b/stdlib/source/test/lux/control/thread.lux index 4f71c7203..2f93f2349 100644 --- a/stdlib/source/test/lux/control/thread.lux +++ b/stdlib/source/test/lux/control/thread.lux @@ -57,26 +57,26 @@ (_.for [/.Box /.box] ($_ _.and - (_.cover [/.read] + (_.cover [/.read!] (n.= sample (/.result (: (All [!] (Thread ! Nat)) (do /.monad [box (/.box sample)] - (/.read box)))))) + (/.read! box)))))) - (_.cover [/.write] + (_.cover [/.write!] (n.= factor (/.result (: (All [!] (Thread ! Nat)) (do /.monad [box (/.box sample) - _ (/.write factor box)] - (/.read box)))))) + _ (/.write! factor box)] + (/.read! box)))))) - (_.cover [/.update] + (_.cover [/.update!] (n.= (n.* factor sample) (/.result (: (All [!] (Thread ! Nat)) (do /.monad [box (/.box sample) - old (/.update (n.* factor) box)] - (/.read box)))))))) + old (/.update! (n.* factor) box)] + (/.read! box)))))))) )))) |