aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/target/python.lux50
-rw-r--r--stdlib/source/test/lux/tool.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cache.lux44
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/context.lux13
4 files changed, 102 insertions, 9 deletions
diff --git a/stdlib/source/test/lux/target/python.lux b/stdlib/source/test/lux/target/python.lux
index 3908f9d3c..bb601a007 100644
--- a/stdlib/source/test/lux/target/python.lux
+++ b/stdlib/source/test/lux/target/python.lux
@@ -432,19 +432,55 @@
(def: test|statement
Test
(do [! random.monad]
- [prefix (# ! each (|>> %.nat (text.enclosed ["def_" "_"])) random.nat)
+ [$def (# ! each (|>> %.nat (format "def_") /.var) random.nat)
$input/0 (# ! each (|>> %.nat (format "input_") /.var) random.nat)
expected/0 random.safe_frac
- .let [def (: (-> Nat /.SVar)
- (|>> %.nat (format prefix) /.var))]]
+ test random.bit
+ then random.safe_frac
+ else random.safe_frac
+ .let [expected/? (if test then else)]]
($_ _.and
- (_.cover [/.def]
+ (_.cover [/.def /.return]
+ (|> (..statement
+ (function (_ $output)
+ ($_ /.then
+ (/.def $def (list $input/0)
+ (/.return $input/0))
+ (/.set (list $output) (/.apply/* $def (list (/.float expected/0)))))))
+ (:as Frac)
+ (f.= expected/0)))
+ (_.cover [/.if]
+ (|> (..statement
+ (function (_ $output)
+ ($_ /.then
+ (/.def $def (list)
+ (/.if (/.bool test)
+ (/.return (/.float then))
+ (/.return (/.float else))))
+ (/.set (list $output) (/.apply/* $def (list))))))
+ (:as Frac)
+ (f.= expected/?)))
+ (_.cover [/.when /.then]
+ (|> (..statement
+ (function (_ $output)
+ ($_ /.then
+ (/.def $def (list)
+ ($_ /.then
+ (/.when (/.bool test)
+ (/.return (/.float then)))
+ (/.return (/.float else))))
+ (/.set (list $output) (/.apply/* $def (list))))))
+ (:as Frac)
+ (f.= expected/?)))
+ (_.cover [/.statement]
(|> (..statement
(function (_ $output)
($_ /.then
- (/.def (def 0) (list $input/0) (/.return $input/0))
- (/.set (list $output)
- (/.apply/* (def 0) (list (/.float expected/0)))))))
+ (/.def $def (list)
+ ($_ /.then
+ (/.statement (/.+ (/.float expected/0) (/.float expected/0)))
+ (/.return (/.float expected/0))))
+ (/.set (list $output) (/.apply/* $def (list))))))
(:as Frac)
(f.= expected/0)))
)))
diff --git a/stdlib/source/test/lux/tool.lux b/stdlib/source/test/lux/tool.lux
index 22267936f..ed089e095 100644
--- a/stdlib/source/test/lux/tool.lux
+++ b/stdlib/source/test/lux/tool.lux
@@ -27,7 +27,8 @@
["[1]/[0]" cli]
["[1]/[0]" export]
["[1]/[0]" import]
- ["[1]/[0]" context]]
+ ["[1]/[0]" context]
+ ["[1]/[0]" cache]]
]])
(def: .public test
@@ -43,6 +44,7 @@
/meta/export.test
/meta/import.test
/meta/context.test
+ /meta/cache.test
/phase/extension.test
/phase/analysis/simple.test
/phase/analysis/complex.test
diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache.lux b/stdlib/source/test/lux/tool/compiler/meta/cache.lux
new file mode 100644
index 000000000..9ffcd4ada
--- /dev/null
+++ b/stdlib/source/test/lux/tool/compiler/meta/cache.lux
@@ -0,0 +1,44 @@
+(.using
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [monad {"+" do}]]
+ [control
+ ["[0]" try]
+ [concurrency
+ ["[0]" async]]]
+ [math
+ ["[0]" random]]
+ [world
+ ["[0]" file]]]]
+ [\\library
+ ["[0]" /]]
+ ["$[0]" // "_"
+ ["[1][0]" context]])
+
+(def: .public test
+ Test
+ (<| (_.covering /._)
+ (do [! random.monad]
+ [.let [/ "/"
+ fs (file.mock /)]
+ context $//context.random]
+ ($_ _.and
+ (in (do async.monad
+ [pre/0 (# fs directory? (/.path fs context))
+ pre/1 (/.enabled? fs context)
+ outcome (/.enable! fs context)
+ post/0 (# fs directory? (/.path fs context))
+ post/1 (/.enabled? fs context)]
+ (_.cover' [/.path /.enabled? /.enable!]
+ (and (not pre/0)
+ (not pre/1)
+
+ (case outcome
+ {try.#Success _} true
+ {try.#Failure _} false)
+
+ post/0
+ post/1))))
+ ))))
diff --git a/stdlib/source/test/lux/tool/compiler/meta/context.lux b/stdlib/source/test/lux/tool/compiler/meta/context.lux
index 382bd12d6..1d9d5b67d 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/context.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/context.lux
@@ -10,12 +10,23 @@
["[0]" set]
["[0]" list ("[1]#[0]" functor)]]]
[math
- ["[0]" random]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
["[0]" /]])
+(def: .public random
+ (Random /.Context)
+ (do [! random.monad]
+ [context ($_ random.either
+ (in /.js)
+ (in /.jvm)
+ (in /.lua)
+ (in /.python)
+ (in /.ruby))]
+ (# ! each context (random.ascii/lower 1))))
+
(def: .public test
Test
(<| (_.covering /._)