diff options
Diffstat (limited to 'stdlib/source/test/lux/control/concurrency/semaphore.lux')
| -rw-r--r-- | stdlib/source/test/lux/control/concurrency/semaphore.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/control/concurrency/semaphore.lux b/stdlib/source/test/lux/control/concurrency/semaphore.lux index 763ae41f8..fa81183cd 100644 --- a/stdlib/source/test/lux/control/concurrency/semaphore.lux +++ b/stdlib/source/test/lux/control/concurrency/semaphore.lux @@ -15,10 +15,10 @@ ["." maybe] [number ["n" nat]] - ["." text ("#@." equivalence) + ["." text ("#\." equivalence) ["%" format (#+ format)]] [collection - ["." list ("#@." functor)]]] + ["." list ("#\." functor)]]] [type ["." refinement]] [math @@ -116,9 +116,9 @@ _ processB #let [outcome (io.run (atom.read resource))]] (_.claim [/.mutex /.synchronize] - (or (text@= (format expected-As expected-Bs) + (or (text\= (format expected-As expected-Bs) outcome) - (text@= (format expected-Bs expected-As) + (text\= (format expected-Bs expected-As) outcome)))))) ))) @@ -155,7 +155,7 @@ (list.repeat limit) (text.join-with "")) ids (enum.range n.enum 0 (dec limit)) - waiters (list@map (function (_ id) + waiters (list\map (function (_ id) (exec (io.run (atom.update (|>> (format "_")) resource)) (waiter resource barrier id))) ids)] |