diff options
Diffstat (limited to 'stdlib/source/test')
4 files changed, 96 insertions, 18 deletions
diff --git a/stdlib/source/test/lux/extension.lux b/stdlib/source/test/lux/extension.lux index a754e9bd2..a48460778 100644 --- a/stdlib/source/test/lux/extension.lux +++ b/stdlib/source/test/lux/extension.lux @@ -3,28 +3,35 @@ [lux "*" ["[0]" debug] ["@" target - ["[0]" jvm] ["[0]" js] ["[0]" python] ["[0]" lua] ["[0]" ruby] ["[0]" php] - ["[0]" scheme]] + ["[0]" scheme] + ["[0]" jvm + ["[0]" class] + ["[0]" version] + [encoding + ["[0]" name]]]] [abstract ["[0]" monad {"+" do}]] [control - ["[0]" try] + ["[0]" try ("[1]#[0]" functor)] ["<>" parser ["<[0]>" code] ["<[0]>" analysis] ["<[0]>" synthesis]]] [data + ["[0]" binary] ["[0]" product] ["[0]" text ("[1]#[0]" equivalence) ["%" format {"+" format}]] [collection ["[0]" sequence] - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list ("[1]#[0]" functor)]] + [format + ["[0]F" binary]]] [macro ["[0]" template]] [math @@ -45,7 +52,10 @@ ["[0]" directive] [phase [analysis - ["[0]" type]]]]]]] + ["[0]" type]] + [generation + ["[0]" jvm "_" + ["[1]/[0]" runtime]]]]]]]] ["_" test {"+" Test}]]] [\\library ["[0]" / {"+" analysis: synthesis: generation: directive:}]]) @@ -146,19 +156,26 @@ (do ! [[module_id artifact_id] (generation.context archive) .let [commentary (format "Successfully installed directive " (%.text self) "!")] - _ (for [@.jvm (in []) - @.js (generation.save! artifact_id {.#None} - (js.comment commentary - (js.statement (js.string commentary)))) - @.python (generation.save! artifact_id {.#None} - (python.comment commentary - (python.statement (python.string commentary)))) - @.lua (generation.save! artifact_id {.#None} - (lua.comment commentary - (lua.statement (lua.string commentary)))) - @.ruby (generation.save! artifact_id {.#None} - (ruby.comment commentary - (ruby.statement (ruby.string commentary))))])] + _ (generation.save! artifact_id {.#None} + (for [@.jvm (let [$class (jvm/runtime.class_name [module_id artifact_id])] + (<| [$class] + (try.else (binary.empty 0)) + (try#each (binaryF.result class.writer)) + (class.class version.v6_0 class.public + (name.internal $class) + (name.internal "java.lang.Object") + (list) + (list) + (list) + sequence.empty))) + @.js (js.comment commentary + (js.statement (js.string commentary))) + @.python (python.comment commentary + (python.statement (python.string commentary))) + @.lua (lua.comment commentary + (lua.statement (lua.string commentary))) + @.ruby (ruby.comment commentary + (ruby.statement (ruby.string commentary)))]))] (generation.log! commentary))))] (in directive.no_requirements))) diff --git a/stdlib/source/test/lux/tool.lux b/stdlib/source/test/lux/tool.lux index 4e3bad586..df128f232 100644 --- a/stdlib/source/test/lux/tool.lux +++ b/stdlib/source/test/lux/tool.lux @@ -17,6 +17,9 @@ ... ["[1][0]" analysis] ... ["[1][0]" synthesis]] ]] + ["[1][0]" meta "_" + ["[1]/[0]" archive "_" + ["[1]/[0]" signature]]] ]]) (def: .public test @@ -27,6 +30,7 @@ /reference.test /analysis/primitive.test /analysis/composite.test + /meta/archive/signature.test ... /syntax.test ... /analysis.test ... /synthesis.test diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/primitive.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/primitive.lux index 4d67a47f9..3c88cd1e5 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/primitive.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/primitive.lux @@ -35,6 +35,7 @@ ($_ _.and (_.for [/.equivalence] ($equivalence.spec /.equivalence ..random)) + (do random.monad [left ..random right ..random] diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux new file mode 100644 index 000000000..948329ada --- /dev/null +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux @@ -0,0 +1,56 @@ +(.using + [library + [lux "*" + ["_" test {"+" Test}] + [abstract + [monad {"+" do}] + [\\specification + ["$[0]" equivalence]]] + [control + ["[0]" try ("[1]#[0]" functor)] + [parser + ["<[0]>" binary]]] + [data + ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" text ("[1]#[0]" equivalence)] + [format + ["[0]F" binary]]] + [math + ["[0]" random {"+" Random}]]]] + [\\library + ["[0]" /]] + ["[0]" //// "_" + ["[1][0]" version]]) + +(def: .public random + (Random /.Signature) + ($_ random.and + ($_ random.and + (random.ascii/upper 5) + (random.ascii/lower 5)) + ////version.random + )) + +(def: .public test + Test + (<| (_.covering /._) + (_.for [/.Signature]) + ($_ _.and + (_.for [/.equivalence] + ($equivalence.spec /.equivalence ..random)) + + (do random.monad + [left ..random + right ..random] + (_.cover [/.description] + (bit#= (# /.equivalence = left right) + (text#= (/.description left) (/.description right))))) + (do random.monad + [expected ..random] + (_.cover [/.writer /.parser] + (|> expected + (binaryF.result /.writer) + (<binary>.result /.parser) + (try#each (# /.equivalence = expected)) + (try.else false)))) + ))) |