diff options
Diffstat (limited to 'stdlib/source/test/lux/control/concurrency/semaphore.lux')
| -rw-r--r-- | stdlib/source/test/lux/control/concurrency/semaphore.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/control/concurrency/semaphore.lux b/stdlib/source/test/lux/control/concurrency/semaphore.lux index e71f42484..65eef901f 100644 --- a/stdlib/source/test/lux/control/concurrency/semaphore.lux +++ b/stdlib/source/test/lux/control/concurrency/semaphore.lux @@ -29,11 +29,11 @@ [\\library ["[0]" /]]) -(def: delay +(def delay (for @.js (i64.left_shifted 4 1) (i64.left_shifted 3 1))) -(def: semaphore +(def semaphore Test (_.for [/.Semaphore] (all _.and @@ -92,7 +92,7 @@ false))))) ))) -(def: mutex +(def mutex Test (_.for [/.Mutex] (all _.and @@ -129,14 +129,14 @@ outcome)))))) ))) -(def: (waiter resource barrier id) +(def (waiter resource barrier id) (-> (Atom Text) /.Barrier Nat (Async Any)) (do async.monad [_ (/.block! barrier) _ (async.future (atom.update! (|>> (format (%.nat id))) resource))] (in []))) -(def: barrier +(def barrier Test (_.for [/.Barrier] (all _.and @@ -177,7 +177,7 @@ expected_ids)))))) ))) -(def: .public test +(def .public test Test (<| (_.covering /._) (all _.and |