aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/test
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--new-luxc/test/test/luxc/lang/translation/common.lux31
1 files changed, 0 insertions, 31 deletions
diff --git a/new-luxc/test/test/luxc/lang/translation/common.lux b/new-luxc/test/test/luxc/lang/translation/common.lux
index 5425be2ea..7fe49fae2 100644
--- a/new-luxc/test/test/luxc/lang/translation/common.lux
+++ b/new-luxc/test/test/luxc/lang/translation/common.lux
@@ -414,36 +414,6 @@
#0))))
)))
-(def: (process-spec run)
- (-> Runner Test)
- ($_ seq
- (test "Can query the concurrency level of the machine."
- (|> (run (#synthesis.Extension "lux process parallelism-level" (list)))
- (case> (#e.Success valueV)
- (n/>= 1 (:coerce Nat valueV))
-
- (#e.Error error)
- (exec (log! error)
- #0))))
- (do r.Monad<Random>
- [delay (|> r.nat (:: @ map (n/% 10)))
- message (r.ascii/upper-alpha 5)]
- (test "Can schedule I/O operations for future execution."
- (|> (run (#synthesis.Extension "lux process schedule"
- (list (synthesis.i64 delay)
- (synthesis.function/abstraction
- {#synthesis.environment (list)
- #synthesis.arity 1
- #synthesis.body (#synthesis.Extension "lux io log"
- (list (synthesis.text (format "SCHEDULE: " message))))}))))
- (case> (#e.Success valueV)
- #1
-
- (#e.Error error)
- (exec (log! error)
- #0)))))
- ))
-
(def: (all-specs run)
(-> Runner Test)
($_ seq
@@ -454,7 +424,6 @@
(array-spec run)
(io-spec run)
(box-spec run)
- (process-spec run)
))
(context: "[JVM] Common procedures."