aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/compositor/generation
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/specification/compositor/generation')
-rw-r--r--stdlib/source/specification/compositor/generation/case.lux4
-rw-r--r--stdlib/source/specification/compositor/generation/common.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/function.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/primitive.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/reference.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/structure.lux2
6 files changed, 7 insertions, 7 deletions
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)