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/aedifex/repository.lux                | 2 +-
 stdlib/source/specification/compositor.lux                        | 2 +-
 stdlib/source/specification/compositor/analysis/type.lux          | 2 +-
 stdlib/source/specification/compositor/common.lux                 | 8 ++++----
 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 +-
 stdlib/source/specification/lux/abstract/apply.lux                | 2 +-
 stdlib/source/specification/lux/abstract/codec.lux                | 2 +-
 stdlib/source/specification/lux/abstract/comonad.lux              | 2 +-
 stdlib/source/specification/lux/abstract/enum.lux                 | 2 +-
 stdlib/source/specification/lux/abstract/equivalence.lux          | 2 +-
 stdlib/source/specification/lux/abstract/fold.lux                 | 2 +-
 stdlib/source/specification/lux/abstract/functor.lux              | 6 +++---
 .../source/specification/lux/abstract/functor/contravariant.lux   | 2 +-
 stdlib/source/specification/lux/abstract/hash.lux                 | 2 +-
 stdlib/source/specification/lux/abstract/interval.lux             | 2 +-
 stdlib/source/specification/lux/abstract/monad.lux                | 2 +-
 stdlib/source/specification/lux/abstract/monoid.lux               | 2 +-
 stdlib/source/specification/lux/abstract/order.lux                | 2 +-
 stdlib/source/specification/lux/world/console.lux                 | 2 +-
 stdlib/source/specification/lux/world/file.lux                    | 2 +-
 stdlib/source/specification/lux/world/program.lux                 | 2 +-
 stdlib/source/specification/lux/world/shell.lux                   | 2 +-
 27 files changed, 33 insertions(+), 33 deletions(-)

(limited to 'stdlib/source/specification')

diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux
index 059a467e4..9f29b2b4c 100644
--- a/stdlib/source/specification/aedifex/repository.lux
+++ b/stdlib/source/specification/aedifex/repository.lux
@@ -23,7 +23,7 @@
    ["_." // #_
     ["#." artifact]]])
 
-(def: #export (spec valid_artifact invalid_artifact subject)
+(def: .public (spec valid_artifact invalid_artifact subject)
   (-> Artifact Artifact (/.Repository Async) Test)
   (do random.monad
     [expected (_binary.random 100)]
diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux
index 8cc92ff33..7c7d620f1 100644
--- a/stdlib/source/specification/compositor.lux
+++ b/stdlib/source/specification/compositor.lux
@@ -41,7 +41,7 @@
       (/generation/common.spec runner)
       ))
 
-(def: #export (spec platform bundle expander program)
+(def: .public (spec platform bundle expander program)
   (All [anchor expression directive]
     (-> (IO (Platform IO anchor expression directive))
         (Bundle anchor expression directive)
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)
diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux
index 691e8c01c..9aaa00eac 100644
--- a/stdlib/source/specification/lux/abstract/apply.lux
+++ b/stdlib/source/specification/lux/abstract/apply.lux
@@ -62,7 +62,7 @@
                  (injection decrease)
                  (injection sample))))))
 
