aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/control/concurrency
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux/control/concurrency')
-rw-r--r--stdlib/source/lux/control/concurrency/actor.lux5
-rw-r--r--stdlib/source/lux/control/concurrency/atom.lux8
-rw-r--r--stdlib/source/lux/control/concurrency/semaphore.lux7
-rw-r--r--stdlib/source/lux/control/concurrency/thread.lux7
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)]])