aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/aedifex/artifact.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/extension.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/build.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/stamp.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/time.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/time.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/time/date.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/time/time.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/type.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/versioning.lux4
-rw-r--r--stdlib/source/test/aedifex/cache.lux2
-rw-r--r--stdlib/source/test/aedifex/cli.lux2
-rw-r--r--stdlib/source/test/aedifex/command.lux2
-rw-r--r--stdlib/source/test/aedifex/command/auto.lux2
-rw-r--r--stdlib/source/test/aedifex/command/build.lux10
-rw-r--r--stdlib/source/test/aedifex/command/clean.lux2
-rw-r--r--stdlib/source/test/aedifex/command/deploy.lux2
-rw-r--r--stdlib/source/test/aedifex/command/deps.lux2
-rw-r--r--stdlib/source/test/aedifex/command/install.lux4
-rw-r--r--stdlib/source/test/aedifex/command/pom.lux2
-rw-r--r--stdlib/source/test/aedifex/command/test.lux2
-rw-r--r--stdlib/source/test/aedifex/command/version.lux6
-rw-r--r--stdlib/source/test/aedifex/dependency.lux4
-rw-r--r--stdlib/source/test/aedifex/dependency/deployment.lux2
-rw-r--r--stdlib/source/test/aedifex/dependency/resolution.lux6
-rw-r--r--stdlib/source/test/aedifex/dependency/status.lux4
-rw-r--r--stdlib/source/test/aedifex/hash.lux4
-rw-r--r--stdlib/source/test/aedifex/input.lux2
-rw-r--r--stdlib/source/test/aedifex/local.lux2
-rw-r--r--stdlib/source/test/aedifex/metadata.lux2
-rw-r--r--stdlib/source/test/aedifex/metadata/artifact.lux4
-rw-r--r--stdlib/source/test/aedifex/metadata/snapshot.lux4
-rw-r--r--stdlib/source/test/aedifex/package.lux4
-rw-r--r--stdlib/source/test/aedifex/parser.lux2
-rw-r--r--stdlib/source/test/aedifex/pom.lux2
-rw-r--r--stdlib/source/test/aedifex/profile.lux4
-rw-r--r--stdlib/source/test/aedifex/project.lux4
-rw-r--r--stdlib/source/test/aedifex/repository.lux6
-rw-r--r--stdlib/source/test/aedifex/repository/identity.lux4
-rw-r--r--stdlib/source/test/aedifex/repository/local.lux2
-rw-r--r--stdlib/source/test/aedifex/repository/origin.lux4
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux2
-rw-r--r--stdlib/source/test/aedifex/runtime.lux4
-rw-r--r--stdlib/source/test/lux.lux21
-rw-r--r--stdlib/source/test/lux/abstract.lux2
-rw-r--r--stdlib/source/test/lux/abstract/apply.lux2
-rw-r--r--stdlib/source/test/lux/abstract/codec.lux2
-rw-r--r--stdlib/source/test/lux/abstract/comonad.lux2
-rw-r--r--stdlib/source/test/lux/abstract/comonad/cofree.lux2
-rw-r--r--stdlib/source/test/lux/abstract/enum.lux2
-rw-r--r--stdlib/source/test/lux/abstract/equivalence.lux2
-rw-r--r--stdlib/source/test/lux/abstract/fold.lux2
-rw-r--r--stdlib/source/test/lux/abstract/functor.lux2
-rw-r--r--stdlib/source/test/lux/abstract/functor/contravariant.lux2
-rw-r--r--stdlib/source/test/lux/abstract/hash.lux2
-rw-r--r--stdlib/source/test/lux/abstract/interval.lux8
-rw-r--r--stdlib/source/test/lux/abstract/monad.lux2
-rw-r--r--stdlib/source/test/lux/abstract/monad/free.lux2
-rw-r--r--stdlib/source/test/lux/abstract/monoid.lux2
-rw-r--r--stdlib/source/test/lux/abstract/order.lux2
-rw-r--r--stdlib/source/test/lux/abstract/predicate.lux2
-rw-r--r--stdlib/source/test/lux/control.lux2
-rw-r--r--stdlib/source/test/lux/control/concatenative.lux46
-rw-r--r--stdlib/source/test/lux/control/concurrency/actor.lux4
-rw-r--r--stdlib/source/test/lux/control/concurrency/async.lux2
-rw-r--r--stdlib/source/test/lux/control/concurrency/atom.lux2
-rw-r--r--stdlib/source/test/lux/control/concurrency/frp.lux2
-rw-r--r--stdlib/source/test/lux/control/concurrency/semaphore.lux2
-rw-r--r--stdlib/source/test/lux/control/concurrency/stm.lux2
-rw-r--r--stdlib/source/test/lux/control/concurrency/thread.lux2
-rw-r--r--stdlib/source/test/lux/control/continuation.lux2
-rw-r--r--stdlib/source/test/lux/control/exception.lux2
-rw-r--r--stdlib/source/test/lux/control/function.lux2
-rw-r--r--stdlib/source/test/lux/control/function/contract.lux2
-rw-r--r--stdlib/source/test/lux/control/function/memo.lux2
-rw-r--r--stdlib/source/test/lux/control/function/mixin.lux2
-rw-r--r--stdlib/source/test/lux/control/function/mutual.lux2
-rw-r--r--stdlib/source/test/lux/control/io.lux2
-rw-r--r--stdlib/source/test/lux/control/parser.lux2
-rw-r--r--stdlib/source/test/lux/control/parser/analysis.lux12
-rw-r--r--stdlib/source/test/lux/control/parser/binary.lux12
-rw-r--r--stdlib/source/test/lux/control/parser/cli.lux14
-rw-r--r--stdlib/source/test/lux/control/parser/code.lux14
-rw-r--r--stdlib/source/test/lux/control/parser/environment.lux2
-rw-r--r--stdlib/source/test/lux/control/parser/json.lux14
-rw-r--r--stdlib/source/test/lux/control/parser/synthesis.lux14
-rw-r--r--stdlib/source/test/lux/control/parser/text.lux14
-rw-r--r--stdlib/source/test/lux/control/parser/tree.lux50
-rw-r--r--stdlib/source/test/lux/control/parser/type.lux14
-rw-r--r--stdlib/source/test/lux/control/parser/xml.lux32
-rw-r--r--stdlib/source/test/lux/control/pipe.lux2
-rw-r--r--stdlib/source/test/lux/control/reader.lux2
-rw-r--r--stdlib/source/test/lux/control/region.lux2
-rw-r--r--stdlib/source/test/lux/control/remember.lux2
-rw-r--r--stdlib/source/test/lux/control/security/capability.lux2
-rw-r--r--stdlib/source/test/lux/control/security/policy.lux2
-rw-r--r--stdlib/source/test/lux/control/state.lux2
-rw-r--r--stdlib/source/test/lux/control/thread.lux2
-rw-r--r--stdlib/source/test/lux/control/try.lux4
-rw-r--r--stdlib/source/test/lux/control/writer.lux2
-rw-r--r--stdlib/source/test/lux/data.lux10
-rw-r--r--stdlib/source/test/lux/data/binary.lux4
-rw-r--r--stdlib/source/test/lux/data/bit.lux2
-rw-r--r--stdlib/source/test/lux/data/collection.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/array.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/bits.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary/ordered.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary/plist.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/list.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/queue.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/queue/priority.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/row.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/sequence.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/set.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/set/multi.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/set/ordered.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/stack.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/tree.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/tree/finger.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/tree/zipper.lux2
-rw-r--r--stdlib/source/test/lux/data/color.lux4
-rw-r--r--stdlib/source/test/lux/data/color/named.lux2
-rw-r--r--stdlib/source/test/lux/data/format/binary.lux2
-rw-r--r--stdlib/source/test/lux/data/format/json.lux4
-rw-r--r--stdlib/source/test/lux/data/format/tar.lux2
-rw-r--r--stdlib/source/test/lux/data/format/xml.lux4
-rw-r--r--stdlib/source/test/lux/data/identity.lux2
-rw-r--r--stdlib/source/test/lux/data/lazy.lux4
-rw-r--r--stdlib/source/test/lux/data/maybe.lux2
-rw-r--r--stdlib/source/test/lux/data/name.lux4
-rw-r--r--stdlib/source/test/lux/data/product.lux2
-rw-r--r--stdlib/source/test/lux/data/sum.lux2
-rw-r--r--stdlib/source/test/lux/data/text.lux2
-rw-r--r--stdlib/source/test/lux/data/text/buffer.lux2
-rw-r--r--stdlib/source/test/lux/data/text/encoding.lux4
-rw-r--r--stdlib/source/test/lux/data/text/encoding/utf8.lux2
-rw-r--r--stdlib/source/test/lux/data/text/escape.lux2
-rw-r--r--stdlib/source/test/lux/data/text/format.lux2
-rw-r--r--stdlib/source/test/lux/data/text/regex.lux2
-rw-r--r--stdlib/source/test/lux/data/text/unicode/block.lux4
-rw-r--r--stdlib/source/test/lux/data/text/unicode/set.lux4
-rw-r--r--stdlib/source/test/lux/debug.lux2
-rw-r--r--stdlib/source/test/lux/extension.lux2
-rw-r--r--stdlib/source/test/lux/ffi.js.lux2
-rw-r--r--stdlib/source/test/lux/ffi.jvm.lux2
-rw-r--r--stdlib/source/test/lux/ffi.lua.lux2
-rw-r--r--stdlib/source/test/lux/ffi.old.lux2
-rw-r--r--stdlib/source/test/lux/ffi.php.lux2
-rw-r--r--stdlib/source/test/lux/ffi.py.lux2
-rw-r--r--stdlib/source/test/lux/ffi.rb.lux2
-rw-r--r--stdlib/source/test/lux/ffi.scm.lux2
-rw-r--r--stdlib/source/test/lux/locale.lux2
-rw-r--r--stdlib/source/test/lux/locale/language.lux10
-rw-r--r--stdlib/source/test/lux/locale/territory.lux10
-rw-r--r--stdlib/source/test/lux/macro.lux14
-rw-r--r--stdlib/source/test/lux/macro/code.lux4
-rw-r--r--stdlib/source/test/lux/macro/local.lux2
-rw-r--r--stdlib/source/test/lux/macro/poly.lux2
-rw-r--r--stdlib/source/test/lux/macro/poly/equivalence.lux2
-rw-r--r--stdlib/source/test/lux/macro/poly/functor.lux2
-rw-r--r--stdlib/source/test/lux/macro/poly/json.lux2
-rw-r--r--stdlib/source/test/lux/macro/syntax.lux2
-rw-r--r--stdlib/source/test/lux/macro/syntax/annotations.lux4
-rw-r--r--stdlib/source/test/lux/macro/syntax/check.lux4
-rw-r--r--stdlib/source/test/lux/macro/syntax/declaration.lux4
-rw-r--r--stdlib/source/test/lux/macro/syntax/definition.lux4
-rw-r--r--stdlib/source/test/lux/macro/syntax/export.lux2
-rw-r--r--stdlib/source/test/lux/macro/syntax/input.lux4
-rw-r--r--stdlib/source/test/lux/macro/syntax/type/variable.lux4
-rw-r--r--stdlib/source/test/lux/macro/template.lux2
-rw-r--r--stdlib/source/test/lux/math.lux2
-rw-r--r--stdlib/source/test/lux/math/infix.lux2
-rw-r--r--stdlib/source/test/lux/math/logic/continuous.lux2
-rw-r--r--stdlib/source/test/lux/math/logic/fuzzy.lux2
-rw-r--r--stdlib/source/test/lux/math/modular.lux4
-rw-r--r--stdlib/source/test/lux/math/modulus.lux4
-rw-r--r--stdlib/source/test/lux/math/number.lux2
-rw-r--r--stdlib/source/test/lux/math/number/complex.lux4
-rw-r--r--stdlib/source/test/lux/math/number/frac.lux2
-rw-r--r--stdlib/source/test/lux/math/number/i16.lux4
-rw-r--r--stdlib/source/test/lux/math/number/i32.lux4
-rw-r--r--stdlib/source/test/lux/math/number/i64.lux2
-rw-r--r--stdlib/source/test/lux/math/number/i8.lux4
-rw-r--r--stdlib/source/test/lux/math/number/int.lux2
-rw-r--r--stdlib/source/test/lux/math/number/nat.lux2
-rw-r--r--stdlib/source/test/lux/math/number/ratio.lux4
-rw-r--r--stdlib/source/test/lux/math/number/rev.lux2
-rw-r--r--stdlib/source/test/lux/meta.lux8
-rw-r--r--stdlib/source/test/lux/meta/annotation.lux8
-rw-r--r--stdlib/source/test/lux/meta/location.lux4
-rw-r--r--stdlib/source/test/lux/program.lux2
-rw-r--r--stdlib/source/test/lux/target.lux2
-rw-r--r--stdlib/source/test/lux/target/jvm.lux52
-rw-r--r--stdlib/source/test/lux/test.lux4
-rw-r--r--stdlib/source/test/lux/time.lux2
-rw-r--r--stdlib/source/test/lux/time/date.lux2
-rw-r--r--stdlib/source/test/lux/time/day.lux4
-rw-r--r--stdlib/source/test/lux/time/duration.lux2
-rw-r--r--stdlib/source/test/lux/time/instant.lux2
-rw-r--r--stdlib/source/test/lux/time/month.lux4
-rw-r--r--stdlib/source/test/lux/time/year.lux4
-rw-r--r--stdlib/source/test/lux/tool.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux12
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/structure.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux2
-rw-r--r--stdlib/source/test/lux/type.lux4
-rw-r--r--stdlib/source/test/lux/type/abstract.lux6
-rw-r--r--stdlib/source/test/lux/type/check.lux2
-rw-r--r--stdlib/source/test/lux/type/dynamic.lux2
-rw-r--r--stdlib/source/test/lux/type/implicit.lux2
-rw-r--r--stdlib/source/test/lux/type/quotient.lux4
-rw-r--r--stdlib/source/test/lux/type/refinement.lux2
-rw-r--r--stdlib/source/test/lux/type/resource.lux2
-rw-r--r--stdlib/source/test/lux/type/unit.lux2
-rw-r--r--stdlib/source/test/lux/type/variance.lux2
-rw-r--r--stdlib/source/test/lux/world.lux2
-rw-r--r--stdlib/source/test/lux/world/console.lux2
-rw-r--r--stdlib/source/test/lux/world/file.lux2
-rw-r--r--stdlib/source/test/lux/world/file/watch.lux2
-rw-r--r--stdlib/source/test/lux/world/input/keyboard.lux4
-rw-r--r--stdlib/source/test/lux/world/net/http/client.lux2
-rw-r--r--stdlib/source/test/lux/world/net/http/status.lux2
-rw-r--r--stdlib/source/test/lux/world/output/video/resolution.lux4
-rw-r--r--stdlib/source/test/lux/world/program.lux2
-rw-r--r--stdlib/source/test/lux/world/shell.lux2
241 files changed, 505 insertions, 488 deletions
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index 9a55ccb59..da1941245 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -26,7 +26,7 @@
[\\program
["." /]])
-(def: #export random
+(def: .public random
(Random /.Artifact)
(let [size 4]
($_ random.and
@@ -34,7 +34,7 @@
(random.ascii/lower size)
(random.ascii/lower size))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do random.monad
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index 132293d4f..93355ea60 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -18,7 +18,7 @@
["/#" // #_
["#" type]]]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Extension]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index d8ececcd4..f196586ac 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -20,12 +20,12 @@
[\\program
["." /]])
-(def: #export random
+(def: .public random
(Random /.Snapshot)
(random.or (random\in [])
$/stamp.random))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Snapshot]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
index 55bdc0a42..e613c2f92 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
@@ -15,11 +15,11 @@
[\\program
["." /]])
-(def: #export random
+(def: .public random
(Random /.Build)
random.nat)
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Build]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index deea0e954..2a2c19e4f 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -20,14 +20,14 @@
["#." time]
["#." build]])
-(def: #export random
+(def: .public random
(Random /.Stamp)
($_ random.and
$//time.random
$//build.random
))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Stamp])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index 05e575e64..a658d3e29 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -17,11 +17,11 @@
["$." /// #_
["#." time]])
-(def: #export random
+(def: .public random
(Random /.Time)
$///time.random)
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Time])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index c63dc4f51..c5ec63398 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
@@ -20,7 +20,7 @@
["#." type]
["#." time]])
-(def: #export random
+(def: .public random
(Random /.Version)
($_ random.and
$///type.random
@@ -28,7 +28,7 @@
$///time.random
))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Version])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index cfd8a7f17..ada815059 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -28,7 +28,7 @@
["#." stamp]
["#." time]]]])
-(def: #export random
+(def: .public random
(Random /.Value)
($_ random.and
(random.ascii/alpha 5)
@@ -36,7 +36,7 @@
$///stamp.random)
))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Value])
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index 982d2b0f7..ed60f6389 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -22,14 +22,14 @@
["#." date]
["#." time]])
-(def: #export random
+(def: .public random
(Random /.Time)
(do random.monad
[date /date.random
time /time.random]
(in [date time])))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Time])
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index 5dd7156fc..e58ed00f9 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -22,7 +22,7 @@
[\\program
["." /]])
-(def: #export random
+(def: .public random
(Random /.Date)
(random.one (function (_ raw)
(try.maybe
@@ -34,7 +34,7 @@
(/.date raw))))
random.date))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Date])
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index 904e34aec..9358e7bab 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -17,12 +17,12 @@
[\\program
["." /]])
-(def: #export random
+(def: .public random
(Random /.Time)
(random.one (|>> time.clock (set@ #time.milli_second 0) time.time)
random.time))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Time])
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux
index b34db299c..be1fdfc80 100644
--- a/stdlib/source/test/aedifex/artifact/type.lux
+++ b/stdlib/source/test/aedifex/artifact/type.lux
@@ -16,7 +16,7 @@
[\\program
["." /]])
-(def: #export random
+(def: .public random
(Random /.Type)
($_ random.either
($_ random.either
@@ -28,7 +28,7 @@
(random\in /.sha-1))
))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Type]
diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux
index 79d063123..5a0b2df20 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.lux
@@ -19,7 +19,7 @@
["#." snapshot
["#/." version]]])
-(def: #export random
+(def: .public random
(Random /.Versioning)
($_ random.and
$//snapshot.random
@@ -27,7 +27,7 @@
(random.list 5 $//snapshot/version.random)
))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Versioning])
diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux
index 07d39f00f..44641af70 100644
--- a/stdlib/source/test/aedifex/cache.lux
+++ b/stdlib/source/test/aedifex/cache.lux
@@ -142,7 +142,7 @@
expected)
actual)))))))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
($_ _.and
diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux
index 6c251b0a4..f59cf6619 100644
--- a/stdlib/source/test/aedifex/cli.lux
+++ b/stdlib/source/test/aedifex/cli.lux
@@ -98,7 +98,7 @@
(#try.Failure error)
false)))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Compilation /.Command]
diff --git a/stdlib/source/test/aedifex/command.lux b/stdlib/source/test/aedifex/command.lux
index fe760258b..8fbca7e56 100644
--- a/stdlib/source/test/aedifex/command.lux
+++ b/stdlib/source/test/aedifex/command.lux
@@ -18,7 +18,7 @@
[\\program
["." /]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Command])
diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux
index a5b598b11..6a7ef98ab 100644
--- a/stdlib/source/test/aedifex/command/auto.lux
+++ b/stdlib/source/test/aedifex/command/auto.lux
@@ -63,7 +63,7 @@
dummy_file)]
(in [shell.normal []])))))]))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux
index be7c8b55e..b5e796c2d 100644
--- a/stdlib/source/test/aedifex/command/build.lux
+++ b/stdlib/source/test/aedifex/command/build.lux
@@ -37,7 +37,7 @@
["#." dependency (#+ Dependency)
["#/." resolution (#+ Resolution)]]]]])
-(def: #export good_shell
+(def: .public good_shell
(-> Any (Shell IO))
(shell.mock
(function (_ [actual_environment actual_working_directory actual_command actual_arguments])
@@ -55,7 +55,7 @@
(def: (on_await state)
(#try.Success [state shell.normal]))))))))
-(def: #export bad_shell
+(def: .public bad_shell
(-> Any (Shell IO))
(shell.mock
(function (_ [actual_environment actual_working_directory actual_command actual_arguments])
@@ -73,7 +73,7 @@
(def: (on_await state)
(#try.Success [state shell.error]))))))))
-(def: #export (reader_shell error?)
+(def: .public (reader_shell error?)
(-> Bit (-> (List Text) (Shell IO)))
(shell.mock
(function (_ [actual_environment actual_working_directory actual_command actual_arguments])
@@ -127,7 +127,7 @@
[/.ruby_compiler_name]
))))))
-(def: #export resolution
+(def: .public resolution
(Random [Dependency Resolution])
(do random.monad
[dependency ..compiler
@@ -136,7 +136,7 @@
(|> ///dependency/resolution.empty
(dictionary.put dependency package))])))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux
index 523cf6ccc..fffef3033 100644
--- a/stdlib/source/test/aedifex/command/clean.lux
+++ b/stdlib/source/test/aedifex/command/clean.lux
@@ -80,7 +80,7 @@
(in (and directory_exists?
(list.every? (|>>) files_exist?)))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux
index d315c646c..4bdbafd59 100644
--- a/stdlib/source/test/aedifex/command/deploy.lux
+++ b/stdlib/source/test/aedifex/command/deploy.lux
@@ -59,7 +59,7 @@
_ (/.do! console repository fs artifact profile)]
(\ console read_line [])))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux
index 0d816ec02..0698899da 100644
--- a/stdlib/source/test/aedifex/command/deps.lux
+++ b/stdlib/source/test/aedifex/command/deps.lux
@@ -52,7 +52,7 @@
["#/." origin]
["#/." local]]]]]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do random.monad
diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux
index ed0a3a7d3..0ca484196 100644
--- a/stdlib/source/test/aedifex/command/install.lux
+++ b/stdlib/source/test/aedifex/command/install.lux
@@ -39,7 +39,7 @@
["#." repository #_
["#/." local]]]]]])
-(def: #export (make_sources! fs sources)
+(def: .public (make_sources! fs sources)
(-> (file.System Async) (Set file.Path) (Action (List Any)))
(let [/ (\ fs separator)
! ///action.monad]
@@ -60,7 +60,7 @@
_ (/.do! console fs (///repository/local.repository program fs) sample)]
(\ console read_line [])))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux
index 54a365468..9577842c1 100644
--- a/stdlib/source/test/aedifex/command/pom.lux
+++ b/stdlib/source/test/aedifex/command/pom.lux
@@ -30,7 +30,7 @@
["#." action]
["#." pom]]]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do random.monad
diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux
index 52c167ee9..f2117fad4 100644
--- a/stdlib/source/test/aedifex/command/test.lux
+++ b/stdlib/source/test/aedifex/command/test.lux
@@ -39,7 +39,7 @@
["#." dependency
["#/." resolution]]]]]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux
index aaf320c60..f1c424289 100644
--- a/stdlib/source/test/aedifex/command/version.lux
+++ b/stdlib/source/test/aedifex/command/version.lux
@@ -28,7 +28,7 @@
[\\program
["." /]])
-(exception: #export console_is_closed!)
+(exception: .public console_is_closed!)
(implementation: mock
(Mock [Bit Text])
@@ -57,13 +57,13 @@
(#try.Success [false buffer])
(exception.except ..console_is_closed! []))))
-(def: #export echo
+(def: .public echo
(-> Text (Console Async))
(|>> [true]
(console.mock ..mock)
console.async))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do random.monad
diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux
index 733e15710..86d951f99 100644
--- a/stdlib/source/test/aedifex/dependency.lux
+++ b/stdlib/source/test/aedifex/dependency.lux
@@ -15,13 +15,13 @@
[\\program
["." /]])
-(def: #export random
+(def: .public random
(Random /.Dependency)
($_ random.and
@artifact.random
(random.ascii/alpha 1)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Dependency]
diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux
index 8c1e2e61a..ec2ecad3d 100644
--- a/stdlib/source/test/aedifex/dependency/deployment.lux
+++ b/stdlib/source/test/aedifex/dependency/deployment.lux
@@ -143,7 +143,7 @@
artifact/type.lux_library])]]
(in [dependency artifact package])))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 89e16691d..01b57eb62 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -86,7 +86,7 @@
(\ ///hash.md5_codec encode)
(\ utf8.codec encode)))
-(def: #export nope
+(def: .public nope
(Mock Any)
(implementation
(def: the_description
@@ -96,7 +96,7 @@
(def: (on_upload uri binary state)
(#try.Failure "NOPE"))))
-(def: #export (single artifact package)
+(def: .public (single artifact package)
(-> Artifact Package (Mock Any))
(let [expected (///artifact.uri (get@ #///artifact.version artifact) artifact)]
(implementation
@@ -427,7 +427,7 @@
(not (dictionary.key? resolution ignored))))))
)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Resolution])
diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux
index 5b446d643..aad21027d 100644
--- a/stdlib/source/test/aedifex/dependency/status.lux
+++ b/stdlib/source/test/aedifex/dependency/status.lux
@@ -18,7 +18,7 @@
["//#" /// #_
["#." hash]]]])
-(def: #export random
+(def: .public random
(Random /.Status)
($_ random.or
(random\in [])
@@ -28,7 +28,7 @@
($///hash.random ///hash.md5))
))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Status]
diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux
index 524110c35..dc5633040 100644
--- a/stdlib/source/test/aedifex/hash.lux
+++ b/stdlib/source/test/aedifex/hash.lux
@@ -25,7 +25,7 @@
[data
["_." binary]]]])
-(def: #export (random hash)
+(def: .public (random hash)
(All [h]
(-> (-> Binary (/.Hash h))
(Random (/.Hash h))))
@@ -33,7 +33,7 @@
[size (\ ! map (n.% 100) random.nat)]
(\ ! map hash (_binary.random size))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Hash /.SHA-1 /.MD5])
diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux
index 4b2ee9ea2..168d378d4 100644
--- a/stdlib/source/test/aedifex/input.lux
+++ b/stdlib/source/test/aedifex/input.lux
@@ -41,7 +41,7 @@
(-> (Set Address) (Set Address))
(set.add //.default_repository))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/aedifex/local.lux b/stdlib/source/test/aedifex/local.lux
index bd78c3464..a797f2a97 100644
--- a/stdlib/source/test/aedifex/local.lux
+++ b/stdlib/source/test/aedifex/local.lux
@@ -15,7 +15,7 @@
["/#" // #_
["#." artifact]]]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux
index d4e6e816c..a19f6dfa7 100644
--- a/stdlib/source/test/aedifex/metadata.lux
+++ b/stdlib/source/test/aedifex/metadata.lux
@@ -16,7 +16,7 @@
[\\program
["." /]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
($_ _.and
diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux
index 95897c212..2e6a8e10f 100644
--- a/stdlib/source/test/aedifex/metadata/artifact.lux
+++ b/stdlib/source/test/aedifex/metadata/artifact.lux
@@ -41,7 +41,7 @@
["#." repository #_
["#/." local]]]]]])
-(def: #export random
+(def: .public random
(Random /.Metadata)
($_ random.and
(random.ascii/alpha 5)
@@ -66,7 +66,7 @@
#time.milli_second 0})]
(in (instant.of_date_time date time))))))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Metadata])
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index 4dd751639..7b375d42c 100644
--- a/stdlib/source/test/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/test/aedifex/metadata/snapshot.lux
@@ -78,14 +78,14 @@
(random.list 5 $///artifact/snapshot/version.random)
))
-(def: #export random
+(def: .public random
(Random /.Metadata)
($_ random.and
$///artifact.random
..random_versioning
))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Metadata])
diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux
index 9c6adfcf2..e05dc712f 100644
--- a/stdlib/source/test/aedifex/package.lux
+++ b/stdlib/source/test/aedifex/package.lux
@@ -40,7 +40,7 @@
[repository
["#." origin]]]]])
-(def: #export random
+(def: .public random
(Random [//.Profile /.Package])
(do {! random.monad}
[content_size (\ ! map (n.% 100) random.nat)
@@ -53,7 +53,7 @@
$profile.random)]
(in [profile (/.local pom content)])))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Package])
diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux
index 360c30a4a..4c882ea4a 100644
--- a/stdlib/source/test/aedifex/parser.lux
+++ b/stdlib/source/test/aedifex/parser.lux
@@ -114,7 +114,7 @@
(#try.Failure error)
false)))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.covering //format._)
diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux
index 01b90c33e..657c6192d 100644
--- a/stdlib/source/test/aedifex/pom.lux
+++ b/stdlib/source/test/aedifex/pom.lux
@@ -22,7 +22,7 @@
["/#" // #_
["#" profile]]]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
($_ _.and
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index 755c0e13a..857aaf6e1 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -117,7 +117,7 @@
(Random /.Target)
(random.ascii/alpha 1))
-(def: #export random
+(def: .public random
(Random /.Profile)
($_ random.and
(..list_of ..name)
@@ -138,7 +138,7 @@
(random\in //runtime.default_ruby)
))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Distribution /.License /.SCM /.Organization
diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux
index 809bea253..3d027eec7 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -30,13 +30,13 @@
(random\map (set@ #//.parents (list)))
(random.and (random.ascii/alpha 1))))
-(def: #export random
+(def: .public random
(Random /.Project)
(do random.monad
[[name profile] ..profile]
(in (/.project name profile))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Project /.project]
diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux
index 88efb42fe..eead05e89 100644
--- a/stdlib/source/test/aedifex/repository.lux
+++ b/stdlib/source/test/aedifex/repository.lux
@@ -53,7 +53,7 @@
(type: Store
(Dictionary URI Binary))
-(def: #export empty
+(def: .public empty
Store
(dictionary.empty text.hash))
@@ -65,7 +65,7 @@
Version
"4.5.6-NO")
-(implementation: #export mock
+(implementation: .public mock
(/.Mock Store)
(def: the_description
@@ -84,7 +84,7 @@
(exception.except ..cannot_upload [uri])
(exception.return (dictionary.put uri content state)))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
($_ _.and
diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux
index e19acde36..6158d2397 100644
--- a/stdlib/source/test/aedifex/repository/identity.lux
+++ b/stdlib/source/test/aedifex/repository/identity.lux
@@ -10,14 +10,14 @@
[\\program
["." /]])
-(def: #export random
+(def: .public random
(Random /.Identity)
($_ random.and
(random.ascii/alpha 10)
(random.ascii/alpha 10)
))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.User /.Password /.Identity]
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index a63f4c256..b2352bdd2 100644
--- a/stdlib/source/test/aedifex/repository/local.lux
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -23,7 +23,7 @@
[\\program
["." /]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux
index daf8e8667..80c2946bc 100644
--- a/stdlib/source/test/aedifex/repository/origin.lux
+++ b/stdlib/source/test/aedifex/repository/origin.lux
@@ -10,14 +10,14 @@
[\\program
["." /]])
-(def: #export random
+(def: .public random
(Random /.Origin)
($_ random.or
(random.ascii/alpha 10)
(random.ascii/alpha 10)
))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Origin]
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index cad0fe873..0ff764bdd 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -80,7 +80,7 @@
{#@http.headers (http.headers (list))
#@http.body (..url_body "")}]))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux
index bd87377bc..7508239ad 100644
--- a/stdlib/source/test/aedifex/runtime.lux
+++ b/stdlib/source/test/aedifex/runtime.lux
@@ -19,7 +19,7 @@
[\\program
["." /]])
-(def: #export random
+(def: .public random
(Random /.Runtime)
($_ random.either
(random\in /.default_java)
@@ -29,7 +29,7 @@
(random\in /.default_ruby)
))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Runtime])
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 9d5f719ed..925894d7b 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -59,10 +59,10 @@
## TODO: Get rid of this ASAP
(template: (!bundle body)
- (: Test
- (do random.monad
- [_ (in [])]
- body)))
+ [(: Test
+ (do random.monad
+ [_ (in [])]
+ body))])
(def: sub_tests
Test
@@ -580,7 +580,7 @@
(actual [expected_left expected_right])))))))
(/.template: (!n/+ <left> <right>)
- (n.+ <left> <right>))
+ [(n.+ <left> <right>)])
(def: for_template
Test
@@ -1091,6 +1091,16 @@
(for_meta|Module_State))
))
+(def: for_export
+ Test
+ ($_ _.and
+ (_.cover [/.public /.private]
+ (and /.public (not /.private)))
+ (_.cover [/.global /.local]
+ (and (bit\= /.public /.global)
+ (bit\= /.private /.local)))
+ ))
+
(def: test
Test
(<| (_.covering /._)
@@ -1117,6 +1127,7 @@
..for_def:
..for_import
..for_meta
+ ..for_export
..sub_tests
)))
diff --git a/stdlib/source/test/lux/abstract.lux b/stdlib/source/test/lux/abstract.lux
index e8368434b..cb41844eb 100644
--- a/stdlib/source/test/lux/abstract.lux
+++ b/stdlib/source/test/lux/abstract.lux
@@ -41,7 +41,7 @@
/comonad/cofree.test
))
-(def: #export test
+(def: .public test
Test
($_ _.and
/apply.test
diff --git a/stdlib/source/test/lux/abstract/apply.lux b/stdlib/source/test/lux/abstract/apply.lux
index 01fe8375f..7a940adb3 100644
--- a/stdlib/source/test/lux/abstract/apply.lux
+++ b/stdlib/source/test/lux/abstract/apply.lux
@@ -15,7 +15,7 @@
[\\library
["." / (#+ Apply)]])
-(def: #export test
+(def: .public test
Test
(do random.monad
[left random.nat
diff --git a/stdlib/source/test/lux/abstract/codec.lux b/stdlib/source/test/lux/abstract/codec.lux
index 00452c205..debc5c17c 100644
--- a/stdlib/source/test/lux/abstract/codec.lux
+++ b/stdlib/source/test/lux/abstract/codec.lux
@@ -33,7 +33,7 @@
(Codec Text Bit)
(/.compose json.codec ..json))
-(def: #export test
+(def: .public test
Test
(do random.monad
[expected random.bit]
diff --git a/stdlib/source/test/lux/abstract/comonad.lux b/stdlib/source/test/lux/abstract/comonad.lux
index eb50c0f53..431272d9f 100644
--- a/stdlib/source/test/lux/abstract/comonad.lux
+++ b/stdlib/source/test/lux/abstract/comonad.lux
@@ -13,7 +13,7 @@
[\\library
["." /]])
-(def: #export test
+(def: .public test
Test
(do random.monad
[sample random.nat]
diff --git a/stdlib/source/test/lux/abstract/comonad/cofree.lux b/stdlib/source/test/lux/abstract/comonad/cofree.lux
index ecb90c77c..531510a04 100644
--- a/stdlib/source/test/lux/abstract/comonad/cofree.lux
+++ b/stdlib/source/test/lux/abstract/comonad/cofree.lux
@@ -37,7 +37,7 @@
(sequence.take 100 (..interpret left))
(sequence.take 100 (..interpret right)))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.CoFree])
diff --git a/stdlib/source/test/lux/abstract/enum.lux b/stdlib/source/test/lux/abstract/enum.lux
index 7eb4149a1..8de8d659f 100644
--- a/stdlib/source/test/lux/abstract/enum.lux
+++ b/stdlib/source/test/lux/abstract/enum.lux
@@ -16,7 +16,7 @@
[\\library
["." /]])
-(def: #export test
+(def: .public test
Test
(let [limit (: (Random Nat)
(\ random.monad map (n.% 20) random.nat))]
diff --git a/stdlib/source/test/lux/abstract/equivalence.lux b/stdlib/source/test/lux/abstract/equivalence.lux
index bdf24150d..89fa542a1 100644
--- a/stdlib/source/test/lux/abstract/equivalence.lux
+++ b/stdlib/source/test/lux/abstract/equivalence.lux
@@ -17,7 +17,7 @@
[\\library
["." / (#+ Equivalence)]])
-(def: #export test
+(def: .public test
Test
(do random.monad
[leftN random.nat
diff --git a/stdlib/source/test/lux/abstract/fold.lux b/stdlib/source/test/lux/abstract/fold.lux
index a07a19870..1dbf9eec8 100644
--- a/stdlib/source/test/lux/abstract/fold.lux
+++ b/stdlib/source/test/lux/abstract/fold.lux
@@ -14,7 +14,7 @@
[\\library
["." / (#+ Fold)]])
-(def: #export test
+(def: .public test
Test
(do random.monad
[samples (random.list 10 random.nat)]
diff --git a/stdlib/source/test/lux/abstract/functor.lux b/stdlib/source/test/lux/abstract/functor.lux
index 63b0ad2d7..178f33273 100644
--- a/stdlib/source/test/lux/abstract/functor.lux
+++ b/stdlib/source/test/lux/abstract/functor.lux
@@ -15,7 +15,7 @@
[\\library
["." / (#+ Functor)]])
-(def: #export test
+(def: .public test
Test
(do random.monad
[left random.nat
diff --git a/stdlib/source/test/lux/abstract/functor/contravariant.lux b/stdlib/source/test/lux/abstract/functor/contravariant.lux
index 6a07cb0c5..26d7032a2 100644
--- a/stdlib/source/test/lux/abstract/functor/contravariant.lux
+++ b/stdlib/source/test/lux/abstract/functor/contravariant.lux
@@ -5,7 +5,7 @@
[\\library
["." /]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.in_parallel (list))))
diff --git a/stdlib/source/test/lux/abstract/hash.lux b/stdlib/source/test/lux/abstract/hash.lux
index eecb43227..4d5fa9eaf 100644
--- a/stdlib/source/test/lux/abstract/hash.lux
+++ b/stdlib/source/test/lux/abstract/hash.lux
@@ -18,7 +18,7 @@
[//
[equivalence (#+ Equivalence)]]]])
-(def: #export test
+(def: .public test
Test
(do random.monad
[leftN random.nat
diff --git a/stdlib/source/test/lux/abstract/interval.lux b/stdlib/source/test/lux/abstract/interval.lux
index 40c78df27..2b588f309 100644
--- a/stdlib/source/test/lux/abstract/interval.lux
+++ b/stdlib/source/test/lux/abstract/interval.lux
@@ -21,7 +21,7 @@
["." / (#+ Interval) ("\." equivalence)]])
(template [<name> <cmp>]
- [(def: #export <name>
+ [(def: .public <name>
(Random (Interval Nat))
(do random.monad
[bottom random.nat
@@ -35,13 +35,13 @@
[outer n.>]
)
-(def: #export singleton
+(def: .public singleton
(Random (Interval Nat))
(do random.monad
[point random.nat]
(in (/.singleton n.enum point))))
-(def: #export interval
+(def: .public interval
(Random (Interval Nat))
($_ random.either
..inner
@@ -244,7 +244,7 @@
(/.overlaps? outer right_inner))))
)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
($_ _.and
diff --git a/stdlib/source/test/lux/abstract/monad.lux b/stdlib/source/test/lux/abstract/monad.lux
index 02264e013..0fc605a0c 100644
--- a/stdlib/source/test/lux/abstract/monad.lux
+++ b/stdlib/source/test/lux/abstract/monad.lux
@@ -13,7 +13,7 @@
[\\library
["." / (#+ Monad do)]])
-(def: #export test
+(def: .public test
Test
(do random.monad
[mono random.nat
diff --git a/stdlib/source/test/lux/abstract/monad/free.lux b/stdlib/source/test/lux/abstract/monad/free.lux
index 2a5a562f2..ee696a14b 100644
--- a/stdlib/source/test/lux/abstract/monad/free.lux
+++ b/stdlib/source/test/lux/abstract/monad/free.lux
@@ -40,7 +40,7 @@
(..interpret left)
(..interpret right))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Free])
diff --git a/stdlib/source/test/lux/abstract/monoid.lux b/stdlib/source/test/lux/abstract/monoid.lux
index 876ac1f46..98c33068a 100644
--- a/stdlib/source/test/lux/abstract/monoid.lux
+++ b/stdlib/source/test/lux/abstract/monoid.lux
@@ -14,7 +14,7 @@
[//
[equivalence (#+ Equivalence)]]]])
-(def: #export test
+(def: .public test
Test
(do random.monad
[natL random.nat
diff --git a/stdlib/source/test/lux/abstract/order.lux b/stdlib/source/test/lux/abstract/order.lux
index 1f84914f3..564b731e8 100644
--- a/stdlib/source/test/lux/abstract/order.lux
+++ b/stdlib/source/test/lux/abstract/order.lux
@@ -18,7 +18,7 @@
[//
[equivalence (#+ Equivalence)]]]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do random.monad
diff --git a/stdlib/source/test/lux/abstract/predicate.lux b/stdlib/source/test/lux/abstract/predicate.lux
index f0c7ffbbd..b3521ca3c 100644
--- a/stdlib/source/test/lux/abstract/predicate.lux
+++ b/stdlib/source/test/lux/abstract/predicate.lux
@@ -28,7 +28,7 @@
0 (function.constant false)
_ (|>> (n.% factor) (n.= 0))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/lux/control.lux b/stdlib/source/test/lux/control.lux
index a4bb2c5f2..4ac09ca39 100644
--- a/stdlib/source/test/lux/control.lux
+++ b/stdlib/source/test/lux/control.lux
@@ -48,7 +48,7 @@
/capability.test
))
-(def: #export test
+(def: .public test
Test
($_ _.and
/concatenative.test
diff --git a/stdlib/source/test/lux/control/concatenative.lux b/stdlib/source/test/lux/control/concatenative.lux
index 4f2774e2b..deb5601a7 100644
--- a/stdlib/source/test/lux/control/concatenative.lux
+++ b/stdlib/source/test/lux/control/concatenative.lux
@@ -93,30 +93,30 @@
))))
(template: (!numerical <=> <generator> <only> <arithmetic> <order>)
- (: Test
- (with_expansions [<arithmetic>' (template.spliced <arithmetic>)
- <order>' (template.spliced <order>)]
- (do random.monad
- [parameter (|> <generator> (random.only <only>))
- subject <generator>]
- (`` ($_ _.and
- (~~ (template [<concatenative> <functional>]
- [(_.cover [<concatenative>]
- (<=> (<functional> parameter subject)
- (||> (/.push subject)
- (/.push parameter)
- <concatenative>)))]
+ [(: Test
+ (with_expansions [<arithmetic>' (template.spliced <arithmetic>)
+ <order>' (template.spliced <order>)]
+ (do random.monad
+ [parameter (|> <generator> (random.only <only>))
+ subject <generator>]
+ (`` ($_ _.and
+ (~~ (template [<concatenative> <functional>]
+ [(_.cover [<concatenative>]
+ (<=> (<functional> parameter subject)
+ (||> (/.push subject)
+ (/.push parameter)
+ <concatenative>)))]
- <arithmetic>'))
- (~~ (template [<concatenative> <functional>]
- [(_.cover [<concatenative>]
- (bit\= (<functional> parameter subject)
- (||> (/.push subject)
- (/.push parameter)
- <concatenative>)))]
+ <arithmetic>'))
+ (~~ (template [<concatenative> <functional>]
+ [(_.cover [<concatenative>]
+ (bit\= (<functional> parameter subject)
+ (||> (/.push subject)
+ (/.push parameter)
+ <concatenative>)))]
- <order>'))
- ))))))
+ <order>'))
+ )))))])
(def: numerical
Test
@@ -306,7 +306,7 @@
(||> (/.push sample)
..square)))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
($_ _.and
diff --git a/stdlib/source/test/lux/control/concurrency/actor.lux b/stdlib/source/test/lux/control/concurrency/actor.lux
index 95566db38..618271a6e 100644
--- a/stdlib/source/test/lux/control/concurrency/actor.lux
+++ b/stdlib/source/test/lux/control/concurrency/actor.lux
@@ -28,6 +28,8 @@
(exception: got_wrecked)
(actor: counter
+ {}
+
Nat
((on_mail message state self)
@@ -45,7 +47,7 @@
(#try.Success _) true
(#try.Failure _) false))
-(def: #export test
+(def: .public test
Test
(do {! random.monad}
[initial_state random.nat
diff --git a/stdlib/source/test/lux/control/concurrency/async.lux b/stdlib/source/test/lux/control/concurrency/async.lux
index 063d3a9e0..b16aa0bf2 100644
--- a/stdlib/source/test/lux/control/concurrency/async.lux
+++ b/stdlib/source/test/lux/control/concurrency/async.lux
@@ -50,7 +50,7 @@
(i64.left_shifted 4 1)}
(i64.left_shifted 3 1)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/lux/control/concurrency/atom.lux b/stdlib/source/test/lux/control/concurrency/atom.lux
index 49947d2d6..aec2d56d9 100644
--- a/stdlib/source/test/lux/control/concurrency/atom.lux
+++ b/stdlib/source/test/lux/control/concurrency/atom.lux
@@ -13,7 +13,7 @@
[\\library
["." /]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
($_ _.and
diff --git a/stdlib/source/test/lux/control/concurrency/frp.lux b/stdlib/source/test/lux/control/concurrency/frp.lux
index f4705f140..ecb6d7c93 100644
--- a/stdlib/source/test/lux/control/concurrency/frp.lux
+++ b/stdlib/source/test/lux/control/concurrency/frp.lux
@@ -62,7 +62,7 @@
(\ ! map (|>> (#.Item head))
(take_amount (dec amount_of_polls) [channel sink]))))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(let [(^open "list\.") (list.equivalence n.equivalence)]
diff --git a/stdlib/source/test/lux/control/concurrency/semaphore.lux b/stdlib/source/test/lux/control/concurrency/semaphore.lux
index 60bd31050..33c5e1da1 100644
--- a/stdlib/source/test/lux/control/concurrency/semaphore.lux
+++ b/stdlib/source/test/lux/control/concurrency/semaphore.lux
@@ -177,7 +177,7 @@
expected_ids))))))
)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
($_ _.and
diff --git a/stdlib/source/test/lux/control/concurrency/stm.lux b/stdlib/source/test/lux/control/concurrency/stm.lux
index 62d912f66..79880064e 100644
--- a/stdlib/source/test/lux/control/concurrency/stm.lux
+++ b/stdlib/source/test/lux/control/concurrency/stm.lux
@@ -35,7 +35,7 @@
(== (product.right (left (list)))
(product.right (right (list))))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/lux/control/concurrency/thread.lux b/stdlib/source/test/lux/control/concurrency/thread.lux
index 28d751292..182a05908 100644
--- a/stdlib/source/test/lux/control/concurrency/thread.lux
+++ b/stdlib/source/test/lux/control/concurrency/thread.lux
@@ -20,7 +20,7 @@
["." atom (#+ Atom)]
["." async]]]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/lux/control/continuation.lux b/stdlib/source/test/lux/control/continuation.lux
index 1e960d947..6635d84b6 100644
--- a/stdlib/source/test/lux/control/continuation.lux
+++ b/stdlib/source/test/lux/control/continuation.lux
@@ -27,7 +27,7 @@
(function (_ == left right)
(== (/.run left) (/.run right))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do random.monad
diff --git a/stdlib/source/test/lux/control/exception.lux b/stdlib/source/test/lux/control/exception.lux
index b0a957c21..13bde092b 100644
--- a/stdlib/source/test/lux/control/exception.lux
+++ b/stdlib/source/test/lux/control/exception.lux
@@ -23,7 +23,7 @@
(exception: (custom_exception {value Nat})
(/.report [label (%.nat value)]))
-(def: #export test
+(def: .public test
Test
(do {! random.monad}
[expected random.nat
diff --git a/stdlib/source/test/lux/control/function.lux b/stdlib/source/test/lux/control/function.lux
index def4945cb..b65995923 100644
--- a/stdlib/source/test/lux/control/function.lux
+++ b/stdlib/source/test/lux/control/function.lux
@@ -21,7 +21,7 @@
["#." mixin]
["#." mutual]])
-(def: #export test
+(def: .public test
Test
(do {! random.monad}
[expected random.nat
diff --git a/stdlib/source/test/lux/control/function/contract.lux b/stdlib/source/test/lux/control/function/contract.lux
index 81840fd08..436ba2282 100644
--- a/stdlib/source/test/lux/control/function/contract.lux
+++ b/stdlib/source/test/lux/control/function/contract.lux
@@ -13,7 +13,7 @@
[\\library
["." /]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/lux/control/function/memo.lux b/stdlib/source/test/lux/control/function/memo.lux
index d6765a1f1..11e1b876c 100644
--- a/stdlib/source/test/lux/control/function/memo.lux
+++ b/stdlib/source/test/lux/control/function/memo.lux
@@ -54,7 +54,7 @@
Nat
(i64.left_shifted 4 1))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/lux/control/function/mixin.lux b/stdlib/source/test/lux/control/function/mixin.lux
index 3d8299929..5cd283eaa 100644
--- a/stdlib/source/test/lux/control/function/mixin.lux
+++ b/stdlib/source/test/lux/control/function/mixin.lux
@@ -21,7 +21,7 @@
[\\library
["." /]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/lux/control/function/mutual.lux b/stdlib/source/test/lux/control/function/mutual.lux
index 71248a1ee..5aeb9be71 100644
--- a/stdlib/source/test/lux/control/function/mutual.lux
+++ b/stdlib/source/test/lux/control/function/mutual.lux
@@ -57,7 +57,7 @@
(and (bit\= expected (..even? sample))
(bit\= (not expected) (..odd? sample))))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
($_ _.and
diff --git a/stdlib/source/test/lux/control/io.lux b/stdlib/source/test/lux/control/io.lux
index 05642a19f..43d891a61 100644
--- a/stdlib/source/test/lux/control/io.lux
+++ b/stdlib/source/test/lux/control/io.lux
@@ -26,7 +26,7 @@
(function (_ == left right)
(== (/.run left) (/.run right))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.IO])
diff --git a/stdlib/source/test/lux/control/parser.lux b/stdlib/source/test/lux/control/parser.lux
index c222cee77..7b183db51 100644
--- a/stdlib/source/test/lux/control/parser.lux
+++ b/stdlib/source/test/lux/control/parser.lux
@@ -343,7 +343,7 @@
_
false)))
-(def: #export test
+(def: .public test
Test
(do random.monad
[expected random.nat
diff --git a/stdlib/source/test/lux/control/parser/analysis.lux b/stdlib/source/test/lux/control/parser/analysis.lux
index b16045572..8b7f6405f 100644
--- a/stdlib/source/test/lux/control/parser/analysis.lux
+++ b/stdlib/source/test/lux/control/parser/analysis.lux
@@ -33,19 +33,19 @@
["." /]])
(template: (!expect <expectation> <computation>)
- (case <computation>
- <expectation>
- true
+ [(case <computation>
+ <expectation>
+ true
- _
- false))
+ _
+ false)])
(def: constant
(Random Constant)
(random.and (random.unicode 10)
(random.unicode 10)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Parser])
diff --git a/stdlib/source/test/lux/control/parser/binary.lux b/stdlib/source/test/lux/control/parser/binary.lux
index c494562bc..bbba888a7 100644
--- a/stdlib/source/test/lux/control/parser/binary.lux
+++ b/stdlib/source/test/lux/control/parser/binary.lux
@@ -42,12 +42,12 @@
["." /]])
(template: (!expect <expectation> <computation>)
- (case <computation>
- <expectation>
- true
+ [(case <computation>
+ <expectation>
+ true
- _
- false))
+ _
+ false)])
(def: segment_size 10)
@@ -318,7 +318,7 @@
actual))))))
)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Parser])
diff --git a/stdlib/source/test/lux/control/parser/cli.lux b/stdlib/source/test/lux/control/parser/cli.lux
index 4f8d6d08f..33476e15a 100644
--- a/stdlib/source/test/lux/control/parser/cli.lux
+++ b/stdlib/source/test/lux/control/parser/cli.lux
@@ -19,14 +19,14 @@
["." /]])
(template: (!expect <pattern> <value>)
- (case <value>
- <pattern>
- true
-
- _
- false))
+ [(case <value>
+ <pattern>
+ true
+
+ _
+ false)])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Parser])
diff --git a/stdlib/source/test/lux/control/parser/code.lux b/stdlib/source/test/lux/control/parser/code.lux
index a9adeb507..d2168122a 100644
--- a/stdlib/source/test/lux/control/parser/code.lux
+++ b/stdlib/source/test/lux/control/parser/code.lux
@@ -27,19 +27,19 @@
["." /]])
(template: (!expect <pattern> <value>)
- (case <value>
- <pattern>
- true
-
- _
- false))
+ [(case <value>
+ <pattern>
+ true
+
+ _
+ false)])
(def: random_name
(Random Name)
(random.and (random.unicode 1)
(random.unicode 1)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Parser])
diff --git a/stdlib/source/test/lux/control/parser/environment.lux b/stdlib/source/test/lux/control/parser/environment.lux
index 756fa38be..215213e59 100644
--- a/stdlib/source/test/lux/control/parser/environment.lux
+++ b/stdlib/source/test/lux/control/parser/environment.lux
@@ -19,7 +19,7 @@
["." /
["/#" // ("#\." monad)]]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Environment /.Parser])
diff --git a/stdlib/source/test/lux/control/parser/json.lux b/stdlib/source/test/lux/control/parser/json.lux
index e3a7189df..3a77b3c3e 100644
--- a/stdlib/source/test/lux/control/parser/json.lux
+++ b/stdlib/source/test/lux/control/parser/json.lux
@@ -29,18 +29,18 @@
["." /]])
(template: (!expect <pattern> <value>)
- (case <value>
- <pattern>
- true
-
- _
- false))
+ [(case <value>
+ <pattern>
+ true
+
+ _
+ false)])
(def: safe_frac
(Random Frac)
(random.only (|>> frac.not_a_number? not) random.frac))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Parser])
diff --git a/stdlib/source/test/lux/control/parser/synthesis.lux b/stdlib/source/test/lux/control/parser/synthesis.lux
index cd617ff8d..753091e27 100644
--- a/stdlib/source/test/lux/control/parser/synthesis.lux
+++ b/stdlib/source/test/lux/control/parser/synthesis.lux
@@ -33,12 +33,12 @@
["." /]])
(template: (!expect <pattern> <value>)
- (case <value>
- <pattern>
- true
-
- _
- false))
+ [(case <value>
+ <pattern>
+ true
+
+ _
+ false)])
(def: random_constant
(Random Name)
@@ -158,7 +158,7 @@
(exception.match? /.cannot_parse error)))))))
))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Parser])
diff --git a/stdlib/source/test/lux/control/parser/text.lux b/stdlib/source/test/lux/control/parser/text.lux
index 97c76f0f5..878b82fa9 100644
--- a/stdlib/source/test/lux/control/parser/text.lux
+++ b/stdlib/source/test/lux/control/parser/text.lux
@@ -32,12 +32,12 @@
["<c>" code]]]])
(template: (!expect <pattern> <value>)
- (case <value>
- <pattern>
- true
-
- _
- false))
+ [(case <value>
+ <pattern>
+ true
+
+ _
+ false)])
(def: (should_fail' sample parser exception)
(All [a e] (-> Text (/.Parser a) (Exception e) Bit))
@@ -291,7 +291,7 @@
(..should_fail (format first) (/.between! 2 1 octal!)))))
)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Parser])
diff --git a/stdlib/source/test/lux/control/parser/tree.lux b/stdlib/source/test/lux/control/parser/tree.lux
index 25f6c350c..0d1cc090e 100644
--- a/stdlib/source/test/lux/control/parser/tree.lux
+++ b/stdlib/source/test/lux/control/parser/tree.lux
@@ -20,36 +20,36 @@
["/#" //]]])
(template: (!expect <pattern> <value>)
- (case <value>
- <pattern>
- true
-
- _
- false))
+ [(case <value>
+ <pattern>
+ true
+
+ _
+ false)])
(template: (!cover <coverage> <parser> <sample>)
- (do {! random.monad}
- [dummy random.nat
- expected (|> random.nat (random.only (|>> (n.= dummy) not)))]
- (_.cover <coverage>
- (|> (/.run <parser>
- <sample>)
- (!expect (^multi (#try.Success actual)
- (n.= expected actual)))))))
+ [(do {! random.monad}
+ [dummy random.nat
+ expected (|> random.nat (random.only (|>> (n.= dummy) not)))]
+ (_.cover <coverage>
+ (|> (/.run <parser>
+ <sample>)
+ (!expect (^multi (#try.Success actual)
+ (n.= expected actual))))))])
(template: (!cover/2 <coverage> <parser> <sample0> <sample1>)
- (do {! random.monad}
- [dummy random.nat
- expected (|> random.nat (random.only (|>> (n.= dummy) not)))]
- (_.cover <coverage>
- (and (|> (/.run <parser> <sample0>)
- (!expect (^multi (#try.Success actual)
- (n.= expected actual))))
- (|> (/.run <parser> <sample1>)
- (!expect (^multi (#try.Success actual)
- (n.= expected actual))))))))
+ [(do {! random.monad}
+ [dummy random.nat
+ expected (|> random.nat (random.only (|>> (n.= dummy) not)))]
+ (_.cover <coverage>
+ (and (|> (/.run <parser> <sample0>)
+ (!expect (^multi (#try.Success actual)
+ (n.= expected actual))))
+ (|> (/.run <parser> <sample1>)
+ (!expect (^multi (#try.Success actual)
+ (n.= expected actual)))))))])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Parser])
diff --git a/stdlib/source/test/lux/control/parser/type.lux b/stdlib/source/test/lux/control/parser/type.lux
index c4c1ed0fa..971ccd5db 100644
--- a/stdlib/source/test/lux/control/parser/type.lux
+++ b/stdlib/source/test/lux/control/parser/type.lux
@@ -21,12 +21,12 @@
["/#" //]]])
(template: (!expect <pattern> <value>)
- (case <value>
- <pattern>
- true
-
- _
- false))
+ [(case <value>
+ <pattern>
+ true
+
+ _
+ false)])
(def: primitive
(Random Type)
@@ -185,7 +185,7 @@
(is? not_polymorphic bodyT))))))
)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Parser])
diff --git a/stdlib/source/test/lux/control/parser/xml.lux b/stdlib/source/test/lux/control/parser/xml.lux
index ac3432fee..6269cafd5 100644
--- a/stdlib/source/test/lux/control/parser/xml.lux
+++ b/stdlib/source/test/lux/control/parser/xml.lux
@@ -27,24 +27,24 @@
["/#" // ("#\." monad)]]])
(template: (!expect <pattern> <value>)
- (case <value>
- <pattern>
- true
-
- _
- false))
+ [(case <value>
+ <pattern>
+ true
+
+ _
+ false)])
(template: (!failure <exception> <cases>)
- (with_expansions [<<cases>> (template.spliced <cases>)]
- (do {! random.monad}
- [expected (random.ascii/alpha 1)]
- (_.cover [<exception>]
- (`` (and (~~ (template [<parser> <input>]
- [(|> (/.run <parser> (list <input>))
- (!expect (^multi (#try.Failure error)
- (exception.match? <exception> error))))]
+ [(with_expansions [<<cases>> (template.spliced <cases>)]
+ (do {! random.monad}
+ [expected (random.ascii/alpha 1)]
+ (_.cover [<exception>]
+ (`` (and (~~ (template [<parser> <input>]
+ [(|> (/.run <parser> (list <input>))
+ (!expect (^multi (#try.Failure error)
+ (exception.match? <exception> error))))]
- <<cases>>))))))))
+ <<cases>>)))))))])
(def: random_label
(Random Name)
@@ -54,7 +54,7 @@
(def: random_tag ..random_label)
(def: random_attribute ..random_label)
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Parser])
diff --git a/stdlib/source/test/lux/control/pipe.lux b/stdlib/source/test/lux/control/pipe.lux
index e38fafba4..27e92a7e0 100644
--- a/stdlib/source/test/lux/control/pipe.lux
+++ b/stdlib/source/test/lux/control/pipe.lux
@@ -16,7 +16,7 @@
[\\library
["." /]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/lux/control/reader.lux b/stdlib/source/test/lux/control/reader.lux
index 833399ba7..08d5d82b2 100644
--- a/stdlib/source/test/lux/control/reader.lux
+++ b/stdlib/source/test/lux/control/reader.lux
@@ -27,7 +27,7 @@
(function (_ == left right)
(== (/.run [] left) (/.run [] right))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Reader])
diff --git a/stdlib/source/test/lux/control/region.lux b/stdlib/source/test/lux/control/region.lux
index 3e2bc2610..477f42a47 100644
--- a/stdlib/source/test/lux/control/region.lux
+++ b/stdlib/source/test/lux/control/region.lux
@@ -76,7 +76,7 @@
_
false)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Region])
diff --git a/stdlib/source/test/lux/control/remember.lux b/stdlib/source/test/lux/control/remember.lux
index 098ecaa28..24e483420 100644
--- a/stdlib/source/test/lux/control/remember.lux
+++ b/stdlib/source/test/lux/control/remember.lux
@@ -104,7 +104,7 @@
false)
)))))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do random.monad
diff --git a/stdlib/source/test/lux/control/security/capability.lux b/stdlib/source/test/lux/control/security/capability.lux
index 6e2e5cd77..8c0a42952 100644
--- a/stdlib/source/test/lux/control/security/capability.lux
+++ b/stdlib/source/test/lux/control/security/capability.lux
@@ -21,7 +21,7 @@
(/.capability: Can_IO
(can_io [] (IO Nat)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do random.monad
diff --git a/stdlib/source/test/lux/control/security/policy.lux b/stdlib/source/test/lux/control/security/policy.lux
index e1cae710a..5c2f1bf67 100644
--- a/stdlib/source/test/lux/control/security/policy.lux
+++ b/stdlib/source/test/lux/control/security/policy.lux
@@ -66,7 +66,7 @@
(def: privilege
privilege))))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Policy
diff --git a/stdlib/source/test/lux/control/state.lux b/stdlib/source/test/lux/control/state.lux
index 6c4bf6dc7..d7555e7aa 100644
--- a/stdlib/source/test/lux/control/state.lux
+++ b/stdlib/source/test/lux/control/state.lux
@@ -121,7 +121,7 @@
(n.= (n.+ left right) output')))))
)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
($_ _.and
diff --git a/stdlib/source/test/lux/control/thread.lux b/stdlib/source/test/lux/control/thread.lux
index b7af2183f..e396a613f 100644
--- a/stdlib/source/test/lux/control/thread.lux
+++ b/stdlib/source/test/lux/control/thread.lux
@@ -26,7 +26,7 @@
(function (_ == left right)
(== (/.run left) (/.run right))))
-(def: #export test
+(def: .public test
Test
(do random.monad
[sample random.nat
diff --git a/stdlib/source/test/lux/control/try.lux b/stdlib/source/test/lux/control/try.lux
index 7715dc434..0e2fa479e 100644
--- a/stdlib/source/test/lux/control/try.lux
+++ b/stdlib/source/test/lux/control/try.lux
@@ -30,13 +30,13 @@
(function (_ ==)
(\ (/.equivalence ==) =)))
-(def: #export (attempt element)
+(def: .public (attempt element)
(All [a] (-> (Random a) (Random (Try a))))
($_ random.or
(random.unicode 1)
element))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Try])
diff --git a/stdlib/source/test/lux/control/writer.lux b/stdlib/source/test/lux/control/writer.lux
index ddf6ecc00..de65f2d47 100644
--- a/stdlib/source/test/lux/control/writer.lux
+++ b/stdlib/source/test/lux/control/writer.lux
@@ -31,7 +31,7 @@
(function (_ == [_ left] [_ right])
(== left right)))
-(def: #export test
+(def: .public test
Test
(do random.monad
[log (random.ascii 1)
diff --git a/stdlib/source/test/lux/data.lux b/stdlib/source/test/lux/data.lux
index 8f07c3ad5..d350cabf9 100644
--- a/stdlib/source/test/lux/data.lux
+++ b/stdlib/source/test/lux/data.lux
@@ -27,10 +27,10 @@
## TODO: Get rid of this ASAP
(template: (!bundle body)
- (: Test
- (do random.monad
- [_ (in [])]
- body)))
+ [(: Test
+ (do random.monad
+ [_ (in [])]
+ body))])
(def: format
Test
@@ -64,7 +64,7 @@
/sum.test
/text.test))
-(def: #export test
+(def: .public test
Test
## TODO: Inline ASAP
($_ _.and
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux
index 7b5f5fab0..3326d0055 100644
--- a/stdlib/source/test/lux/data/binary.lux
+++ b/stdlib/source/test/lux/data/binary.lux
@@ -31,7 +31,7 @@
(#try.Success output)
output))
-(def: #export (random size)
+(def: .public (random size)
(-> Nat (Random Binary))
(let [output (/.create size)]
(loop [idx 0]
@@ -75,7 +75,7 @@
(#.Item head tail))
(list)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/lux/data/bit.lux b/stdlib/source/test/lux/data/bit.lux
index bffa5b808..58fe69ca7 100644
--- a/stdlib/source/test/lux/data/bit.lux
+++ b/stdlib/source/test/lux/data/bit.lux
@@ -16,7 +16,7 @@
[\\library
["." /]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do random.monad
diff --git a/stdlib/source/test/lux/data/collection.lux b/stdlib/source/test/lux/data/collection.lux
index b30d8181f..0c1e1932f 100644
--- a/stdlib/source/test/lux/data/collection.lux
+++ b/stdlib/source/test/lux/data/collection.lux
@@ -52,7 +52,7 @@
/tree/zipper.test
))
-(def: #export test
+(def: .public test
Test
($_ _.and
/array.test
diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux
index dc8527fdc..9925fccec 100644
--- a/stdlib/source/test/lux/data/collection/array.lux
+++ b/stdlib/source/test/lux/data/collection/array.lux
@@ -88,7 +88,7 @@
(/.any? n.even? the_array)))
)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Array])
diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux
index 402f52379..da4a759e5 100644
--- a/stdlib/source/test/lux/data/collection/bits.lux
+++ b/stdlib/source/test/lux/data/collection/bits.lux
@@ -19,7 +19,7 @@
(|> random.nat
(\ random.monad map (|>> (n.% (inc max)) (n.max min)))))
-(def: #export random
+(def: .public random
(Random Bits)
(do {! random.monad}
[size (\ ! map (n.% 1,000) random.nat)]
@@ -29,7 +29,7 @@
[idx (|> random.nat (\ ! map (n.% size)))]
(in (/.set idx /.empty))))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Bits])
diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux
index fe04241a1..aafa848b4 100644
--- a/stdlib/source/test/lux/data/collection/dictionary.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary.lux
@@ -248,7 +248,7 @@
(maybe.assume (/.get non_key rebound)))))))
)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Dictionary])
diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
index fb57cd70e..13971ad88 100644
--- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
@@ -22,7 +22,7 @@
[\\library
["." /]])
-(def: #export (dictionary order gen_key gen_value size)
+(def: .public (dictionary order gen_key gen_value size)
(All [k v]
(-> (Order k) (Random k) (Random v) Nat (Random (/.Dictionary k v))))
(case size
@@ -37,7 +37,7 @@
value gen_value]
(in (/.put key value partial)))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Dictionary])
diff --git a/stdlib/source/test/lux/data/collection/dictionary/plist.lux b/stdlib/source/test/lux/data/collection/dictionary/plist.lux
index 316d7c7ce..fdbcccc06 100644
--- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux
@@ -20,7 +20,7 @@
[\\library
["." /]])
-(def: #export (random size gen_key gen_value)
+(def: .public (random size gen_key gen_value)
(All [v]
(-> Nat (Random Text) (Random v) (Random (/.PList v))))
(do random.monad
@@ -28,7 +28,7 @@
values (random.list size gen_value)]
(in (list.zipped/2 (set.list keys) values))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.PList])
diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux
index a0c6fc685..ee6b9e7cb 100644
--- a/stdlib/source/test/lux/data/collection/list.lux
+++ b/stdlib/source/test/lux/data/collection/list.lux
@@ -389,7 +389,7 @@
(not (/.any? n.even? sample))))
))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [.List])
diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux
index 36f6ef9a4..33ec7d9ba 100644
--- a/stdlib/source/test/lux/data/collection/queue.lux
+++ b/stdlib/source/test/lux/data/collection/queue.lux
@@ -23,7 +23,7 @@
(Injection /.Queue)
(|>> list /.of_list))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Queue])
diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux
index 07eff44ac..42ec9677e 100644
--- a/stdlib/source/test/lux/data/collection/queue/priority.lux
+++ b/stdlib/source/test/lux/data/collection/queue/priority.lux
@@ -14,7 +14,7 @@
[\\library
["." / (#+ Queue)]])
-(def: #export (random size)
+(def: .public (random size)
(-> Nat (Random (Queue Nat)))
(do {! random.monad}
[inputs (random.list size random.nat)]
@@ -25,7 +25,7 @@
/.empty
inputs)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Queue])
diff --git a/stdlib/source/test/lux/data/collection/row.lux b/stdlib/source/test/lux/data/collection/row.lux
index 343442e91..c57711e8e 100644
--- a/stdlib/source/test/lux/data/collection/row.lux
+++ b/stdlib/source/test/lux/data/collection/row.lux
@@ -129,7 +129,7 @@
))
)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Row])
diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux
index a5ba1f1bc..c94b19ac6 100644
--- a/stdlib/source/test/lux/data/collection/sequence.lux
+++ b/stdlib/source/test/lux/data/collection/sequence.lux
@@ -29,7 +29,7 @@
(/.take 100 reference)
(/.take 100 subject))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Sequence])
diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux
index df0c653b9..18e0a03f0 100644
--- a/stdlib/source/test/lux/data/collection/set.lux
+++ b/stdlib/source/test/lux/data/collection/set.lux
@@ -25,7 +25,7 @@
(\ random.monad map (n.% 100)
random.nat))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Set])
diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux
index 37645cbed..888ea2623 100644
--- a/stdlib/source/test/lux/data/collection/set/multi.lux
+++ b/stdlib/source/test/lux/data/collection/set/multi.lux
@@ -25,7 +25,7 @@
(Random Nat)
(\ random.monad map (|>> (n.% 10) inc) random.nat))
-(def: #export (random size hash count element)
+(def: .public (random size hash count element)
(All [a] (-> Nat (Hash a) (Random Nat) (Random a) (Random (/.Set a))))
(do {! random.monad}
[elements (random.set hash size element)
@@ -108,7 +108,7 @@
common_changes!)))
))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Set])
diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux
index 620a63289..260d6ee39 100644
--- a/stdlib/source/test/lux/data/collection/set/ordered.lux
+++ b/stdlib/source/test/lux/data/collection/set/ordered.lux
@@ -23,7 +23,7 @@
(random.Random Nat)
(\ random.monad map (n.% 100) random.nat))
-(def: #export (random size &order gen_value)
+(def: .public (random size &order gen_value)
(All [a] (-> Nat (Order a) (Random a) (Random (Set a))))
(case size
0
@@ -36,7 +36,7 @@
gen_value)]
(in (/.add value partial)))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Set])
diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux
index 6340c6fbd..082609904 100644
--- a/stdlib/source/test/lux/data/collection/stack.lux
+++ b/stdlib/source/test/lux/data/collection/stack.lux
@@ -21,7 +21,7 @@
(Injection /.Stack)
(/.push value /.empty))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Stack])
diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux
index ea58f8f72..986ef566e 100644
--- a/stdlib/source/test/lux/data/collection/tree.lux
+++ b/stdlib/source/test/lux/data/collection/tree.lux
@@ -19,7 +19,7 @@
[\\library
["." / (#+ Tree)]])
-(def: #export (tree gen_value)
+(def: .public (tree gen_value)
(All [a] (-> (Random a) (Random [Nat (Tree a)])))
(do {! random.monad}
[value gen_value
@@ -31,7 +31,7 @@
{#/.value value
#/.children (list\map product.right children)}])))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Tree])
diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux
index be46b8249..79140887d 100644
--- a/stdlib/source/test/lux/data/collection/tree/finger.lux
+++ b/stdlib/source/test/lux/data/collection/tree/finger.lux
@@ -27,7 +27,7 @@
@))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Tree])
diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux
index 756318c0b..60c18d514 100644
--- a/stdlib/source/test/lux/data/collection/tree/zipper.lux
+++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux
@@ -151,7 +151,7 @@
(maybe.else false))))
)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Zipper])
diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux
index 990eb6aea..a4fc0911e 100644
--- a/stdlib/source/test/lux/data/color.lux
+++ b/stdlib/source/test/lux/data/color.lux
@@ -23,7 +23,7 @@
[\\library
["." /]])
-(def: #export random
+(def: .public random
(Random /.Color)
(|> ($_ random.and random.nat random.nat random.nat)
(\ random.monad map /.of_rgb)))
@@ -176,7 +176,7 @@
[/.tetradic]))
)))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Color])
diff --git a/stdlib/source/test/lux/data/color/named.lux b/stdlib/source/test/lux/data/color/named.lux
index 11c699932..7f8c959b9 100644
--- a/stdlib/source/test/lux/data/color/named.lux
+++ b/stdlib/source/test/lux/data/color/named.lux
@@ -224,7 +224,7 @@
<colors>)
- (def: #export test
+ (def: .public test
Test
(<| (_.covering /._)
(`` ($_ _.and
diff --git a/stdlib/source/test/lux/data/format/binary.lux b/stdlib/source/test/lux/data/format/binary.lux
index 547f90f63..107d95714 100644
--- a/stdlib/source/test/lux/data/format/binary.lux
+++ b/stdlib/source/test/lux/data/format/binary.lux
@@ -25,7 +25,7 @@
(Random /.Specification)
(\ random.monad map /.nat random.nat))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Mutation /.Specification /.Writer])
diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux
index 1c4469df2..6ff253a73 100644
--- a/stdlib/source/test/lux/data/format/json.lux
+++ b/stdlib/source/test/lux/data/format/json.lux
@@ -31,7 +31,7 @@
[\\library
["." / (#+ JSON) ("\." equivalence)]])
-(def: #export random
+(def: .public random
(Random /.JSON)
(random.rec
(function (_ recur)
@@ -61,7 +61,7 @@
[value (macro.gensym "string")]
(in (list (code.text (%.code value))))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.JSON])
diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux
index 34618433b..4ccec923b 100644
--- a/stdlib/source/test/lux/data/format/tar.lux
+++ b/stdlib/source/test/lux/data/format/tar.lux
@@ -391,7 +391,7 @@
(try.else false)))
))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Tar])
diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux
index 1fec8a797..3ec5618a3 100644
--- a/stdlib/source/test/lux/data/format/xml.lux
+++ b/stdlib/source/test/lux/data/format/xml.lux
@@ -55,7 +55,7 @@
(random.and (..text 0 10)
(..text 1 10)))
-(def: #export random
+(def: .public random
(Random XML)
(random.rec (function (_ random)
(random.or (..text 1 10)
@@ -66,7 +66,7 @@
(random.dictionary name.hash size ..identifier (..text 0 10))
(random.list size random)))))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.XML])
diff --git a/stdlib/source/test/lux/data/identity.lux b/stdlib/source/test/lux/data/identity.lux
index 030d441b1..f9a4e3a76 100644
--- a/stdlib/source/test/lux/data/identity.lux
+++ b/stdlib/source/test/lux/data/identity.lux
@@ -21,7 +21,7 @@
(function (_ ==)
==))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Identity])
diff --git a/stdlib/source/test/lux/data/lazy.lux b/stdlib/source/test/lux/data/lazy.lux
index c30fd3692..c9de9cb25 100644
--- a/stdlib/source/test/lux/data/lazy.lux
+++ b/stdlib/source/test/lux/data/lazy.lux
@@ -27,11 +27,11 @@
(function (_ ==)
(\ (/.equivalence ==) =)))
-(def: #export lazy
+(def: .public lazy
(All [a] (-> (Random a) (Random (Lazy a))))
(\ random.functor map (|>> /.lazy)))
-(def: #export test
+(def: .public test
Test
(with_expansions [<eager> (: [Nat Nat]
[(n.+ left right)
diff --git a/stdlib/source/test/lux/data/maybe.lux b/stdlib/source/test/lux/data/maybe.lux
index 65d405473..dd32c20db 100644
--- a/stdlib/source/test/lux/data/maybe.lux
+++ b/stdlib/source/test/lux/data/maybe.lux
@@ -25,7 +25,7 @@
[\\library
["." / ("#\." monoid monad)]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [.Maybe])
diff --git a/stdlib/source/test/lux/data/name.lux b/stdlib/source/test/lux/data/name.lux
index e6f8b46c0..01d5131c8 100644
--- a/stdlib/source/test/lux/data/name.lux
+++ b/stdlib/source/test/lux/data/name.lux
@@ -20,12 +20,12 @@
[\\library
["." /]])
-(def: #export (random module_size short_size)
+(def: .public (random module_size short_size)
(-> Nat Nat (Random Name))
(random.and (random.ascii/alpha module_size)
(random.ascii/alpha short_size)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/lux/data/product.lux b/stdlib/source/test/lux/data/product.lux
index 2f781972d..3b846940f 100644
--- a/stdlib/source/test/lux/data/product.lux
+++ b/stdlib/source/test/lux/data/product.lux
@@ -14,7 +14,7 @@
[\\library
["." /]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [.Tuple .And])
diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux
index 73765d85f..ddb924273 100644
--- a/stdlib/source/test/lux/data/sum.lux
+++ b/stdlib/source/test/lux/data/sum.lux
@@ -20,7 +20,7 @@
[\\library
["." /]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [.Variant .Or])
diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux
index 5d02dbfcf..ca7f2f69f 100644
--- a/stdlib/source/test/lux/data/text.lux
+++ b/stdlib/source/test/lux/data/text.lux
@@ -258,7 +258,7 @@
inverse!)))
)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [.Text])
diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux
index 0f6e73d35..393a20779 100644
--- a/stdlib/source/test/lux/data/text/buffer.lux
+++ b/stdlib/source/test/lux/data/text/buffer.lux
@@ -20,7 +20,7 @@
[size (\ ! map (|>> (n.% 10) inc) random.nat)]
(random.ascii/alpha size)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Buffer])
diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux
index 4cdf461b7..662643d3c 100644
--- a/stdlib/source/test/lux/data/text/encoding.lux
+++ b/stdlib/source/test/lux/data/text/encoding.lux
@@ -210,14 +210,14 @@
<encodings>)
- (def: #export random
+ (def: .public random
(Random /.Encoding)
(let [options (list.size ..all_encodings)]
(do {! random.monad}
[choice (\ ! map (n.% options) random.nat)]
(in (maybe.assume (list.item choice ..all_encodings))))))
- (def: #export test
+ (def: .public test
Test
(<| (_.covering /._)
(_.for [/.Encoding])
diff --git a/stdlib/source/test/lux/data/text/encoding/utf8.lux b/stdlib/source/test/lux/data/text/encoding/utf8.lux
index a537a0277..ef75a174a 100644
--- a/stdlib/source/test/lux/data/text/encoding/utf8.lux
+++ b/stdlib/source/test/lux/data/text/encoding/utf8.lux
@@ -12,7 +12,7 @@
[\\library
["." /]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.codec]
diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux
index 21266b277..3b320fd90 100644
--- a/stdlib/source/test/lux/data/text/escape.lux
+++ b/stdlib/source/test/lux/data/text/escape.lux
@@ -79,7 +79,7 @@
(syntax: (static_escape {un_escaped <code>.text})
(in (list (code.text (/.escape un_escaped)))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
($_ _.and
diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux
index e8cdb1e67..e612dc9b6 100644
--- a/stdlib/source/test/lux/data/text/format.lux
+++ b/stdlib/source/test/lux/data/text/format.lux
@@ -117,7 +117,7 @@
))
)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Format])
diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux
index 95f82e502..263c6cb50 100644
--- a/stdlib/source/test/lux/data/text/regex.lux
+++ b/stdlib/source/test/lux/data/text/regex.lux
@@ -278,7 +278,7 @@
(#try.Failure error)
false)))])))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
($_ _.and
diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux
index e2a415abd..4f92f8db9 100644
--- a/stdlib/source/test/lux/data/text/unicode/block.lux
+++ b/stdlib/source/test/lux/data/text/unicode/block.lux
@@ -22,7 +22,7 @@
[\\library
["." /]])
-(def: #export random
+(def: .public random
(Random /.Block)
(do {! random.monad}
[start (\ ! map (n.% 1,000,000) random.nat)
@@ -165,7 +165,7 @@
<blocks>
)
- (def: #export test
+ (def: .public test
Test
(<| (_.covering /._)
(_.for [/.Block])
diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux
index 0f50a1dd7..6efe6cb14 100644
--- a/stdlib/source/test/lux/data/text/unicode/set.lux
+++ b/stdlib/source/test/lux/data/text/unicode/set.lux
@@ -23,14 +23,14 @@
[//
["." block]]]])
-(def: #export random
+(def: .public random
(Random /.Set)
(do {! random.monad}
[left //block.random
right //block.random]
(in (/.set [left (list right)]))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Set])
diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux
index a0900230d..8d9a9ef4c 100644
--- a/stdlib/source/test/lux/debug.lux
+++ b/stdlib/source/test/lux/debug.lux
@@ -226,7 +226,7 @@
(type: My_Text
Text)
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do random.monad
diff --git a/stdlib/source/test/lux/extension.lux b/stdlib/source/test/lux/extension.lux
index 76172c10d..117fd784a 100644
--- a/stdlib/source/test/lux/extension.lux
+++ b/stdlib/source/test/lux/extension.lux
@@ -115,7 +115,7 @@
(`` ((~~ (static ..my_directive))))
))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do random.monad
diff --git a/stdlib/source/test/lux/ffi.js.lux b/stdlib/source/test/lux/ffi.js.lux
index 6e8a38684..2ba2c8f7a 100644
--- a/stdlib/source/test/lux/ffi.js.lux
+++ b/stdlib/source/test/lux/ffi.js.lux
@@ -42,7 +42,7 @@
(new [/.String])
(decode [Uint8Array] /.String)])
-(def: #export test
+(def: .public test
Test
(do {! random.monad}
[boolean random.bit
diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux
index c5f52200b..b393d363b 100644
--- a/stdlib/source/test/lux/ffi.jvm.lux
+++ b/stdlib/source/test/lux/ffi.jvm.lux
@@ -602,7 +602,7 @@
([a] invalid [] (a java/lang/String))])))))
))
-(def: #export test
+(def: .public test
(<| (_.covering /._)
($_ _.and
..for_conversions
diff --git a/stdlib/source/test/lux/ffi.lua.lux b/stdlib/source/test/lux/ffi.lua.lux
index 963d45387..43757eedf 100644
--- a/stdlib/source/test/lux/ffi.lua.lux
+++ b/stdlib/source/test/lux/ffi.lua.lux
@@ -13,7 +13,7 @@
(/.import: (os/getenv [/.String] #io #? /.String))
-(def: #export test
+(def: .public test
Test
(do {! random.monad}
[boolean random.bit
diff --git a/stdlib/source/test/lux/ffi.old.lux b/stdlib/source/test/lux/ffi.old.lux
index 0aa631ab8..7e9301b30 100644
--- a/stdlib/source/test/lux/ffi.old.lux
+++ b/stdlib/source/test/lux/ffi.old.lux
@@ -228,7 +228,7 @@
(/.type (java/util/List java/lang/Byte)))))
)))
-(def: #export test
+(def: .public test
(<| (_.covering /._)
($_ _.and
..conversions
diff --git a/stdlib/source/test/lux/ffi.php.lux b/stdlib/source/test/lux/ffi.php.lux
index c8d4ea6d5..31dd43c5b 100644
--- a/stdlib/source/test/lux/ffi.php.lux
+++ b/stdlib/source/test/lux/ffi.php.lux
@@ -16,7 +16,7 @@
[\\library
["." /]])
-(def: #export test
+(def: .public test
Test
(do {! random.monad}
[]
diff --git a/stdlib/source/test/lux/ffi.py.lux b/stdlib/source/test/lux/ffi.py.lux
index 18aab4188..a2f5c7444 100644
--- a/stdlib/source/test/lux/ffi.py.lux
+++ b/stdlib/source/test/lux/ffi.py.lux
@@ -16,7 +16,7 @@
(#static R_OK /.Integer)
(#static W_OK /.Integer)])
-(def: #export test
+(def: .public test
Test
(do {! random.monad}
[boolean random.bit
diff --git a/stdlib/source/test/lux/ffi.rb.lux b/stdlib/source/test/lux/ffi.rb.lux
index 0b57aee7e..a6ba3d949 100644
--- a/stdlib/source/test/lux/ffi.rb.lux
+++ b/stdlib/source/test/lux/ffi.rb.lux
@@ -13,7 +13,7 @@
["#::."
(#static SEPARATOR /.String)])
-(def: #export test
+(def: .public test
Test
(do {! random.monad}
[boolean random.bit
diff --git a/stdlib/source/test/lux/ffi.scm.lux b/stdlib/source/test/lux/ffi.scm.lux
index c8d4ea6d5..31dd43c5b 100644
--- a/stdlib/source/test/lux/ffi.scm.lux
+++ b/stdlib/source/test/lux/ffi.scm.lux
@@ -16,7 +16,7 @@
[\\library
["." /]])
-(def: #export test
+(def: .public test
Test
(do {! random.monad}
[]
diff --git a/stdlib/source/test/lux/locale.lux b/stdlib/source/test/lux/locale.lux
index ea6ac14e2..afc69ea50 100644
--- a/stdlib/source/test/lux/locale.lux
+++ b/stdlib/source/test/lux/locale.lux
@@ -45,7 +45,7 @@
encoding ..random_encoding]
(in (/.locale language (#.Some territory) (#.Some encoding)))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Locale])
diff --git a/stdlib/source/test/lux/locale/language.lux b/stdlib/source/test/lux/locale/language.lux
index 8577301d8..09f2bfc52 100644
--- a/stdlib/source/test/lux/locale/language.lux
+++ b/stdlib/source/test/lux/locale/language.lux
@@ -212,9 +212,9 @@
)))))
(template: (!aliases <reference> <aliases>)
- (_.cover <aliases>
- (list.every? (\ /.equivalence = <reference>)
- (`` (list (~~ (template.spliced <aliases>)))))))
+ [(_.cover <aliases>
+ (list.every? (\ /.equivalence = <reference>)
+ (`` (list (~~ (template.spliced <aliases>))))))])
(def: aliases_test/0
Test
@@ -274,7 +274,7 @@
..aliases_test/1
))
-(def: #export random
+(def: .public random
(Random /.Language)
(let [options (|> ..languages
(list\map (|>> (get@ #languages) set.list))
@@ -284,7 +284,7 @@
random.nat)]
(in (maybe.assume (list.item choice options))))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Language])
diff --git a/stdlib/source/test/lux/locale/territory.lux b/stdlib/source/test/lux/locale/territory.lux
index a0dfbb4ee..8f323004c 100644
--- a/stdlib/source/test/lux/locale/territory.lux
+++ b/stdlib/source/test/lux/locale/territory.lux
@@ -169,9 +169,9 @@
)))))
(template: (!aliases <reference> <aliases>)
- (_.cover <aliases>
- (list.every? (\ /.equivalence = <reference>)
- (`` (list (~~ (template.spliced <aliases>)))))))
+ [(_.cover <aliases>
+ (list.every? (\ /.equivalence = <reference>)
+ (`` (list (~~ (template.spliced <aliases>))))))])
(def: aliases_test
Test
@@ -200,7 +200,7 @@
(!aliases /.wallis [/.futuna])
))
-(def: #export random
+(def: .public random
(Random /.Territory)
(let [options (|> ..territories
(list\map (|>> (get@ #territories) set.list))
@@ -210,7 +210,7 @@
random.nat)]
(in (maybe.assume (list.item choice options))))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Territory])
diff --git a/stdlib/source/test/lux/macro.lux b/stdlib/source/test/lux/macro.lux
index 8dc0c64db..bbc60bf4a 100644
--- a/stdlib/source/test/lux/macro.lux
+++ b/stdlib/source/test/lux/macro.lux
@@ -34,13 +34,13 @@
["#." template]])
(template: (!expect <pattern> <value>)
- (case <value>
- <pattern> true
- _ false))
+ [(case <value>
+ <pattern> true
+ _ false)])
(template: (!global <definition>)
- (: [Text .Global]
- [(template.text [<definition>]) (#.Definition [true .Macro (' []) <definition>])]))
+ [(: [Text .Global]
+ [(template.text [<definition>]) (#.Definition [true .Macro (' []) <definition>])])])
(syntax: (pow/2 number)
(in (list (` (nat.* (~ number) (~ number))))))
@@ -115,7 +115,7 @@
repetitions (\ ! map (nat.% 10) random.nat)
.let [single_expansion (` (..pow/2 (..pow/2 (~ pow/1))))
expansion (` (nat.* (..pow/2 (~ pow/1))
- (..pow/2 (~ pow/1))))
+ (..pow/2 (~ pow/1))))
full_expansion (` (nat.* (nat.* (~ pow/1) (~ pow/1))
(nat.* (~ pow/1) (~ pow/1))))]]
(`` ($_ _.and
@@ -148,7 +148,7 @@
(!expect (#try.Failure _)))))
))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
($_ _.and
diff --git a/stdlib/source/test/lux/macro/code.lux b/stdlib/source/test/lux/macro/code.lux
index 5d5f9121a..a5bb3a9e9 100644
--- a/stdlib/source/test/lux/macro/code.lux
+++ b/stdlib/source/test/lux/macro/code.lux
@@ -47,7 +47,7 @@
[size (|> random.nat (\ ! map (n.% 3)))]
(random.list size (random.and random random))))
-(def: #export random
+(def: .public random
(Random Code)
(random.rec
(function (_ random)
@@ -164,7 +164,7 @@
[/.local_identifier ..random_text #.Identifier]
)))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
($_ _.and
diff --git a/stdlib/source/test/lux/macro/local.lux b/stdlib/source/test/lux/macro/local.lux
index 8b8a14790..6102295d4 100644
--- a/stdlib/source/test/lux/macro/local.lux
+++ b/stdlib/source/test/lux/macro/local.lux
@@ -64,7 +64,7 @@
(macro.full_expansion pre_expansion)
(in (list pre_expansion)))))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/lux/macro/poly.lux b/stdlib/source/test/lux/macro/poly.lux
index 90c57c87c..41eb81b4f 100644
--- a/stdlib/source/test/lux/macro/poly.lux
+++ b/stdlib/source/test/lux/macro/poly.lux
@@ -9,7 +9,7 @@
["#." functor]
["#." json]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
($_ _.and
diff --git a/stdlib/source/test/lux/macro/poly/equivalence.lux b/stdlib/source/test/lux/macro/poly/equivalence.lux
index ca083482d..6bad7436a 100644
--- a/stdlib/source/test/lux/macro/poly/equivalence.lux
+++ b/stdlib/source/test/lux/macro/poly/equivalence.lux
@@ -76,7 +76,7 @@
(derived: equivalence
(/.equivalence Record))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.equivalence]
diff --git a/stdlib/source/test/lux/macro/poly/functor.lux b/stdlib/source/test/lux/macro/poly/functor.lux
index 6eebf2d55..b98541232 100644
--- a/stdlib/source/test/lux/macro/poly/functor.lux
+++ b/stdlib/source/test/lux/macro/poly/functor.lux
@@ -21,7 +21,7 @@
(derived: state_functor (/.functor state.State))
(derived: identity_functor (/.functor identity.Identity))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.cover [/.functor]
diff --git a/stdlib/source/test/lux/macro/poly/json.lux b/stdlib/source/test/lux/macro/poly/json.lux
index d688dab2f..fa8e6facb 100644
--- a/stdlib/source/test/lux/macro/poly/json.lux
+++ b/stdlib/source/test/lux/macro/poly/json.lux
@@ -113,7 +113,7 @@
(derived: codec
(/.codec Record))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.codec]
diff --git a/stdlib/source/test/lux/macro/syntax.lux b/stdlib/source/test/lux/macro/syntax.lux
index 49ba85da7..62988d8de 100644
--- a/stdlib/source/test/lux/macro/syntax.lux
+++ b/stdlib/source/test/lux/macro/syntax.lux
@@ -23,7 +23,7 @@
(/.syntax: (+/3 a b c)
(in (list (` ($_ n.+ (~ a) (~ b) (~ c))))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
($_ _.and
diff --git a/stdlib/source/test/lux/macro/syntax/annotations.lux b/stdlib/source/test/lux/macro/syntax/annotations.lux
index cd6396535..be74194b9 100644
--- a/stdlib/source/test/lux/macro/syntax/annotations.lux
+++ b/stdlib/source/test/lux/macro/syntax/annotations.lux
@@ -22,7 +22,7 @@
["$." /// #_
["#." code]])
-(def: #export random
+(def: .public random
(Random /.Annotations)
(let [word (random.ascii/alpha 10)
tag (random.and word word)]
@@ -30,7 +30,7 @@
[size (\ ! map (n.% 10) random.nat)]
(random.list size (random.and tag $///code.random)))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Annotations])
diff --git a/stdlib/source/test/lux/macro/syntax/check.lux b/stdlib/source/test/lux/macro/syntax/check.lux
index 36ad565a2..e5f3e310e 100644
--- a/stdlib/source/test/lux/macro/syntax/check.lux
+++ b/stdlib/source/test/lux/macro/syntax/check.lux
@@ -19,14 +19,14 @@
["$." /// #_
["#." code]])
-(def: #export random
+(def: .public random
(Random /.Check)
($_ random.and
$///code.random
$///code.random
))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Check])
diff --git a/stdlib/source/test/lux/macro/syntax/declaration.lux b/stdlib/source/test/lux/macro/syntax/declaration.lux
index 0d1e61874..a260f84be 100644
--- a/stdlib/source/test/lux/macro/syntax/declaration.lux
+++ b/stdlib/source/test/lux/macro/syntax/declaration.lux
@@ -17,7 +17,7 @@
[\\library
["." /]])
-(def: #export random
+(def: .public random
(Random /.Declaration)
(let [word (random.ascii/alpha 10)]
($_ random.and
@@ -27,7 +27,7 @@
(random.list size word))
)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Declaration])
diff --git a/stdlib/source/test/lux/macro/syntax/definition.lux b/stdlib/source/test/lux/macro/syntax/definition.lux
index e6acc2847..855a44545 100644
--- a/stdlib/source/test/lux/macro/syntax/definition.lux
+++ b/stdlib/source/test/lux/macro/syntax/definition.lux
@@ -25,7 +25,7 @@
["#/" // #_
["#." code]]])
-(def: #export random
+(def: .public random
(Random /.Definition)
($_ random.and
(random.ascii/alpha 5)
@@ -53,7 +53,7 @@
#.extensions []
#.host []})
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Definition])
diff --git a/stdlib/source/test/lux/macro/syntax/export.lux b/stdlib/source/test/lux/macro/syntax/export.lux
index 6e93f2e4b..adb95407f 100644
--- a/stdlib/source/test/lux/macro/syntax/export.lux
+++ b/stdlib/source/test/lux/macro/syntax/export.lux
@@ -15,7 +15,7 @@
[\\library
["." /]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do random.monad
diff --git a/stdlib/source/test/lux/macro/syntax/input.lux b/stdlib/source/test/lux/macro/syntax/input.lux
index e292cde72..fe01ab496 100644
--- a/stdlib/source/test/lux/macro/syntax/input.lux
+++ b/stdlib/source/test/lux/macro/syntax/input.lux
@@ -19,14 +19,14 @@
["$." /// #_
["#." code]])
-(def: #export random
+(def: .public random
(Random /.Input)
($_ random.and
$///code.random
$///code.random
))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Input])
diff --git a/stdlib/source/test/lux/macro/syntax/type/variable.lux b/stdlib/source/test/lux/macro/syntax/type/variable.lux
index 48882172a..af57cc222 100644
--- a/stdlib/source/test/lux/macro/syntax/type/variable.lux
+++ b/stdlib/source/test/lux/macro/syntax/type/variable.lux
@@ -15,11 +15,11 @@
[\\library
["." /]])
-(def: #export random
+(def: .public random
(Random /.Variable)
(random.ascii/alpha 10))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Variable])
diff --git a/stdlib/source/test/lux/macro/template.lux b/stdlib/source/test/lux/macro/template.lux
index ecec132d7..78df63f0d 100644
--- a/stdlib/source/test/lux/macro/template.lux
+++ b/stdlib/source/test/lux/macro/template.lux
@@ -35,7 +35,7 @@
(#try.Success _)
(#try.Failure "OOPS!"))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/lux/math.lux b/stdlib/source/test/lux/math.lux
index 8eae10808..f1bbc7fa6 100644
--- a/stdlib/source/test/lux/math.lux
+++ b/stdlib/source/test/lux/math.lux
@@ -31,7 +31,7 @@
(let [normal (|> angle forward backward)]
(|> normal forward backward (f.approximately? ..margin_of_error normal))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
($_ _.and
diff --git a/stdlib/source/test/lux/math/infix.lux b/stdlib/source/test/lux/math/infix.lux
index 2dafd35aa..9c8298346 100644
--- a/stdlib/source/test/lux/math/infix.lux
+++ b/stdlib/source/test/lux/math/infix.lux
@@ -15,7 +15,7 @@
["." /
["." //]]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do random.monad
diff --git a/stdlib/source/test/lux/math/logic/continuous.lux b/stdlib/source/test/lux/math/logic/continuous.lux
index ab7049221..a49e5c7d8 100644
--- a/stdlib/source/test/lux/math/logic/continuous.lux
+++ b/stdlib/source/test/lux/math/logic/continuous.lux
@@ -13,7 +13,7 @@
[\\library
["." /]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do random.monad
diff --git a/stdlib/source/test/lux/math/logic/fuzzy.lux b/stdlib/source/test/lux/math/logic/fuzzy.lux
index bdbc790ac..f97ffb24f 100644
--- a/stdlib/source/test/lux/math/logic/fuzzy.lux
+++ b/stdlib/source/test/lux/math/logic/fuzzy.lux
@@ -332,7 +332,7 @@
(r.< threshold (/.membership set sample))))
)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Fuzzy])
diff --git a/stdlib/source/test/lux/math/modular.lux b/stdlib/source/test/lux/math/modular.lux
index cafc576eb..b87f30bb1 100644
--- a/stdlib/source/test/lux/math/modular.lux
+++ b/stdlib/source/test/lux/math/modular.lux
@@ -28,13 +28,13 @@
["/#" // #_
["#" modulus]]]])
-(def: #export (random modulus)
+(def: .public (random modulus)
(All [%] (-> (//.Modulus %) (Random (/.Mod %))))
(\ random.monad map
(/.modular modulus)
random.int))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Mod])
diff --git a/stdlib/source/test/lux/math/modulus.lux b/stdlib/source/test/lux/math/modulus.lux
index 7a3cde72c..365fef83d 100644
--- a/stdlib/source/test/lux/math/modulus.lux
+++ b/stdlib/source/test/lux/math/modulus.lux
@@ -25,13 +25,13 @@
0 +1
_ (.int divisor)))))))
-(def: #export (random range)
+(def: .public (random range)
(Ex [%] (-> Int (Random (/.Modulus %))))
(|> random.int
(\ random.monad map (i.% range))
(random.one (|>> /.modulus try.maybe))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Modulus])
diff --git a/stdlib/source/test/lux/math/number.lux b/stdlib/source/test/lux/math/number.lux
index b13fa5cf8..d97c73f45 100644
--- a/stdlib/source/test/lux/math/number.lux
+++ b/stdlib/source/test/lux/math/number.lux
@@ -28,7 +28,7 @@
(-> Text Text)
(text.replace_all "," ""))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
($_ _.and
diff --git a/stdlib/source/test/lux/math/number/complex.lux b/stdlib/source/test/lux/math/number/complex.lux
index ddeb53c2f..25bdc1216 100644
--- a/stdlib/source/test/lux/math/number/complex.lux
+++ b/stdlib/source/test/lux/math/number/complex.lux
@@ -33,7 +33,7 @@
(in (f.* (|> factor .int int.frac)
measure))))
-(def: #export random
+(def: .public random
(Random /.Complex)
(do random.monad
[real ..dimension
@@ -267,7 +267,7 @@
(list\map (/.pow' (|> degree .int int.frac)))
(list.every? (/.approximately? ..margin_of_error sample))))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Complex])
diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux
index 7f59d94af..91f44f41b 100644
--- a/stdlib/source/test/lux/math/number/frac.lux
+++ b/stdlib/source/test/lux/math/number/frac.lux
@@ -126,7 +126,7 @@
@.jvm (as_is <jvm>)}
(as_is)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [.Frac])
diff --git a/stdlib/source/test/lux/math/number/i16.lux b/stdlib/source/test/lux/math/number/i16.lux
index bc1da4832..f82250048 100644
--- a/stdlib/source/test/lux/math/number/i16.lux
+++ b/stdlib/source/test/lux/math/number/i16.lux
@@ -14,11 +14,11 @@
["i" int]
["#." i64]]]])
-(def: #export random
+(def: .public random
(Random /.I16)
(\ random.functor map /.i16 random.i64))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.I16])
diff --git a/stdlib/source/test/lux/math/number/i32.lux b/stdlib/source/test/lux/math/number/i32.lux
index 211156ef2..a4c503bf7 100644
--- a/stdlib/source/test/lux/math/number/i32.lux
+++ b/stdlib/source/test/lux/math/number/i32.lux
@@ -14,11 +14,11 @@
["i" int]
["#." i64]]]])
-(def: #export random
+(def: .public random
(Random /.I32)
(\ random.functor map /.i32 random.i64))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.I32])
diff --git a/stdlib/source/test/lux/math/number/i64.lux b/stdlib/source/test/lux/math/number/i64.lux
index ddc907939..3504af6f7 100644
--- a/stdlib/source/test/lux/math/number/i64.lux
+++ b/stdlib/source/test/lux/math/number/i64.lux
@@ -159,7 +159,7 @@
($monoid.spec n.equivalence /.conjunction random.nat))
))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [.I64])
diff --git a/stdlib/source/test/lux/math/number/i8.lux b/stdlib/source/test/lux/math/number/i8.lux
index 6bd0a3c9f..2764f93ec 100644
--- a/stdlib/source/test/lux/math/number/i8.lux
+++ b/stdlib/source/test/lux/math/number/i8.lux
@@ -14,11 +14,11 @@
["i" int]
["#." i64]]]])
-(def: #export random
+(def: .public random
(Random /.I8)
(\ random.functor map /.i8 random.i64))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.I8])
diff --git a/stdlib/source/test/lux/math/number/int.lux b/stdlib/source/test/lux/math/number/int.lux
index 6d8d2340b..6fba4351a 100644
--- a/stdlib/source/test/lux/math/number/int.lux
+++ b/stdlib/source/test/lux/math/number/int.lux
@@ -73,7 +73,7 @@
(not (/.odd? sample))))
)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [.Int])
diff --git a/stdlib/source/test/lux/math/number/nat.lux b/stdlib/source/test/lux/math/number/nat.lux
index 9b2a8d676..d6e64603e 100644
--- a/stdlib/source/test/lux/math/number/nat.lux
+++ b/stdlib/source/test/lux/math/number/nat.lux
@@ -62,7 +62,7 @@
(not (/.odd? sample))))
)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [.Nat])
diff --git a/stdlib/source/test/lux/math/number/ratio.lux b/stdlib/source/test/lux/math/number/ratio.lux
index c30830474..baf9f23a1 100644
--- a/stdlib/source/test/lux/math/number/ratio.lux
+++ b/stdlib/source/test/lux/math/number/ratio.lux
@@ -25,7 +25,7 @@
(|>> (n.% 1,000,000) (n.max 1))
random.nat))
-(def: #export random
+(def: .public random
(Random /.Ratio)
(do random.monad
[numerator ..part
@@ -33,7 +33,7 @@
..part)]
(in (/.ratio numerator denominator))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Ratio])
diff --git a/stdlib/source/test/lux/math/number/rev.lux b/stdlib/source/test/lux/math/number/rev.lux
index 3c9d07138..b0d857464 100644
--- a/stdlib/source/test/lux/math/number/rev.lux
+++ b/stdlib/source/test/lux/math/number/rev.lux
@@ -53,7 +53,7 @@
))
)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [.Rev])
diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux
index 45a6b5b10..9684fd3f6 100644
--- a/stdlib/source/test/lux/meta.lux
+++ b/stdlib/source/test/lux/meta.lux
@@ -35,9 +35,9 @@
["#." location]])
(template: (!expect <pattern> <value>)
- (case <value>
- <pattern> true
- _ false))
+ [(case <value>
+ <pattern> true
+ _ false)])
(def: compiler_related
Test
@@ -886,7 +886,7 @@
_
false)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [.Meta .Lux])
diff --git a/stdlib/source/test/lux/meta/annotation.lux b/stdlib/source/test/lux/meta/annotation.lux
index 55a97ca60..e0fa2d3e5 100644
--- a/stdlib/source/test/lux/meta/annotation.lux
+++ b/stdlib/source/test/lux/meta/annotation.lux
@@ -46,9 +46,9 @@
(random.list size (random.and random random))))
(template: (!expect <pattern> <value>)
- (case <value>
- <pattern> true
- _ false))
+ [(case <value>
+ <pattern> true
+ _ false)])
(def: (annotation key value)
(-> Name Code /.Annotation)
@@ -142,7 +142,7 @@
))
))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Annotation])
diff --git a/stdlib/source/test/lux/meta/location.lux b/stdlib/source/test/lux/meta/location.lux
index 421c872dd..b7172f4c1 100644
--- a/stdlib/source/test/lux/meta/location.lux
+++ b/stdlib/source/test/lux/meta/location.lux
@@ -16,7 +16,7 @@
[macro
["#." code]]])
-(def: #export random
+(def: .public random
(Random Location)
($_ random.and
(random.ascii/alpha 10)
@@ -24,7 +24,7 @@
random.nat
))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [.Location])
diff --git a/stdlib/source/test/lux/program.lux b/stdlib/source/test/lux/program.lux
index c7b4cf98c..df55e17f4 100644
--- a/stdlib/source/test/lux/program.lux
+++ b/stdlib/source/test/lux/program.lux
@@ -26,7 +26,7 @@
<code>.any)})
(in (list actual_program)))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do random.monad
diff --git a/stdlib/source/test/lux/target.lux b/stdlib/source/test/lux/target.lux
index c59dc9025..2f30bc909 100644
--- a/stdlib/source/test/lux/target.lux
+++ b/stdlib/source/test/lux/target.lux
@@ -35,7 +35,7 @@
(n.= (list.size ..all)
(set.size ..unique)))
- (def: #export test
+ (def: .public test
Test
(<| (_.covering /._)
(_.for [/.Target])
diff --git a/stdlib/source/test/lux/target/jvm.lux b/stdlib/source/test/lux/target/jvm.lux
index 9d9e17c80..e6cfcf082 100644
--- a/stdlib/source/test/lux/target/jvm.lux
+++ b/stdlib/source/test/lux/target/jvm.lux
@@ -321,15 +321,15 @@
(template [<name> <type>]
[(template: (<name> <old_extension> <new_extension>)
- (: (-> <type> <type> <type>)
- (function (_ parameter subject)
- (for {@.old
- (<old_extension> subject parameter)
-
- @.jvm
- ("jvm object cast"
- (<new_extension> ("jvm object cast" parameter)
- ("jvm object cast" subject)))}))))]
+ [(: (-> <type> <type> <type>)
+ (function (_ parameter subject)
+ (for {@.old
+ (<old_extension> subject parameter)
+
+ @.jvm
+ ("jvm object cast"
+ (<new_extension> ("jvm object cast" parameter)
+ ("jvm object cast" subject)))})))])]
[int/2 java/lang/Integer]
[long/2 java/lang/Long]
@@ -338,15 +338,15 @@
)
(template: (int+long/2 <old_extension> <new_extension>)
- (: (-> java/lang/Integer java/lang/Long java/lang/Long)
- (function (_ parameter subject)
- (for {@.old
- (<old_extension> subject parameter)
-
- @.jvm
- ("jvm object cast"
- (<new_extension> ("jvm object cast" parameter)
- ("jvm object cast" subject)))}))))
+ [(: (-> java/lang/Integer java/lang/Long java/lang/Long)
+ (function (_ parameter subject)
+ (for {@.old
+ (<old_extension> subject parameter)
+
+ @.jvm
+ ("jvm object cast"
+ (<new_extension> ("jvm object cast" parameter)
+ ("jvm object cast" subject)))})))])
(def: int
Test
@@ -1037,13 +1037,13 @@
)))
(template: (!::= <type> <old> <new>)
- (: (-> <type> Any Bit)
- (function (_ expected)
- (for {@.old
- (|>> (:as <type>) (<old> expected))
-
- @.jvm
- (|>> (:as <type>) "jvm object cast" (<new> ("jvm object cast" (:as <type> expected))))}))))
+ [(: (-> <type> Any Bit)
+ (function (_ expected)
+ (for {@.old
+ (|>> (:as <type>) (<old> expected))
+
+ @.jvm
+ (|>> (:as <type>) "jvm object cast" (<new> ("jvm object cast" (:as <type> expected))))})))])
(def: conversion
Test
@@ -1719,7 +1719,7 @@
(#try.Failure error)
false))))
-(def: #export test
+(def: .public test
Test
(<| (_.context (%.name (name_of .._)))
($_ _.and
diff --git a/stdlib/source/test/lux/test.lux b/stdlib/source/test/lux/test.lux
index 543eb94cd..574feb176 100644
--- a/stdlib/source/test/lux/test.lux
+++ b/stdlib/source/test/lux/test.lux
@@ -163,7 +163,7 @@
ran_all_tests!))))))
))
-(def: #export dummy_target
+(def: .public dummy_target
"YOLO")
(def: coverage
@@ -215,7 +215,7 @@
(set.member? (get@ #/.actual_coverage covering) (name_of ..dummy_target))))))))
))
-(def: #export test
+(def: .public test
/.Test
(<| (/.covering /._)
(/.for [/.Test])
diff --git a/stdlib/source/test/lux/time.lux b/stdlib/source/test/lux/time.lux
index 91711a048..e87761302 100644
--- a/stdlib/source/test/lux/time.lux
+++ b/stdlib/source/test/lux/time.lux
@@ -106,7 +106,7 @@
(#try.Failure error) false)))
))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Time])
diff --git a/stdlib/source/test/lux/time/date.lux b/stdlib/source/test/lux/time/date.lux
index 8e77300da..10c44e678 100644
--- a/stdlib/source/test/lux/time/date.lux
+++ b/stdlib/source/test/lux/time/date.lux
@@ -25,7 +25,7 @@
[\\library
["." /]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Date])
diff --git a/stdlib/source/test/lux/time/day.lux b/stdlib/source/test/lux/time/day.lux
index e65759f92..dd71f0f93 100644
--- a/stdlib/source/test/lux/time/day.lux
+++ b/stdlib/source/test/lux/time/day.lux
@@ -25,7 +25,7 @@
[\\library
["." /]])
-(def: #export random
+(def: .public random
(Random /.Day)
(random.either (random.either (random.either (random\in #/.Sunday)
(random\in #/.Monday))
@@ -35,7 +35,7 @@
(random\in #/.Friday))
(random\in #/.Saturday))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Day])
diff --git a/stdlib/source/test/lux/time/duration.lux b/stdlib/source/test/lux/time/duration.lux
index 1493cfd21..b43ef18bd 100644
--- a/stdlib/source/test/lux/time/duration.lux
+++ b/stdlib/source/test/lux/time/duration.lux
@@ -20,7 +20,7 @@
[\\library
["." /]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Duration])
diff --git a/stdlib/source/test/lux/time/instant.lux b/stdlib/source/test/lux/time/instant.lux
index f737f7827..c48ae6955 100644
--- a/stdlib/source/test/lux/time/instant.lux
+++ b/stdlib/source/test/lux/time/instant.lux
@@ -24,7 +24,7 @@
[\\library
["." /]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Instant])
diff --git a/stdlib/source/test/lux/time/month.lux b/stdlib/source/test/lux/time/month.lux
index ec1c8134c..03c50086f 100644
--- a/stdlib/source/test/lux/time/month.lux
+++ b/stdlib/source/test/lux/time/month.lux
@@ -27,14 +27,14 @@
[//
["." duration]]]])
-(def: #export random
+(def: .public random
(Random /.Month)
(let [december (/.number #/.December)]
(|> random.nat
(\ random.monad map (|>> (n.% december) inc))
(random.one (|>> /.by_number try.maybe)))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Month])
diff --git a/stdlib/source/test/lux/time/year.lux b/stdlib/source/test/lux/time/year.lux
index 84ed24fc4..366cc8bc2 100644
--- a/stdlib/source/test/lux/time/year.lux
+++ b/stdlib/source/test/lux/time/year.lux
@@ -27,11 +27,11 @@
["#." instant]
["#." date]]]])
-(def: #export random
+(def: .public random
(Random /.Year)
(random.one (|>> /.year try.maybe) random.int))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Year])
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
diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux
index f248a2adb..171f34873 100644
--- a/stdlib/source/test/lux/type.lux
+++ b/stdlib/source/test/lux/type.lux
@@ -41,7 +41,7 @@
(Random Name)
(random.and ..short ..short))
-(def: #export random
+(def: .public random
(Random Type)
(random.rec
(function (_ recur)
@@ -62,7 +62,7 @@
(random.and ..name recur)
)))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
($_ _.and
diff --git a/stdlib/source/test/lux/type/abstract.lux b/stdlib/source/test/lux/type/abstract.lux
index 2b96f6788..1b70b0fd2 100644
--- a/stdlib/source/test/lux/type/abstract.lux
+++ b/stdlib/source/test/lux/type/abstract.lux
@@ -45,12 +45,16 @@
(with_expansions [no_current! (..with_no_active_frames (..current))
no_specific! (..with_no_active_frames (..specific))]
(/.abstract: (g!Foo a)
+ {}
+
Text
(/.abstract: (g!Bar a)
+ {}
+
Nat
- (def: #export test
+ (def: .public test
Test
(<| (_.covering /._)
(_.for [/.abstract:])
diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux
index 84426d1f7..eaa8cbb86 100644
--- a/stdlib/source/test/lux/type/check.lux
+++ b/stdlib/source/test/lux/type/check.lux
@@ -700,7 +700,7 @@
(try.else false))
))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Check])
diff --git a/stdlib/source/test/lux/type/dynamic.lux b/stdlib/source/test/lux/type/dynamic.lux
index 0c743cabf..04c25fb70 100644
--- a/stdlib/source/test/lux/type/dynamic.lux
+++ b/stdlib/source/test/lux/type/dynamic.lux
@@ -17,7 +17,7 @@
[\\library
["." /]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Dynamic])
diff --git a/stdlib/source/test/lux/type/implicit.lux b/stdlib/source/test/lux/type/implicit.lux
index 6795b8aec..d032f19c5 100644
--- a/stdlib/source/test/lux/type/implicit.lux
+++ b/stdlib/source/test/lux/type/implicit.lux
@@ -21,7 +21,7 @@
(/.implicit: [n.multiplication])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/lux/type/quotient.lux b/stdlib/source/test/lux/type/quotient.lux
index b59879ef2..ae137a428 100644
--- a/stdlib/source/test/lux/type/quotient.lux
+++ b/stdlib/source/test/lux/type/quotient.lux
@@ -16,7 +16,7 @@
[\\library
["." /]])
-(def: #export (random class super)
+(def: .public (random class super)
(All [t c %] (-> (/.Class t c %) (Random t) (Random (/.Quotient t c %))))
(\ random.monad map (/.quotient class) super))
@@ -26,7 +26,7 @@
(def: Mod_10
(/.type ..mod_10_class))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do random.monad
diff --git a/stdlib/source/test/lux/type/refinement.lux b/stdlib/source/test/lux/type/refinement.lux
index 1dd71a4c6..da5826098 100644
--- a/stdlib/source/test/lux/type/refinement.lux
+++ b/stdlib/source/test/lux/type/refinement.lux
@@ -22,7 +22,7 @@
(def: _type
(/.type _refiner))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Refined])
diff --git a/stdlib/source/test/lux/type/resource.lux b/stdlib/source/test/lux/type/resource.lux
index 791c31e1f..18ee0164d 100644
--- a/stdlib/source/test/lux/type/resource.lux
+++ b/stdlib/source/test/lux/type/resource.lux
@@ -167,7 +167,7 @@
(#try.Failure error)
true)))]))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Procedure])
diff --git a/stdlib/source/test/lux/type/unit.lux b/stdlib/source/test/lux/type/unit.lux
index 32e2922a6..fa9a53c5f 100644
--- a/stdlib/source/test/lux/type/unit.lux
+++ b/stdlib/source/test/lux/type/unit.lux
@@ -182,7 +182,7 @@
(meter\= right)))
))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Qty])
diff --git a/stdlib/source/test/lux/type/variance.lux b/stdlib/source/test/lux/type/variance.lux
index b0987e833..e683b1f64 100644
--- a/stdlib/source/test/lux/type/variance.lux
+++ b/stdlib/source/test/lux/type/variance.lux
@@ -17,7 +17,7 @@
(type: Sub
(Super Bit))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
($_ _.and
diff --git a/stdlib/source/test/lux/world.lux b/stdlib/source/test/lux/world.lux
index 795b3e55c..4750e0371 100644
--- a/stdlib/source/test/lux/world.lux
+++ b/stdlib/source/test/lux/world.lux
@@ -17,7 +17,7 @@
["#/." client]
["#/." status]]]])
-(def: #export test
+(def: .public test
Test
($_ _.and
/file.test
diff --git a/stdlib/source/test/lux/world/console.lux b/stdlib/source/test/lux/world/console.lux
index c51cce645..c358ca699 100644
--- a/stdlib/source/test/lux/world/console.lux
+++ b/stdlib/source/test/lux/world/console.lux
@@ -48,7 +48,7 @@
(exception.except ..dead [])
(#try.Success [true content])))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
($_ _.and
diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux
index ecc596399..99155f805 100644
--- a/stdlib/source/test/lux/world/file.lux
+++ b/stdlib/source/test/lux/world/file.lux
@@ -15,7 +15,7 @@
[\\specification
["$." /]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/lux/world/file/watch.lux b/stdlib/source/test/lux/world/file/watch.lux
index c5b89533b..6f70358e5 100644
--- a/stdlib/source/test/lux/world/file/watch.lux
+++ b/stdlib/source/test/lux/world/file/watch.lux
@@ -149,7 +149,7 @@
false)
(list.empty? poll/3')))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Watcher])
diff --git a/stdlib/source/test/lux/world/input/keyboard.lux b/stdlib/source/test/lux/world/input/keyboard.lux
index bfcc0db6c..c9c6cfee3 100644
--- a/stdlib/source/test/lux/world/input/keyboard.lux
+++ b/stdlib/source/test/lux/world/input/keyboard.lux
@@ -135,14 +135,14 @@
<groups>)
- (def: #export random
+ (def: .public random
(Random /.Key)
(let [count (list.size ..listing)]
(do {! random.monad}
[choice (\ ! map (n.% count) random.nat)]
(in (maybe.assume (list.item choice ..listing))))))
- (def: #export test
+ (def: .public test
Test
(<| (_.covering /._)
(_.for [/.Key])
diff --git a/stdlib/source/test/lux/world/net/http/client.lux b/stdlib/source/test/lux/world/net/http/client.lux
index bdfad7989..d1726c7e0 100644
--- a/stdlib/source/test/lux/world/net/http/client.lux
+++ b/stdlib/source/test/lux/world/net/http/client.lux
@@ -27,7 +27,7 @@
["/#" //
["#." status]]]])
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(_.for [/.Client])
diff --git a/stdlib/source/test/lux/world/net/http/status.lux b/stdlib/source/test/lux/world/net/http/status.lux
index 09f8fa86a..574ce8513 100644
--- a/stdlib/source/test/lux/world/net/http/status.lux
+++ b/stdlib/source/test/lux/world/net/http/status.lux
@@ -108,7 +108,7 @@
<categories>)
- (def: #export test
+ (def: .public test
Test
(<| (_.covering /._)
(`` ($_ _.and
diff --git a/stdlib/source/test/lux/world/output/video/resolution.lux b/stdlib/source/test/lux/world/output/video/resolution.lux
index 378352c57..0775b263e 100644
--- a/stdlib/source/test/lux/world/output/video/resolution.lux
+++ b/stdlib/source/test/lux/world/output/video/resolution.lux
@@ -42,14 +42,14 @@
(Set /.Resolution)
(set.of_list /.hash ..listing))
- (def: #export random
+ (def: .public random
(Random /.Resolution)
(let [count (list.size ..listing)]
(do {! random.monad}
[choice (\ ! map (n.% count) random.nat)]
(in (maybe.assume (list.item choice ..listing))))))
- (def: #export test
+ (def: .public test
Test
(<| (_.covering /._)
(_.for [/.Resolution])
diff --git a/stdlib/source/test/lux/world/program.lux b/stdlib/source/test/lux/world/program.lux
index 9940220ac..50e1b4ffd 100644
--- a/stdlib/source/test/lux/world/program.lux
+++ b/stdlib/source/test/lux/world/program.lux
@@ -38,7 +38,7 @@
(Random Path)
(random.ascii/alpha 5))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
(do {! random.monad}
diff --git a/stdlib/source/test/lux/world/shell.lux b/stdlib/source/test/lux/world/shell.lux
index 0d67c79a0..3db61b469 100644
--- a/stdlib/source/test/lux/world/shell.lux
+++ b/stdlib/source/test/lux/world/shell.lux
@@ -80,7 +80,7 @@
(def: (await _)
(io.io (#try.Success exit))))))))
-(def: #export test
+(def: .public test
Test
(<| (_.covering /._)
($_ _.and