From f621a133e6e0a516c0586270fea8eaffb4829d82 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 8 Aug 2021 17:56:15 -0400
Subject: No more #export magic syntax.

---
 stdlib/source/specification/compositor/generation/case.lux      | 4 ++--
 stdlib/source/specification/compositor/generation/common.lux    | 2 +-
 stdlib/source/specification/compositor/generation/function.lux  | 2 +-
 stdlib/source/specification/compositor/generation/primitive.lux | 2 +-
 stdlib/source/specification/compositor/generation/reference.lux | 2 +-
 stdlib/source/specification/compositor/generation/structure.lux | 2 +-
 6 files changed, 7 insertions(+), 7 deletions(-)

(limited to 'stdlib/source/specification/compositor/generation')

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)
-- 
cgit v1.2.3