diff options
Diffstat (limited to '')
16 files changed, 26 insertions, 26 deletions
diff --git a/stdlib/source/test/lux/tool.lux b/stdlib/source/test/lux/tool.lux index ebda4eb93..5aaee9637 100644 --- a/stdlib/source/test/lux/tool.lux +++ b/stdlib/source/test/lux/tool.lux @@ -11,7 +11,7 @@ ["#." analysis] ["#." synthesis]]]]]]) -(def: #export test +(def: .public test Test ($_ _.and /syntax.test diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux index 06b09fbf9..f2b318a33 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux @@ -12,7 +12,7 @@ [analysis ["#." lux]]]]]) -(def: #export test +(def: .public test Test ($_ _.and /primitive.test diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux index 752465bd0..ac408d71d 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux @@ -53,7 +53,7 @@ head head+] (in (#.Item head tail+))))) -(def: #export (exhaustive_branches allow_literals? variantTC inputC) +(def: .public (exhaustive_branches allow_literals? variantTC inputC) (-> Bit (List [Code Code]) Code (Random (List Code))) (case inputC [_ (#.Bit _)] @@ -116,7 +116,7 @@ (r\in (list)) )) -(def: #export (input variant_tags record_tags primitivesC) +(def: .public (input variant_tags record_tags primitivesC) (-> (List Code) (List Code) (List Code) (Random Code)) (r.rec (function (_ input) @@ -138,7 +138,7 @@ (-> Code Code [Code Code]) [pattern body]) -(def: #export test +(def: .public test (<| (_.context (name.module (name_of /._))) (do {! r.monad} [module_name (r.unicode 5) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux index 08bfc6e99..7981f1422 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux @@ -123,7 +123,7 @@ (check_apply partial_polyT2 var_idx))) )))) -(def: #export test +(def: .public test Test (<| (_.context (name.module (name_of /._))) ($_ _.and diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux index 7fb549845..3b93ae562 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux @@ -32,25 +32,25 @@ [meta ["." archive]]]]]]]]) -(def: #export (expander macro inputs state) +(def: .public (expander macro inputs state) Expander (#try.Failure "NOPE")) -(def: #export (eval archive count type expression) +(def: .public (eval archive count type expression) Eval (function (_ state) (#try.Failure "NO!"))) -(def: #export phase +(def: .public phase ////analysis.Phase (//.phase ..expander)) -(def: #export state +(def: .public state ////analysis.State+ [(///analysis.bundle ..eval bundle.empty) (////analysis.state (////analysis.info version.version @.jvm))]) -(def: #export primitive +(def: .public primitive (Random [Type Code]) (`` ($_ r.either (~~ (template [<type> <code_wrapper> <value_gen>] @@ -83,7 +83,7 @@ (#try.Failure error) (#try.Failure error)))) -(def: #export test +(def: .public test (<| (_.context (name.module (name_of /._))) (`` ($_ _.and (_.test (%.name (name_of #////analysis.Unit)) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux index e1f52e584..2d1a34d1b 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux @@ -62,7 +62,7 @@ (phase.run _primitive.state) check!)) -(def: #export test +(def: .public test (<| (_.context (name.module (name_of /._))) (do r.monad [[expectedT _] _primitive.primitive diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/structure.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/structure.lux index 11ca2b276..9bc61107b 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/structure.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/structure.lux @@ -39,7 +39,7 @@ ["." archive]]]]]]]]) (template [<name> <on_success> <on_error>] - [(def: #export <name> + [(def: .public <name> (All [a] (-> (Operation a) Bit)) (|>> (phase.run _primitive.state) (case> (#try.Success _) @@ -298,7 +298,7 @@ (|> (/.record archive.empty _primitive.phase recordC) (check_record module_name tags monoT monoT size)))))) -(def: #export test +(def: .public test Test (<| (_.context (name.module (name_of /._))) ($_ _.and diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux index a0643cbcd..508eed47f 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux @@ -191,7 +191,7 @@ (check_success+ "lux io current-time" (list) Int)) ))) -(def: #export test +(def: .public test Test (<| (_.context (name.module (name_of /._))) ($_ _.and diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux index 4a7a7c507..159790e36 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux @@ -9,7 +9,7 @@ ["#." loop] ["#." variable]]) -(def: #export test +(def: .public test Test ($_ _.and /primitive.test diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux index 59cad9258..7a5b44f51 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux @@ -340,7 +340,7 @@ _ false))))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.synthesize]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux index 60a009be1..188c50a86 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux @@ -455,7 +455,7 @@ (!expect (^multi (#try.Success funcS) (//primitive.corresponds? funcA funcS)))))))) -(def: #export test +(def: .public test Test (<| (_.covering /._) ($_ _.and diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux index 3598bbf7c..9aa7bdfe9 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux @@ -261,7 +261,7 @@ (..extension offset arity next) )) -(def: #export test +(def: .public test Test (<| (_.covering /._) ($_ _.and diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux index e4ccec535..25524e590 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux @@ -27,7 +27,7 @@ [meta ["." archive]]]]]]]]) -(def: #export primitive +(def: .public primitive (Random Analysis) (do r.monad [primitive (: (Random ////analysis.Primitive) @@ -41,7 +41,7 @@ (r.unicode 5)))] (in (#////analysis.Primitive primitive)))) -(def: #export (corresponds? analysis synthesis) +(def: .public (corresponds? analysis synthesis) (-> Analysis Synthesis Bit) (`` (case [analysis synthesis] (~~ (template [<analysis> <post_analysis> <synthesis> <post_synthesis>] @@ -70,7 +70,7 @@ _ false))) -(def: #export test +(def: .public test Test (<| (_.context (%.name (name_of #////synthesis.Primitive))) (`` ($_ _.and diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux index a45c8af9e..4db00f1f2 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux @@ -72,7 +72,7 @@ _ false))))) -(def: #export test +(def: .public test Test (<| (_.context (%.name (name_of #////synthesis.Structure))) ($_ _.and diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux index 04fb82336..cb0d81cfd 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux @@ -322,7 +322,7 @@ {#redundants 0 #necessary (dictionary.empty n.hash)}) -(def: #export test +(def: .public test Test (<| (_.covering /._) ($_ _.and diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux index 7a103d60a..e5a1e45d3 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux @@ -137,7 +137,7 @@ (\ code.equivalence = parsed sample))) ))) -(def: #export test +(def: .public test Test (<| (_.context (name.module (name_of /._))) ($_ _.and |