diff options
Diffstat (limited to 'new-luxc/test/test')
| -rw-r--r-- | new-luxc/test/test/luxc/lang/translation/common.lux | 31 |
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." |