-(def: #export (spec injection comparison apply)
+(def: .public (spec injection comparison apply)
   (All [f] (-> (Injection f) (Comparison f) (Apply f) Test))
   (_.for [/.Apply]
          ($_ _.and
diff --git a/stdlib/source/specification/lux/abstract/codec.lux b/stdlib/source/specification/lux/abstract/codec.lux
index f58f6ce91..3cbb712d2 100644
--- a/stdlib/source/specification/lux/abstract/codec.lux
+++ b/stdlib/source/specification/lux/abstract/codec.lux
@@ -13,7 +13,7 @@
     [//
      [equivalence (#+ Equivalence)]]]])
 
-(def: #export (spec (^open "@//.") (^open "@//.") generator)
+(def: .public (spec (^open "@//.") (^open "@//.") generator)
   (All [m a] (-> (Equivalence a) (/.Codec m a) (Random a) Test))
   (do random.monad
     [expected generator]
diff --git a/stdlib/source/specification/lux/abstract/comonad.lux b/stdlib/source/specification/lux/abstract/comonad.lux
index 0f5f18965..b1fca7ab7 100644
--- a/stdlib/source/specification/lux/abstract/comonad.lux
+++ b/stdlib/source/specification/lux/abstract/comonad.lux
@@ -51,7 +51,7 @@
             (== (|> start _//split (_//map (|>> _//split (_//map increase) decrease)))
                 (|> start _//split (_//map increase) _//split (_//map decrease))))))
 
-(def: #export (spec injection comparison subject)
+(def: .public (spec injection comparison subject)
   (All [f] (-> (Injection f) (Comparison f) (CoMonad f) Test))
   (<| (_.for [/.CoMonad])
       ($_ _.and
diff --git a/stdlib/source/specification/lux/abstract/enum.lux b/stdlib/source/specification/lux/abstract/enum.lux
index 6375b4829..f68ba1203 100644
--- a/stdlib/source/specification/lux/abstract/enum.lux
+++ b/stdlib/source/specification/lux/abstract/enum.lux
@@ -9,7 +9,7 @@
   [\\library
    ["." /]])
 
-(def: #export (spec (^open "\.") gen_sample)
+(def: .public (spec (^open "\.") gen_sample)
   (All [a] (-> (/.Enum a) (Random a) Test))
   (do random.monad
     [sample gen_sample]
diff --git a/stdlib/source/specification/lux/abstract/equivalence.lux b/stdlib/source/specification/lux/abstract/equivalence.lux
index 4d6d0900a..e6ef85b11 100644
--- a/stdlib/source/specification/lux/abstract/equivalence.lux
+++ b/stdlib/source/specification/lux/abstract/equivalence.lux
@@ -9,7 +9,7 @@
   [\\library
    ["." / (#+ Equivalence)]])
 
-(def: #export (spec (^open "_//.") random)
+(def: .public (spec (^open "_//.") random)
   (All [a] (-> (Equivalence a) (Random a) Test))
   (do random.monad
     [left random
diff --git a/stdlib/source/specification/lux/abstract/fold.lux b/stdlib/source/specification/lux/abstract/fold.lux
index 2b4a7617f..6d3ad1f7e 100644
--- a/stdlib/source/specification/lux/abstract/fold.lux
+++ b/stdlib/source/specification/lux/abstract/fold.lux
@@ -13,7 +13,7 @@
   [\\library
    ["." /]])
 
-(def: #export (spec injection comparison (^open "@//."))
+(def: .public (spec injection comparison (^open "@//."))
   (All [f] (-> (Injection f) (Comparison f) (/.Fold f) Test))
   (do random.monad
     [subject random.nat
diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux
index cfa6cc2ff..d60555ae0 100644
--- a/stdlib/source/specification/lux/abstract/functor.lux
+++ b/stdlib/source/specification/lux/abstract/functor.lux
@@ -14,10 +14,10 @@
   [\\library
    ["." / (#+ Functor)]])
 
-(type: #export (Injection f)
+(type: .public (Injection f)
   (All [a] (-> a (f a))))
 
-(type: #export (Comparison f)
+(type: .public (Comparison f)
   (All [a]
     (-> (Equivalence a)
         (Equivalence (f a)))))
@@ -52,7 +52,7 @@
              (|> sample (@//map increase) (@//map decrease))
              (|> sample (@//map (|>> increase decrease)))))))
 
-(def: #export (spec injection comparison functor)
+(def: .public (spec injection comparison functor)
   (All [f] (-> (Injection f) (Comparison f) (Functor f) Test))
   (<| (_.for [/.Functor])
       ($_ _.and
diff --git a/stdlib/source/specification/lux/abstract/functor/contravariant.lux b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
index cba839e94..719398e71 100644
--- a/stdlib/source/specification/lux/abstract/functor/contravariant.lux
+++ b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
@@ -21,7 +21,7 @@
            (@//map function.identity value)
            value)))
 
-(def: #export (spec equivalence value functor)
+(def: .public (spec equivalence value functor)
   (All [f a] (-> (Equivalence (f a)) (f a) (Functor f) Test))
   (do random.monad
     [sample random.nat]
diff --git a/stdlib/source/specification/lux/abstract/hash.lux b/stdlib/source/specification/lux/abstract/hash.lux
index e55c8b549..4437a42a5 100644
--- a/stdlib/source/specification/lux/abstract/hash.lux
+++ b/stdlib/source/specification/lux/abstract/hash.lux
@@ -11,7 +11,7 @@
   [\\library
    ["." /]])
 
-(def: #export (spec (^open "\.") random)
+(def: .public (spec (^open "\.") random)
   (All [a] (-> (/.Hash a) (Random a) Test))
   (do random.monad
     [parameter random
diff --git a/stdlib/source/specification/lux/abstract/interval.lux b/stdlib/source/specification/lux/abstract/interval.lux
index c5d89aab3..68b2204b0 100644
--- a/stdlib/source/specification/lux/abstract/interval.lux
+++ b/stdlib/source/specification/lux/abstract/interval.lux
@@ -10,7 +10,7 @@
   [\\library
    ["." /]])
 
-(def: #export (spec (^open "@//.") gen_sample)
+(def: .public (spec (^open "@//.") gen_sample)
   (All [a] (-> (/.Interval a) (Random a) Test))
   (<| (_.for [/.Interval])
       (do random.monad
diff --git a/stdlib/source/specification/lux/abstract/monad.lux b/stdlib/source/specification/lux/abstract/monad.lux
index 1a602b292..01395330f 100644
--- a/stdlib/source/specification/lux/abstract/monad.lux
+++ b/stdlib/source/specification/lux/abstract/monad.lux
@@ -47,7 +47,7 @@
              (|> (injection sample) (_//map increase) _//join (_//map decrease) _//join)
              (|> (injection sample) (_//map (|>> increase (_//map decrease) _//join)) _//join)))))
 
-(def: #export (spec injection comparison monad)
+(def: .public (spec injection comparison monad)
   (All [f] (-> (Injection f) (Comparison f) (/.Monad f) Test))
   (<| (_.for [/.Monad])
       ($_ _.and
diff --git a/stdlib/source/specification/lux/abstract/monoid.lux b/stdlib/source/specification/lux/abstract/monoid.lux
index 592b98bb4..c8e4e4e6e 100644
--- a/stdlib/source/specification/lux/abstract/monoid.lux
+++ b/stdlib/source/specification/lux/abstract/monoid.lux
@@ -11,7 +11,7 @@
     [//
      [equivalence (#+ Equivalence)]]]])
 
-(def: #export (spec (^open "\.") (^open "\.") gen_sample)
+(def: .public (spec (^open "\.") (^open "\.") gen_sample)
   (All [a] (-> (Equivalence a) (/.Monoid a) (Random a) Test))
   (do random.monad
     [sample gen_sample
diff --git a/stdlib/source/specification/lux/abstract/order.lux b/stdlib/source/specification/lux/abstract/order.lux
index 8d4844b2a..e8a022686 100644
--- a/stdlib/source/specification/lux/abstract/order.lux
+++ b/stdlib/source/specification/lux/abstract/order.lux
@@ -9,7 +9,7 @@
   [\\library
    ["." /]])
 
-(def: #export (spec (^open "@//.") generator)
+(def: .public (spec (^open "@//.") generator)
   (All [a] (-> (/.Order a) (Random a) Test))
   (<| (_.for [/.Order])
       ($_ _.and
diff --git a/stdlib/source/specification/lux/world/console.lux b/stdlib/source/specification/lux/world/console.lux
index 154f8faca..ee4e47db6 100644
--- a/stdlib/source/specification/lux/world/console.lux
+++ b/stdlib/source/specification/lux/world/console.lux
@@ -17,7 +17,7 @@
   [\\library
    ["." /]])
 
-(def: #export (spec console)
+(def: .public (spec console)
   (-> (IO (/.Console Async)) Test)
   (do random.monad
     [message (random.ascii/alpha 10)]
diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux
index 83bfc2465..b74a83fd6 100644
--- a/stdlib/source/specification/lux/world/file.lux
+++ b/stdlib/source/specification/lux/world/file.lux
@@ -323,7 +323,7 @@
                      post_dir/0
                      post_dir/1))))
 
-(def: #export (spec fs)
+(def: .public (spec fs)
   (-> (IO (/.System Async)) Test)
   ($_ _.and
       (..for_path fs)
diff --git a/stdlib/source/specification/lux/world/program.lux b/stdlib/source/specification/lux/world/program.lux
index 091f41c2c..db3ffc36f 100644
--- a/stdlib/source/specification/lux/world/program.lux
+++ b/stdlib/source/specification/lux/world/program.lux
@@ -18,7 +18,7 @@
   [\\library
    ["." /]])
 
-(def: #export (spec subject)
+(def: .public (spec subject)
   (-> (/.Program Async) Test)
   (do random.monad
     [exit random.int]
diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux
index 16e0b6db8..6817d14be 100644
--- a/stdlib/source/specification/lux/world/shell.lux
+++ b/stdlib/source/specification/lux/world/shell.lux
@@ -66,7 +66,7 @@
                true)))))
 
 (with_expansions [<shell_coverage> (as_is [/.Command /.Argument])]
-  (def: #export (spec shell)
+  (def: .public (spec shell)
     (-> (/.Shell Async) Test)
     (<| (_.for [/.Shell /.Process])
         (do {! random.monad}
-- 
cgit v1.2.3