diff options
Diffstat (limited to 'stdlib/source/specification/compositor')
8 files changed, 12 insertions, 12 deletions
diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux index 5a34eae36..6e3c4dba7 100644 --- a/stdlib/source/specification/compositor/analysis/type.lux +++ b/stdlib/source/specification/compositor/analysis/type.lux @@ -50,7 +50,7 @@ [(r.ascii/upper_alpha 5) (0 #0 "#Text" (0 #0)) code.text] ))))) -(def: #export (spec expander state) +(def: .public (spec expander state) (-> Expander State+ Test) (do r.monad [[typeC exprT exprC] ..check diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux index fdd930ec8..2c83cbd9e 100644 --- a/stdlib/source/specification/compositor/common.lux +++ b/stdlib/source/specification/compositor/common.lux @@ -19,13 +19,13 @@ [default ["." platform (#+ Platform)]]]]]) -(type: #export Runner +(type: .public Runner (-> Text Synthesis (Try Any))) -(type: #export Definer +(type: .public Definer (-> Name Synthesis (Try Any))) -(type: #export (Instancer what) +(type: .public (Instancer what) (All [anchor expression directive] (-> (Platform IO anchor expression directive) (generation.State+ anchor expression directive) @@ -57,7 +57,7 @@ (phase (synthesis.constant lux_name))))] (\ host evaluate! "definer" definitionG)))) -(def: #export (executors target expander platform +(def: .public (executors target expander platform analysis_bundle generation_bundle directive_bundle program extender) (All [anchor expression directive] diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux index 0ef6fc025..c3dbd1835 100644 --- a/stdlib/source/specification/compositor/generation/case.lux +++ b/stdlib/source/specification/compositor/generation/case.lux @@ -38,7 +38,7 @@ (-> Nat Nat Bit) (n.= (dec size) idx)) -(def: #export (verify expected) +(def: .public (verify expected) (-> Frac (Try Any) Bit) (|>> (case> (#try.Success actual) (f.= expected (:as Frac actual)) @@ -278,7 +278,7 @@ false))) )) -(def: #export (spec run) +(def: .public (spec run) (-> Runner Test) ($_ _.and (..special_spec run) diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux index e17692b30..1e3d6bb9e 100644 --- a/stdlib/source/specification/compositor/generation/common.lux +++ b/stdlib/source/specification/compositor/generation/common.lux @@ -332,7 +332,7 @@ false))) ))) -(def: #export (spec runner) +(def: .public (spec runner) (-> Runner Test) ($_ _.and (..bit runner) diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux index 3589cdf28..a9845081b 100644 --- a/stdlib/source/specification/compositor/generation/function.lux +++ b/stdlib/source/specification/compositor/generation/function.lux @@ -47,7 +47,7 @@ #synthesis.arity arity #synthesis.body (synthesis.variable/local local)})]))) -(def: #export (spec run) +(def: .public (spec run) (-> Runner Test) (do {! r.monad} [[arity local functionS] ..function diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux index 2ddb9a02e..ec00f935f 100644 --- a/stdlib/source/specification/compositor/generation/primitive.lux +++ b/stdlib/source/specification/compositor/generation/primitive.lux @@ -26,7 +26,7 @@ (and (f.not_a_number? reference) (f.not_a_number? subject)))) -(def: #export (spec run) +(def: .public (spec run) (-> Runner Test) (`` ($_ _.and (~~ (template [<evaluation_name> <synthesis> <gen> <test>] diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux index d5c3cfd34..02338e915 100644 --- a/stdlib/source/specification/compositor/generation/reference.lux +++ b/stdlib/source/specification/compositor/generation/reference.lux @@ -53,7 +53,7 @@ (#try.Failure _) false))))) -(def: #export (spec runner definer) +(def: .public (spec runner definer) (-> Runner Definer Test) ($_ _.and (..definition definer) diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux index 46c25c8a3..4feea793f 100644 --- a/stdlib/source/specification/compositor/generation/structure.lux +++ b/stdlib/source/specification/compositor/generation/structure.lux @@ -81,7 +81,7 @@ (#try.Failure _) false))))) -(def: #export (spec runner) +(def: .public (spec runner) (-> Runner Test) ($_ _.and (..variant runner) |