diff options
Diffstat (limited to 'stdlib/source/lux/control/concurrency')
4 files changed, 15 insertions, 12 deletions
diff --git a/stdlib/source/lux/control/concurrency/actor.lux b/stdlib/source/lux/control/concurrency/actor.lux index 6355a43b7..dac5f151b 100644 --- a/stdlib/source/lux/control/concurrency/actor.lux +++ b/stdlib/source/lux/control/concurrency/actor.lux @@ -12,8 +12,6 @@ ["<c>" code (#+ Parser)]]] [data ["." product] - [number - ["n" nat]] [text ["%" format (#+ format)]] [collection @@ -25,6 +23,9 @@ ["csr" reader] ["csw" writer] ["|.|" export]]]] + [math + [number + ["n" nat]]] ["." meta (#+ with_gensyms monad) ["." annotation]] [type (#+ :share) diff --git a/stdlib/source/lux/control/concurrency/atom.lux b/stdlib/source/lux/control/concurrency/atom.lux index 3920c0214..3b690ea7d 100644 --- a/stdlib/source/lux/control/concurrency/atom.lux +++ b/stdlib/source/lux/control/concurrency/atom.lux @@ -18,10 +18,10 @@ (new [a]) (get [] a) (compareAndSet [a a] boolean)]))] - (for {@.old <jvm> - @.jvm <jvm>} - - (as_is))) + (for {@.old <jvm> + @.jvm <jvm>} + + (as_is))) (abstract: #export (Atom a) (for {@.old diff --git a/stdlib/source/lux/control/concurrency/semaphore.lux b/stdlib/source/lux/control/concurrency/semaphore.lux index 9e6ff9b29..5be5582de 100644 --- a/stdlib/source/lux/control/concurrency/semaphore.lux +++ b/stdlib/source/lux/control/concurrency/semaphore.lux @@ -9,11 +9,12 @@ [data [text ["%" format (#+ format)]] - [number - ["n" nat] - ["i" int]] [collection ["." queue (#+ Queue)]]] + [math + [number + ["n" nat] + ["i" int]]] [type abstract ["." refinement]]] diff --git a/stdlib/source/lux/control/concurrency/thread.lux b/stdlib/source/lux/control/concurrency/thread.lux index 8bdd2b9c9..d1ab65886 100644 --- a/stdlib/source/lux/control/concurrency/thread.lux +++ b/stdlib/source/lux/control/concurrency/thread.lux @@ -8,10 +8,11 @@ ["ex" exception (#+ exception:)] ["." io (#+ IO io)]] [data - [number - ["n" nat]] [collection - ["." list]]]] + ["." list]]] + [math + [number + ["n" nat]]]] [// ["." atom (#+ Atom)]]) |