diff options
Diffstat (limited to 'stdlib/source/test/lux/control/thread.lux')
-rw-r--r-- | stdlib/source/test/lux/control/thread.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/control/thread.lux b/stdlib/source/test/lux/control/thread.lux index 2f93f2349..5976ebded 100644 --- a/stdlib/source/test/lux/control/thread.lux +++ b/stdlib/source/test/lux/control/thread.lux @@ -18,11 +18,11 @@ ["." io]]]]) (def: (injection value) - (Injection (All [a !] (Thread ! a))) + (Injection (All (_ a !) (Thread ! a))) (\ /.monad in value)) (def: comparison - (Comparison (All [a !] (Thread ! a))) + (Comparison (All (_ a !) (Thread ! a))) (function (_ == left right) (== (/.result left) (/.result right)))) @@ -59,14 +59,14 @@ ($_ _.and (_.cover [/.read!] (n.= sample - (/.result (: (All [!] (Thread ! Nat)) + (/.result (: (All (_ !) (Thread ! Nat)) (do /.monad [box (/.box sample)] (/.read! box)))))) (_.cover [/.write!] (n.= factor - (/.result (: (All [!] (Thread ! Nat)) + (/.result (: (All (_ !) (Thread ! Nat)) (do /.monad [box (/.box sample) _ (/.write! factor box)] @@ -74,7 +74,7 @@ (_.cover [/.update!] (n.= (n.* factor sample) - (/.result (: (All [!] (Thread ! Nat)) + (/.result (: (All (_ !) (Thread ! Nat)) (do /.monad [box (/.box sample) old (/.update! (n.* factor) box)] |