aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
authorEduardo Julian2022-06-03 20:02:46 -0400
committerEduardo Julian2022-06-03 20:02:46 -0400
commit3e7d188cbe7bc9bce4a14318e2f62583fe2501d1 (patch)
tree9dde4f6cb8f16829b2fa43fbccffaa1b3e2659bd /stdlib/source/test
parent0e34448e5c0ffd9c39d67c2f859e91942e1ab0a4 (diff)
Extensible import syntax [Part 4]
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/aedifex.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/extension.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/stamp.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/time.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/time.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/versioning.lux4
-rw-r--r--stdlib/source/test/aedifex/cache.lux6
-rw-r--r--stdlib/source/test/aedifex/cli.lux4
-rw-r--r--stdlib/source/test/aedifex/command.lux2
-rw-r--r--stdlib/source/test/aedifex/command/auto.lux8
-rw-r--r--stdlib/source/test/aedifex/command/build.lux10
-rw-r--r--stdlib/source/test/aedifex/command/clean.lux4
-rw-r--r--stdlib/source/test/aedifex/command/deploy.lux6
-rw-r--r--stdlib/source/test/aedifex/command/deps.lux18
-rw-r--r--stdlib/source/test/aedifex/command/install.lux19
-rw-r--r--stdlib/source/test/aedifex/command/pom.lux4
-rw-r--r--stdlib/source/test/aedifex/command/test.lux12
-rw-r--r--stdlib/source/test/aedifex/dependency/deployment.lux12
-rw-r--r--stdlib/source/test/aedifex/dependency/resolution.lux8
-rw-r--r--stdlib/source/test/aedifex/dependency/status.lux8
-rw-r--r--stdlib/source/test/aedifex/input.lux4
-rw-r--r--stdlib/source/test/aedifex/local.lux4
-rw-r--r--stdlib/source/test/aedifex/metadata.lux2
-rw-r--r--stdlib/source/test/aedifex/metadata/artifact.lux10
-rw-r--r--stdlib/source/test/aedifex/metadata/snapshot.lux14
-rw-r--r--stdlib/source/test/aedifex/package.lux6
-rw-r--r--stdlib/source/test/aedifex/parser.lux4
-rw-r--r--stdlib/source/test/aedifex/pom.lux6
-rw-r--r--stdlib/source/test/aedifex/profile.lux6
-rw-r--r--stdlib/source/test/aedifex/project.lux4
-rw-r--r--stdlib/source/test/aedifex/repository.lux8
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux6
-rw-r--r--stdlib/source/test/lux.lux13
-rw-r--r--stdlib/source/test/lux/abstract.lux8
-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/control.lux4
-rw-r--r--stdlib/source/test/lux/control/concurrency/async.lux2
-rw-r--r--stdlib/source/test/lux/control/concurrency/frp.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/function.lux2
-rw-r--r--stdlib/source/test/lux/control/function/memo.lux4
-rw-r--r--stdlib/source/test/lux/control/parser.lux2
-rw-r--r--stdlib/source/test/lux/control/parser/binary.lux2
-rw-r--r--stdlib/source/test/lux/control/parser/environment.lux2
-rw-r--r--stdlib/source/test/lux/control/parser/text.lux6
-rw-r--r--stdlib/source/test/lux/control/parser/tree.lux4
-rw-r--r--stdlib/source/test/lux/control/parser/type.lux2
-rw-r--r--stdlib/source/test/lux/control/parser/xml.lux2
-rw-r--r--stdlib/source/test/lux/control/remember.lux4
-rw-r--r--stdlib/source/test/lux/data.lux6
-rw-r--r--stdlib/source/test/lux/data/binary.lux2
-rw-r--r--stdlib/source/test/lux/data/collection.lux10
-rw-r--r--stdlib/source/test/lux/data/collection/stream.lux2
-rw-r--r--stdlib/source/test/lux/data/color/named.lux2
-rw-r--r--stdlib/source/test/lux/data/format/json.lux4
-rw-r--r--stdlib/source/test/lux/data/format/tar.lux6
-rw-r--r--stdlib/source/test/lux/data/text.lux4
-rw-r--r--stdlib/source/test/lux/data/text/encoding.lux2
-rw-r--r--stdlib/source/test/lux/data/text/escape.lux4
-rw-r--r--stdlib/source/test/lux/data/text/format.lux4
-rw-r--r--stdlib/source/test/lux/data/text/regex.lux2
-rw-r--r--stdlib/source/test/lux/data/text/unicode/set.lux6
-rw-r--r--stdlib/source/test/lux/debug.lux4
-rw-r--r--stdlib/source/test/lux/documentation.lux2
-rw-r--r--stdlib/source/test/lux/extension.lux10
-rw-r--r--stdlib/source/test/lux/ffi.js.lux2
-rw-r--r--stdlib/source/test/lux/ffi.jvm.lux6
-rw-r--r--stdlib/source/test/lux/ffi.lua.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/export.js.lux2
-rw-r--r--stdlib/source/test/lux/ffi/export.jvm.lux2
-rw-r--r--stdlib/source/test/lux/ffi/export.lua.lux2
-rw-r--r--stdlib/source/test/lux/ffi/export.py.lux2
-rw-r--r--stdlib/source/test/lux/ffi/export.rb.lux2
-rw-r--r--stdlib/source/test/lux/locale.lux4
-rw-r--r--stdlib/source/test/lux/macro.lux8
-rw-r--r--stdlib/source/test/lux/macro/local.lux4
-rw-r--r--stdlib/source/test/lux/macro/syntax.lux4
-rw-r--r--stdlib/source/test/lux/macro/syntax/check.lux4
-rw-r--r--stdlib/source/test/lux/macro/syntax/definition.lux6
-rw-r--r--stdlib/source/test/lux/macro/syntax/input.lux2
-rw-r--r--stdlib/source/test/lux/macro/template.lux2
-rw-r--r--stdlib/source/test/lux/math.lux4
-rw-r--r--stdlib/source/test/lux/math/logic/fuzzy.lux2
-rw-r--r--stdlib/source/test/lux/math/modular.lux6
-rw-r--r--stdlib/source/test/lux/math/number.lux4
-rw-r--r--stdlib/source/test/lux/math/number/complex.lux2
-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/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.lux2
-rw-r--r--stdlib/source/test/lux/math/number/rev.lux2
-rw-r--r--stdlib/source/test/lux/meta.lux2
-rw-r--r--stdlib/source/test/lux/meta/configuration.lux4
-rw-r--r--stdlib/source/test/lux/meta/location.lux2
-rw-r--r--stdlib/source/test/lux/meta/version.lux2
-rw-r--r--stdlib/source/test/lux/program.lux2
-rw-r--r--stdlib/source/test/lux/target/jvm.lux8
-rw-r--r--stdlib/source/test/lux/target/ruby.lux2
-rw-r--r--stdlib/source/test/lux/time.lux6
-rw-r--r--stdlib/source/test/lux/time/month.lux2
-rw-r--r--stdlib/source/test/lux/time/year.lux4
-rw-r--r--stdlib/source/test/lux/tool.lux8
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux10
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux12
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux8
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux8
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux8
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux10
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux16
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux14
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux16
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux8
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux4
-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.lux14
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux14
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux8
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux10
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive.lux13
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/key.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/module.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cache.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux14
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cache/module.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux18
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cli.lux8
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/export.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/import.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/phase.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/reference.lux4
-rw-r--r--stdlib/source/test/lux/type.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/poly.lux4
-rw-r--r--stdlib/source/test/lux/type/poly/functor.lux2
-rw-r--r--stdlib/source/test/lux/type/poly/json.lux2
-rw-r--r--stdlib/source/test/lux/type/primitive.lux6
-rw-r--r--stdlib/source/test/lux/type/quotient.lux2
-rw-r--r--stdlib/source/test/lux/type/refinement.lux2
-rw-r--r--stdlib/source/test/lux/type/resource.lux6
-rw-r--r--stdlib/source/test/lux/type/unit.lux2
-rw-r--r--stdlib/source/test/lux/type/variance.lux6
-rw-r--r--stdlib/source/test/lux/world.lux14
-rw-r--r--stdlib/source/test/lux/world/console.lux2
-rw-r--r--stdlib/source/test/lux/world/file.lux4
-rw-r--r--stdlib/source/test/lux/world/file/watch.lux4
-rw-r--r--stdlib/source/test/lux/world/input/keyboard.lux2
-rw-r--r--stdlib/source/test/lux/world/net/http/client.lux8
-rw-r--r--stdlib/source/test/lux/world/net/http/status.lux2
-rw-r--r--stdlib/source/test/lux/world/output/video/resolution.lux2
-rw-r--r--stdlib/source/test/lux/world/program.lux4
-rw-r--r--stdlib/source/test/lux/world/shell.lux4
175 files changed, 432 insertions, 439 deletions
diff --git a/stdlib/source/test/aedifex.lux b/stdlib/source/test/aedifex.lux
index 0e35d1714..39a98a424 100644
--- a/stdlib/source/test/aedifex.lux
+++ b/stdlib/source/test/aedifex.lux
@@ -5,7 +5,7 @@
["_" test (.only Test)]
[control
["[0]" io]]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" artifact]
["[1][0]" cli]
["[1][0]" command]
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index 1dcc00f38..3c6992628 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -17,7 +17,7 @@
["[0]" file]
[net
["[0]" uri]]]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" extension]
["[1][0]" snapshot]
["[1][0]" time]
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index 5ec2f0939..4314050e8 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -14,8 +14,8 @@
[number
["n" nat]]]]]
[\\program
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" //
["[1]" type]]]])
(def: .public test
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index adfb1efc8..592b731ce 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -12,7 +12,7 @@
["<[0]>" xml]]]
[math
["[0]" random (.only Random) ("[1]#[0]" monad)]]]]
- ["$[0]" / "_"
+ ["$[0]" /
["[1][0]" build]
["[1][0]" stamp]
["[1][0]" time]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index 92034c73f..eb9b88684 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -16,7 +16,7 @@
["[0]" instant]]]]
[\\program
["[0]" /]]
- ["$[0]" // "_"
+ ["$[0]" //
["[1][0]" time]
["[1][0]" build]])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index e56495624..7b078ff05 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -14,7 +14,7 @@
["[0]" random (.only Random)]]]]
[\\program
["[0]" /]]
- ["$[0]" /// "_"
+ ["$[0]" ///
["[1][0]" time]])
(def: .public random
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index 59860fec4..e35b1e58c 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
@@ -14,9 +14,9 @@
["[0]" random (.only Random)]]]]
[\\program
["[0]" /]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" value]]
- ["$[0]" /// "_"
+ ["$[0]" ///
["[1][0]" type]
["[1][0]" time]])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index e157ff361..9a68089bb 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -20,11 +20,11 @@
["i" int]]]
[time
["[0]" instant]]]]
- ["$[0]" /// "_"
+ ["$[0]" ///
["[1][0]" stamp]]
[\\program
- ["[0]" /
- ["//[1]" ///
+ ["[0]" / (.only)
+ ["//[1]" /// (.only)
["[1][0]" stamp]
["[1][0]" time]]]])
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index a74865f0c..0eec2b191 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -18,7 +18,7 @@
["i" int]]]]]
[\\program
["[0]" /]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" date]
["[1][0]" time]])
diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux
index 2f345da94..1c3d4ca55 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.lux
@@ -14,9 +14,9 @@
["[0]" random (.only Random)]]]]
[\\program
["[0]" /]]
- ["$[0]" // "_"
+ ["$[0]" //
["[1][0]" time]
- ["[1][0]" snapshot
+ ["[1][0]" snapshot (.only)
["[1]/[0]" version]]])
(def: .public random
diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux
index ab035f0e8..13b8e27d4 100644
--- a/stdlib/source/test/aedifex/cache.lux
+++ b/stdlib/source/test/aedifex/cache.lux
@@ -33,8 +33,8 @@
[data
["_[0]" binary]]]]]
[\\program
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" //
["[1]" profile (.only Profile)]
["[1][0]" package (.only Package)]
["[1][0]" pom]
@@ -42,7 +42,7 @@
["[1]/[0]" resolution (.only Resolution)]]
["[1][0]" artifact (.only Artifact)
["[1]/[0]" type (.only Type)]]
- ["[1][0]" repository "_"
+ ["[1][0]" repository
["[1]/[0]" origin]]]]])
(def: type
diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux
index 45e1f7b23..804d0d527 100644
--- a/stdlib/source/test/aedifex/cli.lux
+++ b/stdlib/source/test/aedifex/cli.lux
@@ -18,8 +18,8 @@
[math
["[0]" random (.only Random) ("[1]#[0]" monad)]]]]
[\\program
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" //
["[1]" profile]]]])
(def: compilation
diff --git a/stdlib/source/test/aedifex/command.lux b/stdlib/source/test/aedifex/command.lux
index 728bff970..5005403cf 100644
--- a/stdlib/source/test/aedifex/command.lux
+++ b/stdlib/source/test/aedifex/command.lux
@@ -2,7 +2,7 @@
[library
[lux (.full)
["_" test (.only Test)]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" version]
["[1][0]" pom]
diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux
index eac71601d..fd7543d16 100644
--- a/stdlib/source/test/aedifex/command/auto.lux
+++ b/stdlib/source/test/aedifex/command/auto.lux
@@ -14,7 +14,7 @@
["[0]" async (.only Async)]]]
[data
["[0]" binary]
- ["[0]" text
+ ["[0]" text (.only)
["%" format (.only format)]
[encoding
["[0]" utf8]]]
@@ -32,12 +32,12 @@
["[0]" program (.only Program)]
["[0]" file
["[0]" watch]]]]]
- ["[0]" // "_"
+ ["[0]" //
["$[0]" version]
["$[0]" build]]
[\\program
- ["[0]" /
- ["//[1]" /// "_"
+ ["[0]" / (.only)
+ ["//[1]" ///
[command (.only Command)]
["[1]" profile (.only Profile)]
["[1][0]" action]
diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux
index 68d9aedc3..f6c220743 100644
--- a/stdlib/source/test/aedifex/command/build.lux
+++ b/stdlib/source/test/aedifex/command/build.lux
@@ -23,16 +23,16 @@
["[0]" file]
["[0]" shell (.only Shell)]
["[0]" program]]]]
- ["[0]" // "_"
+ ["[0]" //
["@[0]" version]
- ["$/[1]" // "_"
+ ["$/[1]" //
["[1][0]" package]]]
[\\program
- ["[0]" /
- ["//[1]" /// "_"
+ ["[0]" / (.only)
+ ["//[1]" ///
["[1]" profile (.only Profile)]
["[1][0]" action]
- ["[1][0]" artifact
+ ["[1][0]" artifact (.only)
["[1]/[0]" type]]
["[1][0]" dependency (.only Dependency)
["[1]/[0]" resolution (.only Resolution)]]]]])
diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux
index e6b9019b2..c0264da9f 100644
--- a/stdlib/source/test/aedifex/command/clean.lux
+++ b/stdlib/source/test/aedifex/command/clean.lux
@@ -31,8 +31,8 @@
[data
["$[0]" binary]]]]]]
[\\program
- ["[0]" /
- ["//[1]" /// "_"
+ ["[0]" / (.only)
+ ["//[1]" ///
["[1]" profile]
["[1][0]" action (.only Action)]]]])
diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux
index de4c79b7f..1c925ec2f 100644
--- a/stdlib/source/test/aedifex/command/deploy.lux
+++ b/stdlib/source/test/aedifex/command/deploy.lux
@@ -17,7 +17,7 @@
["%" format (.only format)]
[encoding
["[0]" utf8]]]
- ["[0]" format "_"
+ ["[0]" format
["[1]" binary]
["[0]" tar]
["[0]" xml]]
@@ -41,8 +41,8 @@
["$[0]" profile]
["$[0]" repository]]]
[\\program
- ["[0]" /
- ["//[1]" /// "_"
+ ["[0]" / (.only)
+ ["//[1]" ///
["[1]" profile]
["[1][0]" action]
["[1][0]" pom]
diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux
index c423f822e..975757374 100644
--- a/stdlib/source/test/aedifex/command/deps.lux
+++ b/stdlib/source/test/aedifex/command/deps.lux
@@ -26,29 +26,29 @@
[world
["[0]" program]
["[0]" file]]]]
- ["[0]" // "_"
+ ["[0]" //
["@[0]" version]
- ["$/[1]" // "_"
+ ["$/[1]" //
["[1][0]" package]
["[1][0]" artifact]
- ["[1][0]" dependency "_"
+ ["[1][0]" dependency
["[1]/[0]" resolution]]]]
[\\program
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" //
["[1][0]" clean]
- ["/[1]" // "_"
+ ["/[1]" //
["[1]" profile]
["[1][0]" action]
["[1][0]" pom]
["[1][0]" package]
- ["[1][0]" artifact
+ ["[1][0]" artifact (.only)
["[1]/[0]" type]]
- ["[1][0]" dependency
+ ["[1][0]" dependency (.only)
["[1]/[0]" resolution]
["[1]/[0]" deployment]
["[1]/[0]" status]]
- ["[1][0]" repository
+ ["[1][0]" repository (.only)
["[1]/[0]" origin]
["[1]/[0]" local]]]]]])
diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux
index 3bbc052eb..0d03d982c 100644
--- a/stdlib/source/test/aedifex/command/install.lux
+++ b/stdlib/source/test/aedifex/command/install.lux
@@ -28,16 +28,15 @@
["$[0]" profile]
["$[0]" artifact]]]
[\\program
- ["[0]" /
- ["/[1]" // "_"
- ["/[1]" // "_"
- ["[1]" profile]
- ["[1][0]" action (.only Action)]
- ["[1][0]" local]
- ["[1][0]" artifact
- ["[1]/[0]" extension]]
- ["[1][0]" repository "_"
- ["[1]/[0]" local]]]]]])
+ ["[0]" / (.only)
+ ["/[1]" ///
+ ["[1]" profile]
+ ["[1][0]" action (.only Action)]
+ ["[1][0]" local]
+ ["[1][0]" artifact (.only)
+ ["[1]/[0]" extension]]
+ ["[1][0]" repository
+ ["[1]/[0]" local]]]]])
(def: .public (make_sources! fs sources)
(-> (file.System Async) (Set file.Path) (Action (List Any)))
diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux
index b0453fb9e..69eb2fc8c 100644
--- a/stdlib/source/test/aedifex/command/pom.lux
+++ b/stdlib/source/test/aedifex/command/pom.lux
@@ -24,8 +24,8 @@
[//
["@[0]" profile]]]
[\\program
- ["[0]" /
- ["//[1]" /// "_"
+ ["[0]" / (.only)
+ ["//[1]" ///
["[1]" profile]
["[1][0]" action]
["[1][0]" pom]]]])
diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux
index 93a55d03f..f8cd1d45c 100644
--- a/stdlib/source/test/aedifex/command/test.lux
+++ b/stdlib/source/test/aedifex/command/test.lux
@@ -22,21 +22,21 @@
["[0]" file]
["[0]" shell]
["[0]" program]]]]
- ["[0]" // "_"
+ ["[0]" //
["@[0]" version]
["@[0]" build]
- ["$/[1]" // "_"
+ ["$/[1]" //
["[1][0]" package]]]
[\\program
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" //
["[1][0]" build]
- ["/[1]" // "_"
+ ["/[1]" //
["[1]" profile (.only Profile)]
["[1][0]" action]
["[1][0]" artifact
["[1]/[0]" type]]
- ["[1][0]" dependency
+ ["[1][0]" dependency (.only)
["[1]/[0]" resolution]]]]]])
(def: .public test
diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux
index f535c2383..ec8bf79f7 100644
--- a/stdlib/source/test/aedifex/dependency/deployment.lux
+++ b/stdlib/source/test/aedifex/dependency/deployment.lux
@@ -15,7 +15,7 @@
[data
["[0]" product]
["[0]" binary (.only Binary) ("[1]#[0]" equivalence)]
- ["[0]" text
+ ["[0]" text (.only)
["%" format (.only format)]]
[collection
["[0]" dictionary (.only Dictionary)]
@@ -28,15 +28,15 @@
[world
[net (.only URL)
["[0]" uri (.only URI)]
- ["[0]" http "_"
+ ["[0]" http
["[1]" client]
["[1]/[0]" status]
["@[1]" /]]]]]]
- ["$[0]" //
- ["[1]/" // "_"
+ ["$[0]" // (.only)
+ ["[1]/" //
["[1][0]" package]]]
[\\program
- ["[0]" /
+ ["[0]" / (.only)
[// (.only Dependency)
["[0]" resolution]
[//
@@ -46,7 +46,7 @@
["[0]" artifact (.only Artifact) ("[1]#[0]" equivalence)
["[1]/[0]" type]
["[1]/[0]" extension]]
- ["[0]" repository
+ ["[0]" repository (.only)
["[0]" remote]]]]]])
(def: good_upload
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index e5bd1af47..666bd0c53 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -15,7 +15,7 @@
[data
[binary (.only Binary)]
["[0]" product]
- ["[0]" text
+ ["[0]" text (.only)
["%" format (.only format)]
[encoding
["[0]" utf8]]]
@@ -27,15 +27,15 @@
["[0]" list]]]
[math
["[0]" random (.only Random)]]]]
- ["$[0]" /// "_"
+ ["$[0]" ///
["[1][0]" package]
["[1][0]" repository]
["[1][0]" artifact]
[command
["[1][0]" version]]]
[\\program
- ["[0]" /
- ["//[1]" /// "_"
+ ["[0]" / (.only)
+ ["//[1]" ///
["[1]" profile]
["[1][0]" package (.only Package)]
["[1][0]" hash]
diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux
index ca0f9002d..9b5f089f1 100644
--- a/stdlib/source/test/aedifex/dependency/status.lux
+++ b/stdlib/source/test/aedifex/dependency/status.lux
@@ -7,15 +7,15 @@
[\\specification
["$[0]" equivalence]]]
[data
- ["[0]" binary "_"
+ ["[0]" binary
["[1]T" \\test]]]
[math
["[0]" random (.only Random) ("[1]#[0]" monad)]]]]
- ["$[0]" /// "_"
+ ["$[0]" ///
["[1][0]" hash]]
[\\program
- ["[0]" /
- ["//[1]" /// "_"
+ ["[0]" / (.only)
+ ["//[1]" ///
["[1][0]" hash]]]])
(def: .public random
diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux
index d917b5903..0c5b09a06 100644
--- a/stdlib/source/test/aedifex/input.lux
+++ b/stdlib/source/test/aedifex/input.lux
@@ -22,8 +22,8 @@
[//
["$[0]" profile]]
[\\program
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" //
["[1]" profile (.only Profile)]
["[1][0]" project]
["[1][0]" action]
diff --git a/stdlib/source/test/aedifex/local.lux b/stdlib/source/test/aedifex/local.lux
index bc8016743..dfb17ebad 100644
--- a/stdlib/source/test/aedifex/local.lux
+++ b/stdlib/source/test/aedifex/local.lux
@@ -11,8 +11,8 @@
[//
["@[0]" artifact]]
[\\program
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" //
["[1][0]" artifact]]]])
(def: .public test
diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux
index bcdfee998..7bdf5b983 100644
--- a/stdlib/source/test/aedifex/metadata.lux
+++ b/stdlib/source/test/aedifex/metadata.lux
@@ -8,7 +8,7 @@
["[0]" text ("[1]#[0]" equivalence)]]
[math
["[0]" random]]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" artifact]
["[1][0]" snapshot]
[//
diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux
index e78d7b977..dc1189ffd 100644
--- a/stdlib/source/test/aedifex/metadata/artifact.lux
+++ b/stdlib/source/test/aedifex/metadata/artifact.lux
@@ -24,7 +24,7 @@
["[0]" random (.only Random)]
[number
["n" nat]]]
- ["[0]" time
+ ["[0]" time (.only)
["[0]" date]
["[0]" year]
["[0]" month]
@@ -34,11 +34,11 @@
["[0]" file]
["[0]" program]]]]
[\\program
- ["[0]" /
- ["/[1]" //
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" // (.only)
+ ["/[1]" //
["[1][0]" artifact]
- ["[1][0]" repository "_"
+ ["[1][0]" repository
["[1]/[0]" local]]]]]])
(def: .public random
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index 34afe63bd..35ebfe382 100644
--- a/stdlib/source/test/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/test/aedifex/metadata/snapshot.lux
@@ -24,7 +24,7 @@
["[0]" random (.only Random) ("[1]#[0]" monad)]
[number
["n" nat]]]
- ["[0]" time
+ ["[0]" time (.only)
["[0]" date]
["[0]" year]
["[0]" month]
@@ -33,20 +33,20 @@
[world
["[0]" file]
["[0]" program]]]]
- ["$[0]" /// "_"
+ ["$[0]" ///
["[1][0]" artifact
["[1]/[0]" type]
["[1]/[0]" time]
- ["[1]/[0]" snapshot "_"
+ ["[1]/[0]" snapshot
["[1]/[0]" version]]]]
[\\program
- ["[0]" /
- ["/[1]" //
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" // (.only)
+ ["/[1]" //
[artifact
[versioning (.only Versioning)]
["[1][0]" snapshot]]
- ["[1][0]" repository "_"
+ ["[1][0]" repository
["[1]/[0]" local]]]]]])
(def: random_instant
diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux
index 6819da2ac..ee8e252dc 100644
--- a/stdlib/source/test/aedifex/package.lux
+++ b/stdlib/source/test/aedifex/package.lux
@@ -10,7 +10,7 @@
["[0]" try]]
[data
["[0]" product]
- ["[0]" text
+ ["[0]" text (.only)
[encoding
["[0]" utf8]]]
[format
@@ -30,8 +30,8 @@
[data
["$[0]" binary]]]]]
[\\program
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" //
["[1]" profile]
["[1][0]" hash ("[1]#[0]" equivalence)]
["[1][0]" pom]
diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux
index e1c6dfa08..3fa66502c 100644
--- a/stdlib/source/test/aedifex/parser.lux
+++ b/stdlib/source/test/aedifex/parser.lux
@@ -25,8 +25,8 @@
[//
["@[0]" profile]]
[\\program
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" //
["[1]" profile]
["[1][0]" project (.only Project)]
["[1][0]" artifact (.only Artifact)]
diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux
index 1c2dee136..cf91380b9 100644
--- a/stdlib/source/test/aedifex/pom.lux
+++ b/stdlib/source/test/aedifex/pom.lux
@@ -7,7 +7,7 @@
[control
["[0]" try]
["[0]" exception]
- ["<>" parser
+ ["<>" parser (.only)
["<[0]>" xml]]]
[data
["[0]" text ("[1]#[0]" equivalence)]
@@ -18,8 +18,8 @@
[//
["@[0]" profile]]
[\\program
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" //
["[1]" profile]]]])
(def: .public test
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index 29f2e3633..94900921a 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -25,14 +25,14 @@
[compiler
[meta
[cli
- ["[0]" compiler
+ ["[0]" compiler (.only)
["$[1]" \\test]]]]]]]]
[//
["@[0]" artifact]
["@[0]" dependency]]
[\\program
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" //
["[1][0]" runtime]
["[1][0]" dependency (.only Dependency)]
["[1][0]" format]
diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux
index dda9723f1..bc4cef70a 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -20,8 +20,8 @@
[//
["@[0]" profile]]
[\\program
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" //
["[1]" profile]]]])
(def: profile
diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux
index e2dc13f1d..f3a287575 100644
--- a/stdlib/source/test/aedifex/repository.lux
+++ b/stdlib/source/test/aedifex/repository.lux
@@ -13,7 +13,7 @@
[data
["[0]" product]
["[0]" binary (.only Binary)]
- ["[0]" text
+ ["[0]" text (.only)
["%" format (.only format)]]
[collection
["[0]" dictionary (.only Dictionary)]]]
@@ -22,7 +22,7 @@
[world
[net
["[0]" uri (.only URI)]]]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" identity]
["[1][0]" origin]
["[1][0]" local]
@@ -32,9 +32,9 @@
[\\specification
["$[0]" /]]
[\\program
- ["[0]" /
+ ["[0]" / (.only)
["[0]" remote]
- ["/[1]" // "_"
+ ["/[1]" //
["[1][0]" artifact (.only Version Artifact)
["[1]/[0]" extension (.only Extension)]]]]])
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index ac472ca0e..ce6164248 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -22,13 +22,13 @@
["[0]" random (.only Random)]]
[world
[net (.only URL)
- ["[0]" http "_"
+ ["[0]" http
["[1]" client]
["[1]/[0]" status]
["@[1]" /]]]]]]
[\\program
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" //
["[1][0]" identity]]]])
(def: (url_body url)
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index cfa023145..17c2cb04c 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -42,7 +42,7 @@
["[0]" meta ("[1]#[0]" monad)
["[0]" location ("[1]#[0]" equivalence)]]]]
... TODO: Must have 100% coverage on tests.
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" abstract]
["[1][0]" control]
["[1][0]" data]
@@ -54,7 +54,6 @@
["[1][0]" meta]
["[1][0]" program]
["[1][0]" static]
- ["[1][0]" target]
["[1][0]" test]
["[1][0]" time]
["[1][0]" tool]
@@ -62,7 +61,7 @@
["[1][0]" world]
["[1][0]" ffi]
["[1][0]" extension]
- ["[1][0]" target "_"
+ ["[1][0]" target (.only)
(~~ (.for "{old}" (~~ (.these ["[1]/[0]" jvm]))
"JVM" (~~ (.these ["[1]/[0]" jvm]))
"JavaScript" (~~ (.these ["[1]/[0]" js]))
@@ -487,7 +486,7 @@
("lux def module" [[<module/0> <alias>]])
[(<referral> <module/0> (.except <definition>))]]
- [(.using [<alias> <module/0>' "_"])
+ [(.using [<alias> <module/0>'])
("lux def module" [])
[]]
@@ -503,13 +502,13 @@
[(<referral> <module/0>)
(<referral> <m0/1>)]]
- [(.using ["[0]" <module/0>' "_"
+ [(.using ["[0]" <module/0>'
["[1]" <module/1>']])
("lux def module" [[<m0/1> <module/0>]])
[(<referral> <m0/1>)]]
- [(.using ["[0]" <module/0>' "_"
- ["[1]" <module/1>' "_"
+ [(.using ["[0]" <module/0>'
+ ["[1]" <module/1>'
["[2]" <module/2>']]])
("lux def module" [[<m0/1/2> <module/0>]])
[(<referral> <m0/1/2>)]]
diff --git a/stdlib/source/test/lux/abstract.lux b/stdlib/source/test/lux/abstract.lux
index 426a49cb6..a51e2a2d8 100644
--- a/stdlib/source/test/lux/abstract.lux
+++ b/stdlib/source/test/lux/abstract.lux
@@ -2,19 +2,19 @@
[library
[lux (.full)
["_" test (.only Test)]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" apply]
["[1][0]" codec]
- ["[1][0]" comonad
+ ["[1][0]" comonad (.only)
["[1]/[0]" cofree]]
["[1][0]" enum]
["[1][0]" equivalence]
["[1][0]" hash]
["[1][0]" mix]
- ["[1][0]" functor
+ ["[1][0]" functor (.only)
["[1]/[0]" contravariant]]
["[1][0]" interval]
- ["[1][0]" monad
+ ["[1][0]" monad (.only)
["[1]/[0]" free]]
["[1][0]" monoid]
["[1][0]" order]
diff --git a/stdlib/source/test/lux/abstract/monoid.lux b/stdlib/source/test/lux/abstract/monoid.lux
index 997a6af4d..76af6f07a 100644
--- a/stdlib/source/test/lux/abstract/monoid.lux
+++ b/stdlib/source/test/lux/abstract/monoid.lux
@@ -10,7 +10,7 @@
["[0]" nat]
["[0]" int]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[//
[equivalence (.only Equivalence)]]]])
diff --git a/stdlib/source/test/lux/abstract/order.lux b/stdlib/source/test/lux/abstract/order.lux
index 640dc0e8c..9c527ccb3 100644
--- a/stdlib/source/test/lux/abstract/order.lux
+++ b/stdlib/source/test/lux/abstract/order.lux
@@ -14,7 +14,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[//
[equivalence (.only Equivalence)]]]])
diff --git a/stdlib/source/test/lux/control.lux b/stdlib/source/test/lux/control.lux
index 4fe6486f0..3fff75e05 100644
--- a/stdlib/source/test/lux/control.lux
+++ b/stdlib/source/test/lux/control.lux
@@ -2,9 +2,9 @@
[library
[lux (.except function)
["_" test (.only Test)]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" concatenative]
- ["[1][0]" concurrency "_"
+ ["[1][0]" concurrency
["[1]/[0]" actor]
["[1]/[0]" atom]
["[1]/[0]" frp]
diff --git a/stdlib/source/test/lux/control/concurrency/async.lux b/stdlib/source/test/lux/control/concurrency/async.lux
index 09bff8f88..c6c30199a 100644
--- a/stdlib/source/test/lux/control/concurrency/async.lux
+++ b/stdlib/source/test/lux/control/concurrency/async.lux
@@ -21,7 +21,7 @@
["i" int]
["[0]" i64]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[//
["[0]" atom (.only Atom)]]]])
diff --git a/stdlib/source/test/lux/control/concurrency/frp.lux b/stdlib/source/test/lux/control/concurrency/frp.lux
index 56497adc2..d58d83231 100644
--- a/stdlib/source/test/lux/control/concurrency/frp.lux
+++ b/stdlib/source/test/lux/control/concurrency/frp.lux
@@ -23,7 +23,7 @@
[type
["[0]" variance]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[//
["[0]" async (.only Async) ("[1]#[0]" monad)]
["[0]" atom (.only Atom atom)]]]])
diff --git a/stdlib/source/test/lux/control/concurrency/stm.lux b/stdlib/source/test/lux/control/concurrency/stm.lux
index f9a433146..cfb33f21d 100644
--- a/stdlib/source/test/lux/control/concurrency/stm.lux
+++ b/stdlib/source/test/lux/control/concurrency/stm.lux
@@ -19,7 +19,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[//
["[0]" atom (.only Atom atom)]
["[0]" async]
diff --git a/stdlib/source/test/lux/control/concurrency/thread.lux b/stdlib/source/test/lux/control/concurrency/thread.lux
index 12d5143f8..050972a1e 100644
--- a/stdlib/source/test/lux/control/concurrency/thread.lux
+++ b/stdlib/source/test/lux/control/concurrency/thread.lux
@@ -15,7 +15,7 @@
["n" nat]
["i" int]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[//
["[0]" atom (.only Atom)]
["[0]" async]]]])
diff --git a/stdlib/source/test/lux/control/function.lux b/stdlib/source/test/lux/control/function.lux
index 1d8e9c086..9b321bb15 100644
--- a/stdlib/source/test/lux/control/function.lux
+++ b/stdlib/source/test/lux/control/function.lux
@@ -13,7 +13,7 @@
["n" nat]]]]]
[\\library
["[0]" /]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" contract]
["[1][0]" memo]
["[1][0]" mixin]
diff --git a/stdlib/source/test/lux/control/function/memo.lux b/stdlib/source/test/lux/control/function/memo.lux
index ed0195bcb..67cdb6c3c 100644
--- a/stdlib/source/test/lux/control/function/memo.lux
+++ b/stdlib/source/test/lux/control/function/memo.lux
@@ -23,8 +23,8 @@
["[0]" instant]
["[0]" duration (.only Duration)]]]]
[\\library
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" //
["[1]" mixin]]]])
(def: (fibonacci again input)
diff --git a/stdlib/source/test/lux/control/parser.lux b/stdlib/source/test/lux/control/parser.lux
index 3fb9b074b..8c3cd9047 100644
--- a/stdlib/source/test/lux/control/parser.lux
+++ b/stdlib/source/test/lux/control/parser.lux
@@ -27,7 +27,7 @@
["[0]" code]]]]
[\\library
["[0]" / (.only Parser)]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" analysis]
["[1][0]" binary]
["[1][0]" cli]
diff --git a/stdlib/source/test/lux/control/parser/binary.lux b/stdlib/source/test/lux/control/parser/binary.lux
index 78218cdd4..006eff5ed 100644
--- a/stdlib/source/test/lux/control/parser/binary.lux
+++ b/stdlib/source/test/lux/control/parser/binary.lux
@@ -21,7 +21,7 @@
["%" format (.only format)]
[encoding
["[0]" utf8]]]
- ["[0]" format "_"
+ ["[0]" format
["[1]" binary]]
[collection
["[0]" list]
diff --git a/stdlib/source/test/lux/control/parser/environment.lux b/stdlib/source/test/lux/control/parser/environment.lux
index 959a2603b..a74f51ccd 100644
--- a/stdlib/source/test/lux/control/parser/environment.lux
+++ b/stdlib/source/test/lux/control/parser/environment.lux
@@ -16,7 +16,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
["/[1]" // ("[1]#[0]" monad)]]])
(def: .public test
diff --git a/stdlib/source/test/lux/control/parser/text.lux b/stdlib/source/test/lux/control/parser/text.lux
index 41d92a3be..a9ae968ec 100644
--- a/stdlib/source/test/lux/control/parser/text.lux
+++ b/stdlib/source/test/lux/control/parser/text.lux
@@ -12,7 +12,7 @@
[data
["[0]" text ("[1]#[0]" equivalence)
["%" format (.only format)]
- ["[0]" unicode "_"
+ ["[0]" unicode
["[1]" set]
["[1]/[0]" block]]]
[collection
@@ -28,8 +28,8 @@
["^" pattern]
["[0]" code]]]]
[\\library
- ["[0]" /
- ["<>" //
+ ["[0]" / (.only)
+ ["<>" // (.only)
["<c>" code]]]])
(template: (!expect <pattern> <value>)
diff --git a/stdlib/source/test/lux/control/parser/tree.lux b/stdlib/source/test/lux/control/parser/tree.lux
index 6ec6dc06f..8253af8bc 100644
--- a/stdlib/source/test/lux/control/parser/tree.lux
+++ b/stdlib/source/test/lux/control/parser/tree.lux
@@ -9,7 +9,7 @@
["[0]" exception]]
[data
[collection
- ["[0]" tree
+ ["[0]" tree (.only)
["[0]" zipper]]]]
[macro
["^" pattern]]
@@ -18,7 +18,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
["/[1]" //]]])
(template: (!expect <pattern> <value>)
diff --git a/stdlib/source/test/lux/control/parser/type.lux b/stdlib/source/test/lux/control/parser/type.lux
index 0ccc6a706..d4909695a 100644
--- a/stdlib/source/test/lux/control/parser/type.lux
+++ b/stdlib/source/test/lux/control/parser/type.lux
@@ -22,7 +22,7 @@
[meta
["[0]" symbol ("[1]#[0]" equivalence)]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
["/[1]" //]]])
(template: (!expect <pattern> <value>)
diff --git a/stdlib/source/test/lux/control/parser/xml.lux b/stdlib/source/test/lux/control/parser/xml.lux
index 9a5b17db8..8d29bdfeb 100644
--- a/stdlib/source/test/lux/control/parser/xml.lux
+++ b/stdlib/source/test/lux/control/parser/xml.lux
@@ -25,7 +25,7 @@
[meta
["[0]" symbol ("[1]#[0]" equivalence)]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
["/[1]" // ("[1]#[0]" monad)]]])
(template: (!expect <pattern> <value>)
diff --git a/stdlib/source/test/lux/control/remember.lux b/stdlib/source/test/lux/control/remember.lux
index 758a8e1f3..4a10b2934 100644
--- a/stdlib/source/test/lux/control/remember.lux
+++ b/stdlib/source/test/lux/control/remember.lux
@@ -13,7 +13,7 @@
["<[0]>" code]]]
[data
["[0]" product]
- ["[0]" text
+ ["[0]" text (.only)
["%" format (.only format)]]]
[math
[number (.only hex)]
@@ -22,7 +22,7 @@
["[0]" date (.only Date)]
["[0]" instant]
["[0]" duration]]
- ["[0]" macro
+ ["[0]" macro (.only)
["[0]" code]
["[0]" syntax (.only syntax:)]]]]
[\\library
diff --git a/stdlib/source/test/lux/data.lux b/stdlib/source/test/lux/data.lux
index e4b284bbe..b24847add 100644
--- a/stdlib/source/test/lux/data.lux
+++ b/stdlib/source/test/lux/data.lux
@@ -6,16 +6,16 @@
[monad (.only do)]]
[math
["[0]" random]]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" binary]
["[1][0]" bit]
- ["[1][0]" color
+ ["[1][0]" color (.only)
["[1]/[0]" named]]
["[1][0]" identity]
["[1][0]" product]
["[1][0]" sum]
["[1][0]" text]
- ["[1][0]" format "_"
+ ["[1][0]" format
["[1]/[0]" binary]
["[1]/[0]" json]
["[1]/[0]" tar]
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux
index ef32b9210..51a0599d8 100644
--- a/stdlib/source/test/lux/data/binary.lux
+++ b/stdlib/source/test/lux/data/binary.lux
@@ -23,7 +23,7 @@
["n" nat]
["[0]" i64]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
["!" \\unsafe]]])
(def: (succeed result)
diff --git a/stdlib/source/test/lux/data/collection.lux b/stdlib/source/test/lux/data/collection.lux
index f413c5d63..1ad77e1d3 100644
--- a/stdlib/source/test/lux/data/collection.lux
+++ b/stdlib/source/test/lux/data/collection.lux
@@ -2,22 +2,22 @@
[library
[lux (.full)
["_" test (.only Test)]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" array]
["[1][0]" bits]
["[1][0]" list]
["[1][0]" sequence]
["[1][0]" stream]
["[1][0]" stack]
- ["[1][0]" dictionary
+ ["[1][0]" dictionary (.only)
["[1]/[0]" ordered]
["[1]/[0]" plist]]
- ["[1][0]" queue
+ ["[1][0]" queue (.only)
["[1]/[0]" priority]]
- ["[1][0]" set
+ ["[1][0]" set (.only)
["[1]/[0]" multi]
["[1]/[0]" ordered]]
- ["[1][0]" tree
+ ["[1][0]" tree (.only)
["[1]/[0]" finger]
["[1]/[0]" zipper]]])
diff --git a/stdlib/source/test/lux/data/collection/stream.lux b/stdlib/source/test/lux/data/collection/stream.lux
index e21be7f10..327ed0a1c 100644
--- a/stdlib/source/test/lux/data/collection/stream.lux
+++ b/stdlib/source/test/lux/data/collection/stream.lux
@@ -10,7 +10,7 @@
["$[0]" functor]
["$[0]" comonad]]]
[data
- ["[0]" text
+ ["[0]" text (.only)
["%" format (.only format)]]
[collection
["[0]" list ("[1]#[0]" functor)]]]
diff --git a/stdlib/source/test/lux/data/color/named.lux b/stdlib/source/test/lux/data/color/named.lux
index 9e95d4155..7f35264cd 100644
--- a/stdlib/source/test/lux/data/color/named.lux
+++ b/stdlib/source/test/lux/data/color/named.lux
@@ -15,7 +15,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
["/[1]" //]]])
(with_expansions [<colors> (these [letter/a
diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux
index 0cb47de9f..13ade92c7 100644
--- a/stdlib/source/test/lux/data/format/json.lux
+++ b/stdlib/source/test/lux/data/format/json.lux
@@ -13,7 +13,7 @@
[data
["[0]" product]
["[0]" bit]
- ["[0]" text
+ ["[0]" text (.only)
["%" format (.only format)]]
[collection
["[0]" sequence]
@@ -25,7 +25,7 @@
[number
["n" nat]
["[0]" frac]]]
- ["[0]" macro
+ ["[0]" macro (.only)
["[0]" syntax (.only syntax:)]
["[0]" code]]]]
[\\library
diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux
index fbc51ac82..6e35a347b 100644
--- a/stdlib/source/test/lux/data/format/tar.lux
+++ b/stdlib/source/test/lux/data/format/tar.lux
@@ -8,7 +8,7 @@
["[0]" maybe]
["[0]" try]
["[0]" exception]
- ["<>" parser
+ ["<>" parser (.only)
["<b>" binary]]]
[data
["[0]" product]
@@ -17,13 +17,13 @@
["%" format (.only format)]
[encoding
["[0]" utf8]]
- ["[0]" unicode "_"
+ ["[0]" unicode
["[1]" set]
["[1]/[0]" block]]]
[collection
["[0]" sequence]
["[0]" list ("[1]#[0]" mix)]]
- ["[0]" format "_"
+ ["[0]" format
["[1]" binary]]]
[time
["[0]" instant (.only Instant)]
diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux
index 8c2de7623..2a3a3f919 100644
--- a/stdlib/source/test/lux/data/text.lux
+++ b/stdlib/source/test/lux/data/text.lux
@@ -20,13 +20,13 @@
["[0]" random]
[number
["n" nat]]]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" buffer]
["[1][0]" encoding]
["[1][0]" format]
["[1][0]" regex]
["[1][0]" escape]
- ["[1][0]" unicode "_"
+ ["[1][0]" unicode
["[1]" set]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux
index cfeb536c4..227b1363f 100644
--- a/stdlib/source/test/lux/data/text/encoding.lux
+++ b/stdlib/source/test/lux/data/text/encoding.lux
@@ -22,7 +22,7 @@
["n" nat]]]]]
[\\library
["[0]" /]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" utf8]])
(with_expansions [<encodings> (these [all/a
diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux
index a633bcf48..c3e08062d 100644
--- a/stdlib/source/test/lux/data/text/escape.lux
+++ b/stdlib/source/test/lux/data/text/escape.lux
@@ -26,9 +26,9 @@
[number (.only hex)
["n" nat]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[//
- ["[0]" unicode "_"
+ ["[0]" unicode
["[1]" set]]]]])
(def: (range max min)
diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux
index 16efbdc30..8a0b6e22d 100644
--- a/stdlib/source/test/lux/data/text/format.lux
+++ b/stdlib/source/test/lux/data/text/format.lux
@@ -18,7 +18,7 @@
["[0]" json]]
[collection
["[0]" list ("[1]#[0]" functor)]]]
- ["[0]" time
+ ["[0]" time (.only)
["[0]" day]
["[0]" month]
["[0]" instant]
@@ -40,7 +40,7 @@
["[0]" location]
["[0]" symbol]]
["[0]" type]]]
- ["$[0]" /// "_"
+ ["$[0]" ///
[format
["[1][0]" xml]
["[1][0]" json]]
diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux
index 068831ce4..e37fb04a6 100644
--- a/stdlib/source/test/lux/data/text/regex.lux
+++ b/stdlib/source/test/lux/data/text/regex.lux
@@ -13,7 +13,7 @@
[data
["[0]" text ("[1]#[0]" equivalence)
["%" format (.only format)]]]
- ["[0]" macro
+ ["[0]" macro (.only)
[syntax (.only syntax:)]
["[0]" code]]
[math
diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux
index 07eff4181..dcdb34d34 100644
--- a/stdlib/source/test/lux/data/text/unicode/set.lux
+++ b/stdlib/source/test/lux/data/text/unicode/set.lux
@@ -15,11 +15,11 @@
["[0]" random (.only Random)]
[number
["n" nat]]]]]
- ["[0]" / "_"
- ["/[1]" // "_"
+ ["[0]" /
+ ["/[1]" //
["[1][0]" block]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[//
["[0]" block]]]])
diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux
index ebebc24e6..30aba1af9 100644
--- a/stdlib/source/test/lux/debug.lux
+++ b/stdlib/source/test/lux/debug.lux
@@ -18,7 +18,7 @@
[format
[json (.only JSON)]
[xml (.only XML)]]]
- ["[0]" macro
+ ["[0]" macro (.only)
[syntax (.only syntax:)]
["[0]" code]]
[math
@@ -33,7 +33,7 @@
[day (.only Day)]]]]
[\\library
["[0]" /]]
- ["$[0]" // "_"
+ ["$[0]" //
["[1][0]" type]
[data
[format
diff --git a/stdlib/source/test/lux/documentation.lux b/stdlib/source/test/lux/documentation.lux
index 847db7a02..5c25f6368 100644
--- a/stdlib/source/test/lux/documentation.lux
+++ b/stdlib/source/test/lux/documentation.lux
@@ -13,7 +13,7 @@
["%" format]]
[format
["md" markdown]]]
- ["[0]" macro
+ ["[0]" macro (.only)
[syntax (.only syntax:)]
["[0]" template]
["[0]" code]]]]
diff --git a/stdlib/source/test/lux/extension.lux b/stdlib/source/test/lux/extension.lux
index 069483d09..34b33a60c 100644
--- a/stdlib/source/test/lux/extension.lux
+++ b/stdlib/source/test/lux/extension.lux
@@ -2,14 +2,14 @@
[library
[lux (.full)
["[0]" debug]
- ["@" target
+ ["@" target (.only)
["[0]" js]
["[0]" python]
["[0]" lua]
["[0]" ruby]
["[0]" php]
["[0]" scheme]
- ["[0]" jvm "_"
+ ["[0]" jvm
(~~ (.for "JVM" (~~ (.these ["[1]" bytecode]
["[0]" class]
["[0]" version]
@@ -20,7 +20,7 @@
["[0]" monad (.only do)]]
[control
["[0]" try ("[1]#[0]" functor)]
- ["<>" parser
+ ["<>" parser (.only)
["<[0]>" code]
["<[0]>" analysis]
["<[0]>" synthesis]]]
@@ -51,11 +51,11 @@
["[0]" synthesis]
["[0]" generation]
["[0]" directive]
- ["[0]" analysis
+ ["[0]" analysis (.only)
["[0]" type]]
[phase
[generation
- (~~ (.for "JVM" (~~ (.these ["[0]" jvm "_"
+ (~~ (.for "JVM" (~~ (.these ["[0]" jvm
["[1]/[0]" runtime]]))
(~~ (.these))))]]]]]]
["_" test (.only Test)]]]
diff --git a/stdlib/source/test/lux/ffi.js.lux b/stdlib/source/test/lux/ffi.js.lux
index 6b33ab0c1..db89ac62b 100644
--- a/stdlib/source/test/lux/ffi.js.lux
+++ b/stdlib/source/test/lux/ffi.js.lux
@@ -16,7 +16,7 @@
["[0]" frac]]]]]
[\\library
["[0]" /]]
- ["$[0]" / "_"
+ ["$[0]" /
["[1][0]" export]])
(/.import: Uint8Array
diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux
index 14cf56a54..793a4fcf2 100644
--- a/stdlib/source/test/lux/ffi.jvm.lux
+++ b/stdlib/source/test/lux/ffi.jvm.lux
@@ -20,7 +20,7 @@
["%" format (.only format)]]
[collection
["[0]" array (.only Array)]]]
- ["[0]" macro
+ ["[0]" macro (.only)
[syntax (.only syntax:)]
["[0]" code]
["[0]" template]]
@@ -32,11 +32,11 @@
["i" int ("[1]#[0]" equivalence)]
["f" frac ("[1]#[0]" equivalence)]]]
[target
- ["[0]" jvm "_"
+ ["[0]" jvm
["[1]" type ("[1]#[0]" equivalence)]]]]]
[\\library
["[0]" /]]
- ["$[0]" / "_"
+ ["$[0]" /
["[1][0]" export]])
(/.import: java/lang/Boolean
diff --git a/stdlib/source/test/lux/ffi.lua.lux b/stdlib/source/test/lux/ffi.lua.lux
index 4f96bfb27..9b58115b7 100644
--- a/stdlib/source/test/lux/ffi.lua.lux
+++ b/stdlib/source/test/lux/ffi.lua.lux
@@ -10,7 +10,7 @@
["[0]" random]]]]
[\\library
["[0]" /]]
- ["$[0]" / "_"
+ ["$[0]" /
["[1][0]" export]])
(/.import: (os/getenv [/.String] "io" "?" /.String))
diff --git a/stdlib/source/test/lux/ffi.py.lux b/stdlib/source/test/lux/ffi.py.lux
index 2920af523..030db7d70 100644
--- a/stdlib/source/test/lux/ffi.py.lux
+++ b/stdlib/source/test/lux/ffi.py.lux
@@ -10,7 +10,7 @@
["i" int]]]]]
[\\library
["[0]" /]]
- ["$[0]" / "_"
+ ["$[0]" /
["[1][0]" export]])
(/.import: os
diff --git a/stdlib/source/test/lux/ffi.rb.lux b/stdlib/source/test/lux/ffi.rb.lux
index 11cc009cf..e902fdbac 100644
--- a/stdlib/source/test/lux/ffi.rb.lux
+++ b/stdlib/source/test/lux/ffi.rb.lux
@@ -8,7 +8,7 @@
["[0]" random]]]]
[\\library
["[0]" /]]
- ["$[0]" / "_"
+ ["$[0]" /
["[1][0]" export]])
(/.import: File
diff --git a/stdlib/source/test/lux/ffi/export.js.lux b/stdlib/source/test/lux/ffi/export.js.lux
index 2e3a99a78..0bb40db7e 100644
--- a/stdlib/source/test/lux/ffi/export.js.lux
+++ b/stdlib/source/test/lux/ffi/export.js.lux
@@ -7,7 +7,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
["/[1]" //]]])
(with_expansions [<nat> (static.random_nat)]
diff --git a/stdlib/source/test/lux/ffi/export.jvm.lux b/stdlib/source/test/lux/ffi/export.jvm.lux
index 4cf439109..ca8270a46 100644
--- a/stdlib/source/test/lux/ffi/export.jvm.lux
+++ b/stdlib/source/test/lux/ffi/export.jvm.lux
@@ -21,7 +21,7 @@
["[0]" int ("[1]#[0]" equivalence)]
["[0]" frac ("[1]#[0]" equivalence)]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
["/[1]" //]]])
(def: expected_boolean (//.as_boolean (static.random_bit)))
diff --git a/stdlib/source/test/lux/ffi/export.lua.lux b/stdlib/source/test/lux/ffi/export.lua.lux
index 45ce89903..94caf19fb 100644
--- a/stdlib/source/test/lux/ffi/export.lua.lux
+++ b/stdlib/source/test/lux/ffi/export.lua.lux
@@ -7,7 +7,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
["/[1]" //]]])
(with_expansions [<nat> (static.random_nat)]
diff --git a/stdlib/source/test/lux/ffi/export.py.lux b/stdlib/source/test/lux/ffi/export.py.lux
index 2e3a99a78..0bb40db7e 100644
--- a/stdlib/source/test/lux/ffi/export.py.lux
+++ b/stdlib/source/test/lux/ffi/export.py.lux
@@ -7,7 +7,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
["/[1]" //]]])
(with_expansions [<nat> (static.random_nat)]
diff --git a/stdlib/source/test/lux/ffi/export.rb.lux b/stdlib/source/test/lux/ffi/export.rb.lux
index 5a0be82c1..3e1729edd 100644
--- a/stdlib/source/test/lux/ffi/export.rb.lux
+++ b/stdlib/source/test/lux/ffi/export.rb.lux
@@ -7,7 +7,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
["/[1]" //]]])
(with_expansions [<nat> (static.random_nat)]
diff --git a/stdlib/source/test/lux/locale.lux b/stdlib/source/test/lux/locale.lux
index e46cdcac0..cf659e163 100644
--- a/stdlib/source/test/lux/locale.lux
+++ b/stdlib/source/test/lux/locale.lux
@@ -14,11 +14,11 @@
["[0]" encoding (.only Encoding)]]
[collection
["[0]" list]]]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" language]
["[1][0]" territory]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
["[0]" language (.only Language)]
["[0]" territory (.only Territory)]]])
diff --git a/stdlib/source/test/lux/macro.lux b/stdlib/source/test/lux/macro.lux
index 384f0b831..5f1b39ff2 100644
--- a/stdlib/source/test/lux/macro.lux
+++ b/stdlib/source/test/lux/macro.lux
@@ -11,7 +11,7 @@
["<[0]>" code]]]
[data
["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text
+ ["[0]" text (.only)
["%" format (.only format)]]
[collection
["[0]" list]]]
@@ -21,15 +21,15 @@
["[0]" random (.only Random) ("[1]#[0]" functor)]
[number
["n" nat]]]
- ["[0]" meta
+ ["[0]" meta (.only)
["[0]" location]
["[0]" symbol]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[syntax (.only syntax:)]
["[0]" code ("[1]#[0]" equivalence)]
["[0]" template]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" code]
["[1][0]" local]
["[1][0]" syntax]
diff --git a/stdlib/source/test/lux/macro/local.lux b/stdlib/source/test/lux/macro/local.lux
index 9af43e8a4..79c0688c5 100644
--- a/stdlib/source/test/lux/macro/local.lux
+++ b/stdlib/source/test/lux/macro/local.lux
@@ -8,7 +8,7 @@
[control
["[0]" try]
["[0]" exception]
- ["<>" parser
+ ["<>" parser (.only)
["<[0]>" code]]]
[data
[text
@@ -17,7 +17,7 @@
["[0]" list]
[dictionary
["[0]" plist]]]]
- ["[0]" macro
+ ["[0]" macro (.only)
[syntax (.only syntax:)]
["[0]" code]]
[math
diff --git a/stdlib/source/test/lux/macro/syntax.lux b/stdlib/source/test/lux/macro/syntax.lux
index 9c094d3ea..bf072f679 100644
--- a/stdlib/source/test/lux/macro/syntax.lux
+++ b/stdlib/source/test/lux/macro/syntax.lux
@@ -13,13 +13,13 @@
["n" nat]]]]]
[\\library
["[0]" /]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" check]
["[1][0]" declaration]
["[1][0]" definition]
["[1][0]" export]
["[1][0]" input]
- ["[1][0]" type "_"
+ ["[1][0]" type
["[1]/[0]" variable]]])
(/.syntax: (+/3 [a <code>.any
diff --git a/stdlib/source/test/lux/macro/syntax/check.lux b/stdlib/source/test/lux/macro/syntax/check.lux
index 9306672d0..f5ec2a9ae 100644
--- a/stdlib/source/test/lux/macro/syntax/check.lux
+++ b/stdlib/source/test/lux/macro/syntax/check.lux
@@ -8,7 +8,7 @@
["$[0]" equivalence]]]
[control
["[0]" try]
- ["<>" parser
+ ["<>" parser (.only)
["<[0]>" code]]]
[math
["[0]" random (.only Random)]]
@@ -16,7 +16,7 @@
["[0]" code ("[1]#[0]" equivalence)]]]]
[\\library
["[0]" /]]
- ["$[0]" /// "_"
+ ["$[0]" ///
["[1][0]" code]])
(def: .public random
diff --git a/stdlib/source/test/lux/macro/syntax/definition.lux b/stdlib/source/test/lux/macro/syntax/definition.lux
index 1947d0ad1..a657bb83f 100644
--- a/stdlib/source/test/lux/macro/syntax/definition.lux
+++ b/stdlib/source/test/lux/macro/syntax/definition.lux
@@ -9,7 +9,7 @@
[control
["[0]" try]
["[0]" exception]
- ["<>" parser
+ ["<>" parser (.only)
["<[0]>" code]]]
[macro
["[0]" code ("[1]#[0]" equivalence)]]
@@ -19,9 +19,9 @@
["[0]" location]]]]
[\\library
["[0]" /]]
- ["$[0]"// "_"
+ ["$[0]"//
["[1][0]" check]
- ["[1]/" // "_"
+ ["[1]/" //
["[1][0]" code]]])
(def: .public random
diff --git a/stdlib/source/test/lux/macro/syntax/input.lux b/stdlib/source/test/lux/macro/syntax/input.lux
index 28e669496..a7f94d4bd 100644
--- a/stdlib/source/test/lux/macro/syntax/input.lux
+++ b/stdlib/source/test/lux/macro/syntax/input.lux
@@ -19,7 +19,7 @@
["n" nat]]]]]
[\\library
["[0]" /]]
- ["$[0]" /// "_"
+ ["$[0]" ///
["[1][0]" code]])
(def: .public random
diff --git a/stdlib/source/test/lux/macro/template.lux b/stdlib/source/test/lux/macro/template.lux
index 0be375703..eb5d1de14 100644
--- a/stdlib/source/test/lux/macro/template.lux
+++ b/stdlib/source/test/lux/macro/template.lux
@@ -12,7 +12,7 @@
[data
[collection
["[0]" list]]]
- ["[0]" macro
+ ["[0]" macro (.only)
[syntax (.only syntax:)]
["[0]" code]]
[math
diff --git a/stdlib/source/test/lux/math.lux b/stdlib/source/test/lux/math.lux
index 33f79592b..3164ce3ff 100644
--- a/stdlib/source/test/lux/math.lux
+++ b/stdlib/source/test/lux/math.lux
@@ -19,12 +19,12 @@
["[0]" complex (.only Complex)]]]]]
[\\library
["[0]" /]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" infix]
["[1][0]" modulus]
["[1][0]" modular]
["[1][0]" number]
- ["[1][0]" logic "_"
+ ["[1][0]" logic
["[1]/[0]" continuous]
["[1]/[0]" fuzzy]]])
diff --git a/stdlib/source/test/lux/math/logic/fuzzy.lux b/stdlib/source/test/lux/math/logic/fuzzy.lux
index 22ac0156a..b1f4686a5 100644
--- a/stdlib/source/test/lux/math/logic/fuzzy.lux
+++ b/stdlib/source/test/lux/math/logic/fuzzy.lux
@@ -20,7 +20,7 @@
["r" rev]]]]]
[\\library
["[0]" / (.only Fuzzy)
- ["/[1]" // "_"
+ ["/[1]" //
["[1]" continuous]]]])
(def: trivial
diff --git a/stdlib/source/test/lux/math/modular.lux b/stdlib/source/test/lux/math/modular.lux
index 0ebfe2ee2..51e189e71 100644
--- a/stdlib/source/test/lux/math/modular.lux
+++ b/stdlib/source/test/lux/math/modular.lux
@@ -21,11 +21,11 @@
["[0]" random (.only Random)]
[number
["i" int]]]]]
- ["$[0]" // "_"
+ ["$[0]" //
["[1]" modulus]]
[\\library
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" //
["[1]" modulus]]]])
(def: .public (random modulus)
diff --git a/stdlib/source/test/lux/math/number.lux b/stdlib/source/test/lux/math/number.lux
index 0466f5049..62e385597 100644
--- a/stdlib/source/test/lux/math/number.lux
+++ b/stdlib/source/test/lux/math/number.lux
@@ -7,12 +7,12 @@
[data
["[0]" text]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
["n" nat]
["i" int]
["r" rev]
["f" frac]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" i8]
["[1][0]" i16]
["[1][0]" i32]
diff --git a/stdlib/source/test/lux/math/number/complex.lux b/stdlib/source/test/lux/math/number/complex.lux
index 87371ec78..fe6aad7d8 100644
--- a/stdlib/source/test/lux/math/number/complex.lux
+++ b/stdlib/source/test/lux/math/number/complex.lux
@@ -12,7 +12,7 @@
[math
["[0]" random (.only Random)]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[//
["n" nat]
["f" frac]
diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux
index f0c25394f..a200056ad 100644
--- a/stdlib/source/test/lux/math/number/frac.lux
+++ b/stdlib/source/test/lux/math/number/frac.lux
@@ -19,7 +19,7 @@
[math
["[0]" random (.only Random)]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[// (.full)
["n" nat]
["i" int]
diff --git a/stdlib/source/test/lux/math/number/i16.lux b/stdlib/source/test/lux/math/number/i16.lux
index 6a9fbc7cd..60009e256 100644
--- a/stdlib/source/test/lux/math/number/i16.lux
+++ b/stdlib/source/test/lux/math/number/i16.lux
@@ -9,8 +9,8 @@
[math
["[0]" random (.only Random)]]]]
[\\library
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" //
["i" int]
["[1][0]" i64]]]])
diff --git a/stdlib/source/test/lux/math/number/i32.lux b/stdlib/source/test/lux/math/number/i32.lux
index d2eb27dfd..02f6a365c 100644
--- a/stdlib/source/test/lux/math/number/i32.lux
+++ b/stdlib/source/test/lux/math/number/i32.lux
@@ -9,8 +9,8 @@
[math
["[0]" random (.only Random)]]]]
[\\library
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" //
["i" int]
["[1][0]" i64]]]])
diff --git a/stdlib/source/test/lux/math/number/i8.lux b/stdlib/source/test/lux/math/number/i8.lux
index a481de011..1ab7401b1 100644
--- a/stdlib/source/test/lux/math/number/i8.lux
+++ b/stdlib/source/test/lux/math/number/i8.lux
@@ -9,8 +9,8 @@
[math
["[0]" random (.only Random)]]]]
[\\library
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" //
["i" int]
["[1][0]" i64]]]])
diff --git a/stdlib/source/test/lux/math/number/int.lux b/stdlib/source/test/lux/math/number/int.lux
index fc5242986..542a1ff48 100644
--- a/stdlib/source/test/lux/math/number/int.lux
+++ b/stdlib/source/test/lux/math/number/int.lux
@@ -17,7 +17,7 @@
[math
["[0]" random (.only Random)]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[//
["n" nat]
["f" frac]
diff --git a/stdlib/source/test/lux/math/number/nat.lux b/stdlib/source/test/lux/math/number/nat.lux
index 76819860f..f5020a06b 100644
--- a/stdlib/source/test/lux/math/number/nat.lux
+++ b/stdlib/source/test/lux/math/number/nat.lux
@@ -17,7 +17,7 @@
[math
["[0]" random]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[//
["f" frac]]]])
diff --git a/stdlib/source/test/lux/math/number/ratio.lux b/stdlib/source/test/lux/math/number/ratio.lux
index 5f6725932..9e808e35e 100644
--- a/stdlib/source/test/lux/math/number/ratio.lux
+++ b/stdlib/source/test/lux/math/number/ratio.lux
@@ -16,7 +16,7 @@
[math
["[0]" random (.only Random)]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[//
["n" nat ("[1]#[0]" equivalence)]]]])
diff --git a/stdlib/source/test/lux/math/number/rev.lux b/stdlib/source/test/lux/math/number/rev.lux
index 4036f6fd2..6fa030995 100644
--- a/stdlib/source/test/lux/math/number/rev.lux
+++ b/stdlib/source/test/lux/math/number/rev.lux
@@ -17,7 +17,7 @@
[math
["[0]" random]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[// (.only hex)
["n" nat]
["f" frac]
diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux
index dfb47ac4b..f55583a1f 100644
--- a/stdlib/source/test/lux/meta.lux
+++ b/stdlib/source/test/lux/meta.lux
@@ -32,7 +32,7 @@
["[0]" symbol ("[1]#[0]" equivalence)]]]]
[\\library
["[0]" /]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" location]
["[1][0]" symbol]
["[1][0]" configuration]
diff --git a/stdlib/source/test/lux/meta/configuration.lux b/stdlib/source/test/lux/meta/configuration.lux
index b5fe77369..de8a402be 100644
--- a/stdlib/source/test/lux/meta/configuration.lux
+++ b/stdlib/source/test/lux/meta/configuration.lux
@@ -11,14 +11,14 @@
[control
["[0]" try ("[1]#[0]" functor)]
["[0]" exception]
- ["<>" parser
+ ["<>" parser (.only)
["<[0]>" text]
["<[0]>" code]]]
[data
["[0]" text]
[collection
["[0]" list]]]
- ["[0]" macro
+ ["[0]" macro (.only)
[syntax (.only syntax:)]
["[0]" code]]
[math
diff --git a/stdlib/source/test/lux/meta/location.lux b/stdlib/source/test/lux/meta/location.lux
index f607643b7..1891deb66 100644
--- a/stdlib/source/test/lux/meta/location.lux
+++ b/stdlib/source/test/lux/meta/location.lux
@@ -12,7 +12,7 @@
["[0]" random (.only Random)]]]]
[\\library
["[0]" /]]
- ["$[0]" /// "_"
+ ["$[0]" ///
[macro
["[1][0]" code]]])
diff --git a/stdlib/source/test/lux/meta/version.lux b/stdlib/source/test/lux/meta/version.lux
index 939205c38..4ccdf6163 100644
--- a/stdlib/source/test/lux/meta/version.lux
+++ b/stdlib/source/test/lux/meta/version.lux
@@ -13,7 +13,7 @@
["<[0]>" code]]]
[data
["[0]" text]]
- ["[0]" macro
+ ["[0]" macro (.only)
[syntax (.only syntax:)]
["[0]" code]]
[math
diff --git a/stdlib/source/test/lux/program.lux b/stdlib/source/test/lux/program.lux
index 2f5e9882e..854ef3a4b 100644
--- a/stdlib/source/test/lux/program.lux
+++ b/stdlib/source/test/lux/program.lux
@@ -7,7 +7,7 @@
[control
["[0]" io]
["[0]" try]
- ["<>" parser
+ ["<>" parser (.only)
["<[0]>" code]
["<[0]>" cli]]]
[data
diff --git a/stdlib/source/test/lux/target/jvm.lux b/stdlib/source/test/lux/target/jvm.lux
index c970bbab0..0dddacfb5 100644
--- a/stdlib/source/test/lux/target/jvm.lux
+++ b/stdlib/source/test/lux/target/jvm.lux
@@ -16,7 +16,7 @@
["[0]" bit ("[1]#[0]" equivalence)]
["[0]" text ("[1]#[0]" equivalence)
["%" format (.only format)]]
- ["[0]" format "_"
+ ["[0]" format
["[1]" binary]]
[collection
["[0]" array]
@@ -34,16 +34,16 @@
["[0]" i64]]]
["_" test (.only Test)]]]
[\\library
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" loader (.only Library)]
["[1][0]" version]
["[1][0]" modifier ("[1]#[0]" monoid)]
["[1][0]" field]
["[1][0]" method (.only Method)]
["[1][0]" class]
- ["[1][0]" attribute
+ ["[1][0]" attribute (.only)
["[1]/[0]" code]]
- ["[1][0]" constant
+ ["[1][0]" constant (.only)
["[1]/[0]" pool (.only Resource)]]
[encoding
["[1][0]" name]
diff --git a/stdlib/source/test/lux/target/ruby.lux b/stdlib/source/test/lux/target/ruby.lux
index a789477c1..8745dcbac 100644
--- a/stdlib/source/test/lux/target/ruby.lux
+++ b/stdlib/source/test/lux/target/ruby.lux
@@ -30,7 +30,7 @@
[tool
[compiler
[meta
- ["[0]" packager "_"
+ ["[0]" packager
["[1]" ruby]]]]]
[world
["[0]" file]]]]
diff --git a/stdlib/source/test/lux/time.lux b/stdlib/source/test/lux/time.lux
index be3a878e8..9bd65e58f 100644
--- a/stdlib/source/test/lux/time.lux
+++ b/stdlib/source/test/lux/time.lux
@@ -16,13 +16,13 @@
[parser
["<[0]>" text]]]
[data
- ["[0]" text
+ ["[0]" text (.only)
["%" format (.only format)]]]
[math
["[0]" random]
[number
["n" nat]]]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" date]
["[1][0]" day]
["[1][0]" duration]
@@ -30,7 +30,7 @@
["[1][0]" month]
["[1][0]" year]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
["[0]" duration]]])
(def: for_implementation
diff --git a/stdlib/source/test/lux/time/month.lux b/stdlib/source/test/lux/time/month.lux
index ff3144e24..4515e8685 100644
--- a/stdlib/source/test/lux/time/month.lux
+++ b/stdlib/source/test/lux/time/month.lux
@@ -23,7 +23,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[//
["[0]" duration]]]])
diff --git a/stdlib/source/test/lux/time/year.lux b/stdlib/source/test/lux/time/year.lux
index 5f3c342f6..43284c86e 100644
--- a/stdlib/source/test/lux/time/year.lux
+++ b/stdlib/source/test/lux/time/year.lux
@@ -21,8 +21,8 @@
["n" nat]
["i" int]]]]]
[\\library
- ["[0]" /
- ["/[1]" //
+ ["[0]" / (.only)
+ ["/[1]" // (.only)
["[1][0]" duration]
["[1][0]" instant]
["[1][0]" date]]]])
diff --git a/stdlib/source/test/lux/tool.lux b/stdlib/source/test/lux/tool.lux
index 7d0924fcc..f6bbb7a57 100644
--- a/stdlib/source/test/lux/tool.lux
+++ b/stdlib/source/test/lux/tool.lux
@@ -2,7 +2,7 @@
[library
[lux (.full)
["_" test (.only Test)]]]
- ["[0]" / "_"
+ ["[0]" /
[compiler
["[1][0]" arity]
["[1][0]" version]
@@ -12,15 +12,15 @@
[lux
... ["[1][0]" syntax]
["[1][0]" analysis]
- ["[1][0]" synthesis "_"
+ ["[1][0]" synthesis
["[1]/[0]" simple]
["[1]/[0]" access]]
- ["[1][0]" phase "_"
+ ["[1][0]" phase
["[1]/[0]" extension]
["[1]/[0]" analysis]
... ["[1]/[0]" synthesis]
]]]
- ["[1][0]" meta "_"
+ ["[1][0]" meta
["[1]/[0]" archive]
["[1]/[0]" cli]
["[1]/[0]" export]
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux
index 93a281799..171efdafd 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux
@@ -25,9 +25,9 @@
[number
["f" frac]]]
[meta
- ["[0]" configuration "_"
+ ["[0]" configuration
["$[1]" \\test]]]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" complex]
["[1][0]" inference]
["[1][0]" macro]
@@ -38,16 +38,16 @@
["[1][0]" type]
["[1][0]" coverage]
[////
- ["[1][0]" reference
+ ["[1][0]" reference (.only)
["[2][0]" variable]]
[///
[meta
["[1][0]" symbol]
- ["[0]" location "_"
+ ["[0]" location
["[2][1]" /]
["[1]" \\library ("[1]#[0]" equivalence)]]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[//
[phase
["[0]" extension]]
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux
index 786ddcd35..2928edb6e 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux
@@ -30,8 +30,8 @@
["r" rev]
["f" frac]]]]]
[\\library
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" //
["[1][0]" simple]
["[1][0]" complex]
["[1][0]" pattern (.only Pattern)]]]])
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux
index 898981049..122b1c563 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux
@@ -21,15 +21,15 @@
[number
["n" nat]]]
[meta
- ["[0]" symbol "_"
+ ["[0]" symbol
["$[1]" \\test]]
- ["[0]" configuration "_"
+ ["[0]" configuration
["$[1]" \\test]]]
["[0]" type ("[1]#[0]" equivalence)
["[0]" check (.only Check)]]]]
[\\library
- ["[0]" /
- ["/[1]" //
+ ["[0]" / (.only)
+ ["/[1]" // (.only)
[evaluation (.only Eval)]
["[1][0]" macro]
["[1][0]" type]
@@ -38,8 +38,8 @@
[//
[phase
["[2][0]" analysis]
- ["[2][0]" extension
- ["[1]/[0]" analysis "_"
+ ["[2][0]" extension (.only)
+ ["[1]/[0]" analysis
["[1]" lux]]]]
[///
["[2][0]" phase ("[1]#[0]" monad)]
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux
index 9fdf034cb..ca14e546b 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux
@@ -22,16 +22,16 @@
["[0]" random (.only Random) ("[1]#[0]" monad)]
[number
["n" nat]]]
- ["[0]" meta
- ["[0]" configuration "_"
+ ["[0]" meta (.only)
+ ["[0]" configuration
["$[1]" \\test]]]]]
- ["$" /////// "_"
+ ["$" ///////
[macro
["[1][0]" code]]
[meta
["[1][0]" symbol]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
["/[1]" //]]])
(def: random_state
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux
index 3f3d66645..18d788d64 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux
@@ -18,12 +18,12 @@
["[0]" random (.only Random)]
[number
["n" nat]]]
- ["[0]" meta
- ["[0]" configuration "_"
+ ["[0]" meta (.only)
+ ["[0]" configuration
["$[1]" \\test]]]]]
[\\library
- ["[0]" /
- ["/[1]" //
+ ["[0]" / (.only)
+ ["/[1]" // (.only)
[//
[phase
["[2][0]" extension]]
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux
index 35b685b27..5fc37351c 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux
@@ -15,7 +15,7 @@
["f" frac]]]]]
[\\library
["[0]" /]]
- ["[0]" // "_"
+ ["[0]" //
["[1][0]" simple]
["[1][0]" complex]])
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux
index 452ccb5a9..1a98fc073 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux
@@ -17,11 +17,11 @@
["[0]" random (.only Random)]
[number
["n" nat]]]
- ["[0]" type "_"
+ ["[0]" type
["$[1]" \\test]]]]
[\\library
- ["[0]" /
- ["/[1]" //
+ ["[0]" / (.only)
+ ["/[1]" // (.only)
[//
[phase
["[1][0]" extension]]
@@ -29,7 +29,7 @@
["[1][0]" phase ("[1]#[0]" monad)]
[reference
["[1][0]" variable (.only Register Variable)]]]]]]]
- ["$[0]" // "_"
+ ["$[0]" //
["[1][0]" type]])
(template [<name> <tag>]
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux
index a7f98b655..8446656b2 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux
@@ -12,13 +12,13 @@
[math
["[0]" random (.only Random)]]
[meta
- ["[0]" configuration "_"
+ ["[0]" configuration
["$[1]" \\test]]]
["[0]" type ("[1]#[0]" equivalence)
["[0]" check]]]]
[\\library
- ["[0]" /
- ["/[1]" //
+ ["[0]" / (.only)
+ ["/[1]" // (.only)
["[2][0]" module]
[//
[phase
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 5a30f2b3a..4ca9f58d7 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
@@ -21,10 +21,10 @@
["[0]" type ("[1]#[0]" equivalence)
["[0]" check]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[//
- ["[0]" extension
- ["[1]/[0]" analysis "_"
+ ["[0]" extension (.only)
+ ["[1]/[0]" analysis
["[1]" lux]]]
[//
["/[1]" analysis (.only Analysis Operation)
@@ -33,13 +33,13 @@
["[1][0]" scope]
["[1][0]" module]
["[1][0]" pattern]
- ["[1][0]" type
+ ["[1][0]" type (.only)
["$[1]" \\test]]]
[///
["[0]" phase ("[1]#[0]" monad)]
[meta
["[0]" archive]]]]]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" simple]
["[1][0]" complex]
["[1][0]" reference]
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 7bedac9ad..9aa68ea9f 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
@@ -9,7 +9,7 @@
["[0]" exception]]
[data
["[0]" product]
- ["[0]" text
+ ["[0]" text (.only)
["%" format]]]
[macro
["[0]" code]]
@@ -18,22 +18,22 @@
["[0]" type ("[1]#[0]" equivalence)
["[0]" check]]]]
[\\library
- ["[0]" /
- ["/[1]" //
+ ["[0]" / (.only)
+ ["/[1]" // (.only)
[//
- ["[1][0]" extension
- ["[1]/[0]" analysis "_"
+ ["[1][0]" extension (.only)
+ ["[1]/[0]" analysis
["[1]" lux]]]
[//
- ["[1][0]" analysis
+ ["[1][0]" analysis (.only)
[evaluation (.only Eval)]
["[2][0]" macro]
["[2][0]" scope]
["[2][0]" module]
["[2][0]" coverage]
- ["[2][0]" type
+ ["[2][0]" type (.only)
["$[1]" \\test]]
- ["[2][0]" inference "_"
+ ["[2][0]" inference
["$[1]" \\test]]]
[///
["[1][0]" phase ("[1]#[0]" monad)]
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux
index 95d7528d3..9c9ddd153 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux
@@ -12,7 +12,7 @@
[data
["[0]" product]
["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text
+ ["[0]" text (.only)
["%" format (.only format)]]
[collection
["[0]" list ("[1]#[0]" monad monoid)]
@@ -26,18 +26,18 @@
["n" nat]
["f" frac]]]
[meta
- ["[0]" symbol
+ ["[0]" symbol (.only)
["$[1]" \\test]]
- ["[0]" configuration "_"
+ ["[0]" configuration
["$[1]" \\test]]]
["[0]" type ("[1]#[0]" equivalence)
["[0]" check]]]]
[\\library
- ["[0]" /
- ["/[1]" //
+ ["[0]" / (.only)
+ ["/[1]" // (.only)
[//
- ["[1][0]" extension
- ["[1]/[0]" analysis "_"
+ ["[1][0]" extension (.only)
+ ["[1]/[0]" analysis
["[1]" lux]]]
[//
["[1][0]" analysis (.only Analysis)
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 ad1461f1f..98563f2e6 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
@@ -10,7 +10,7 @@
["[0]" exception]]
[data
["[0]" product]
- ["[0]" text
+ ["[0]" text (.only)
["%" format]]
[collection
["[0]" list]]]
@@ -21,26 +21,26 @@
[number
["n" nat]]]
[meta
- ["[0]" symbol "_"
+ ["[0]" symbol
["$[1]" \\test]]]
["[0]" type ("[1]#[0]" equivalence)
["$[1]" \\test]
["[0]" check]]]]
[\\library
- ["[0]" /
- ["/[1]" //
+ ["[0]" / (.only)
+ ["/[1]" // (.only)
[//
- ["[1][0]" extension
- ["[1]/[0]" analysis "_"
+ ["[1][0]" extension (.only)
+ ["[1]/[0]" analysis
["[1]" lux]]]
[//
["[1][0]" analysis (.only Analysis)
[evaluation (.only Eval)]
["[2][0]" macro]
["[2][0]" module]
- ["[2][0]" type
+ ["[2][0]" type (.only)
["$[1]" \\test]]
- ["[2][0]" inference "_"
+ ["[2][0]" inference
["$[1]" \\test]]]
[///
["[1][0]" phase ("[1]#[0]" monad)]
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 8cc91640b..171ed5f63 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
@@ -16,15 +16,15 @@
["[0]" type ("[1]#[0]" equivalence)
["$[1]" \\test]]]]
[\\library
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" //
[//
["[1][0]" extension]
[//
- ["[1][0]" analysis
+ ["[1][0]" analysis (.only)
["[2][0]" scope]
["[2][0]" module]
- ["[2][0]" type
+ ["[2][0]" type (.only)
["$[1]" \\test]]]
[///
["[1][0]" phase ("[1]#[0]" monad)]]]]]]])
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux
index 7e4b0eb24..b1e0be312 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux
@@ -13,10 +13,10 @@
[math
["[0]" random]]
[meta
- ["[0]" configuration "_"
+ ["[0]" configuration
["$[1]" \\test]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[///
["[1][0]" extension]
[//
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux
index 853142226..493c29c2e 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux
@@ -24,7 +24,7 @@
["n" nat]
["i" int]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[/////
["[0]" phase]
[meta
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 776c5ad60..7159422cc 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
@@ -23,8 +23,8 @@
[analysis
["_[0]" primitive]]]
[\\
- ["[0]" /
- ["///[1]" //// "_"
+ ["[0]" / (.only)
+ ["///[1]" ////
[analysis
["[1][0]" scope]
["[1][0]" type]]
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 694bd71dc..a9fe9d076 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
@@ -1,7 +1,7 @@
(.using
[lux (.full)
["_" test (.only Test)]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" primitive]
["[1][0]" structure]
["[1][0]" case]
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 ca480307f..dff1134e8 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
@@ -9,7 +9,7 @@
["[0]" try ("[1]#[0]" functor)]]
[data
["[0]" sum]
- ["[0]" text
+ ["[0]" text (.only)
["%" format (.only format)]]
[number
["n" nat]
@@ -21,19 +21,19 @@
["[0]" set]]]
[math
["[0]" random (.only Random)]]]
- ["[0]" // "_"
+ ["[0]" //
["[1][0]" primitive]]
[\\
- ["[0]" /
- ["/[1]" //
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" // (.only)
+ ["/[1]" //
[extension
["[1][0]" bundle]]
- ["/[1]" //
+ ["/[1]" // (.only)
["[0]" analysis (.only Branch Match Analysis)]
["[0]" synthesis (.only Path Synthesis)]
[///
- ["[1][0]" reference
+ ["[1][0]" reference (.only)
[variable (.only Register)]]
["[0]" phase]
[meta
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 659aa6663..73ed82d88 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
@@ -7,7 +7,7 @@
["[0]" try]]
[data
["[0]" product]
- ["[0]" text
+ ["[0]" text (.only)
["%" format (.only format)]]
[number
["n" nat]]
@@ -19,20 +19,20 @@
["^" pattern]]
[math
["[0]" random (.only Random)]]]
- ["[0]" // "_"
+ ["[0]" //
["[1][0]" primitive]]
[\\
- ["[0]" /
- ["/[1]" //
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" // (.only)
+ ["/[1]" //
[extension
["[1][0]" bundle]]
- ["/[1]" //
+ ["/[1]" // (.only)
["[0]" analysis (.only Analysis)]
["[0]" synthesis (.only Synthesis)]
[///
[arity (.only Arity)]
- ["[0]" reference
+ ["[0]" reference (.only)
["[0]" variable (.only Variable)]]
["[0]" phase]
[meta
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 7bcf38399..fca41d4c5 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
@@ -15,12 +15,12 @@
[meta
["[0]" symbol]]]
[\\
- ["[0]" / "_"
- ["/[1]" //
- ["/[1]" // "_"
+ ["[0]" /
+ ["/[1]" // (.only)
+ ["/[1]" //
[extension
["[1][0]" bundle]]
- ["/[1]" //
+ ["/[1]" // (.only)
["[1][0]" analysis (.only Analysis)]
["[1][0]" synthesis (.only Synthesis)]
[///
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 402847fa0..b98e8d9e0 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
@@ -18,15 +18,15 @@
["[0]" list]]]
[meta
["[0]" symbol]]]
- ["[0]" // "_"
+ ["[0]" //
["[1][0]" primitive]]
[\\
- ["[0]" / "_"
- ["/[1]" //
- ["/[1]" // "_"
+ ["[0]" /
+ ["/[1]" // (.only)
+ ["/[1]" //
[extension
["[1][0]" bundle]]
- ["/[1]" //
+ ["/[1]" // (.only)
["[1][0]" analysis (.only Analysis)]
["[1][0]" synthesis (.only Synthesis)]
[///
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access.lux
index cc25a9433..175bac435 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access.lux
@@ -2,7 +2,7 @@
[library
[lux (.full)
["_" test (.only Test)]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" side]
["[1][0]" member]])
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive.lux b/stdlib/source/test/lux/tool/compiler/meta/archive.lux
index 5bfa782dd..8fe27f4db 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive.lux
@@ -9,7 +9,7 @@
["[0]" exception]]
[data
["[0]" product]
- ["[0]" text
+ ["[0]" text (.only)
["%" format (.only format)]]
[collection
["[0]" list]
@@ -18,19 +18,16 @@
[math
["[0]" random (.only Random)]
[number
- ["n" nat]]]
- [meta
- ["[0]" symbol "_"
- ["$[1]" \\test]]]]]
+ ["n" nat]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
["[1][0]" key]
["[1][0]" registry]
["[1][0]" signature]
- ["[1][0]" module
+ ["[1][0]" module (.only)
["[2][0]" document]
["[2][0]" descriptor]]]]
- ["$[0]" / "_"
+ ["$[0]" /
["[1][0]" signature]
["[1][0]" key]
["[1][0]" artifact]
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux
index 543c776d1..070c08a84 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux
@@ -7,7 +7,7 @@
["$[0]" equivalence]]]
[math
["[0]" random (.only Random)]]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" category]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/key.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/key.lux
index 72819e8eb..4ef34fc1a 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/key.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/key.lux
@@ -8,7 +8,7 @@
["[0]" random]]]]
[\\library
["[0]" /]]
- ["[0]" // "_"
+ ["[0]" //
["[1][0]" signature]])
(def: .public test
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/module.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/module.lux
index 6d83fe00a..c78d29221 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/module.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/module.lux
@@ -9,13 +9,13 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
["[0]" document]
[//
["[0]" key]
- ["[0]" signature "_"
+ ["[0]" signature
["$[1]" \\test]]]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" document]
["[1][0]" descriptor]])
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux
index e30b4ebde..e6e4ce9f4 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux
@@ -18,11 +18,11 @@
[number
["[0]" nat]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[///
["[1][0]" signature ("[1]#[0]" equivalence)]
["[1][0]" key]]]]
- ["[0]" /// "_"
+ ["[0]" ///
["[1][0]" signature]])
(def: .public test
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux
index 79a21e5a5..91fdad769 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux
@@ -23,10 +23,10 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[//
["[0]" unit]
- ["[0]" artifact
+ ["[0]" artifact (.only)
["[0]" category]]]]])
(template: (tagged? <tag> <it>)
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux
index be475616b..00965de69 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux
@@ -19,7 +19,7 @@
["[0]" random (.only Random)]]]]
[\\library
["[0]" /]]
- ["[0]" //// "_"
+ ["[0]" ////
["[1][0]" version]])
(def: .public random
diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache.lux b/stdlib/source/test/lux/tool/compiler/meta/cache.lux
index 43ff57a06..87ffcb922 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/cache.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/cache.lux
@@ -14,12 +14,12 @@
["[0]" file]]]]
[\\library
["[0]" /]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" archive]
["[1][0]" module]
["[1][0]" artifact]
["[1][0]" purge]
- ["$/[1]" // "_"
+ ["$/[1]" //
["[1][0]" context]]])
(def: .public test
diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux
index d0be6166f..953eb2ca0 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux
@@ -19,19 +19,19 @@
[world
["[0]" file]]]]
[\\library
- ["[0]" /
- ["/[1]" //
- ["/[1]" //
- ["[0]" archive
+ ["[0]" / (.only)
+ ["/[1]" // (.only)
+ ["/[1]" // (.only)
+ ["[0]" archive (.only)
["[0]" signature]
["[0]" key]
["[0]" registry]
- ["[0]" module
+ ["[0]" module (.only)
["[0]" document]]]]]]]
- ["$" // "_"
+ ["$" //
[//
["[1][0]" context]
- ["[1][0]" archive
+ ["[1][0]" archive (.only)
["[2][0]" signature]]]])
(def: .public test
diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux
index 1c466f941..078fbb897 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux
@@ -18,10 +18,10 @@
[world
["[0]" file]]]]
[\\library
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" //
["[1][0]" module]]]]
- ["$[0]" /// "_"
+ ["$[0]" ///
["[1][0]" context]])
(def: .public test
diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux
index 09736b4b9..dce7a527c 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux
@@ -15,7 +15,7 @@
["[0]" file]]]]
[\\library
["[0]" /]]
- ["$[0]" /// "_"
+ ["$[0]" ///
["[1][0]" context]])
(`` (implementation: (bad it)
diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux
index b3738d363..6a805eafc 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux
@@ -10,7 +10,7 @@
[concurrency
["[0]" async]]]
[data
- ["[0]" text
+ ["[0]" text (.only)
["%" format]]
["[0]" binary
["$[1]" \\test]]
@@ -25,19 +25,19 @@
[world
["[0]" file]]]]
[\\library
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" //
["[1][0]" module]
- ["[0]" dependency "_"
+ ["[0]" dependency
["[1]" module]]
- ["/[1]" // "_"
- ["[0]" context
+ ["/[1]" //
+ ["[0]" context (.only)
["$[1]" \\test]]
- ["[0]" archive
+ ["[0]" archive (.only)
["[0]" registry]
- ["[0]" module
+ ["[0]" module (.only)
["$[1]" \\test]
- ["[0]" descriptor
+ ["[0]" descriptor (.only)
["$[1]" \\test]]]]
["/[1]" //]]]]])
diff --git a/stdlib/source/test/lux/tool/compiler/meta/cli.lux b/stdlib/source/test/lux/tool/compiler/meta/cli.lux
index 89ec44c51..a6b7bd78f 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/cli.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/cli.lux
@@ -7,7 +7,7 @@
[control
["[0]" pipe]
["[0]" try ("[1]#[0]" functor)]
- ["<>" parser
+ ["<>" parser (.only)
["<[0]>" cli]]]
[data
["[0]" product]
@@ -19,14 +19,12 @@
[number
["n" nat]]]
[meta
- ["[0]" symbol "_"
- ["$[1]" \\test]]
["[0]" configuration ("[1]#[0]" equivalence)
["$[1]" \\test]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
["[1][0]" compiler (.only Compiler)]]]
- ["$[0]" / "_"
+ ["$[0]" /
["[1][0]" compiler]])
(def: .public test
diff --git a/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux b/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux
index 5571ed10c..5ae4a3b69 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux
@@ -15,7 +15,7 @@
[number
["n" nat]]]
[meta
- ["[0]" symbol "_"
+ ["[0]" symbol
["$[1]" \\test]]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/tool/compiler/meta/export.lux b/stdlib/source/test/lux/tool/compiler/meta/export.lux
index dbc78af58..50430ef8a 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/export.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/export.lux
@@ -30,9 +30,9 @@
[world
["[0]" file]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[//
- ["[0]" io "_"
+ ["[0]" io
["[1]" context]]]]])
(def: .public test
diff --git a/stdlib/source/test/lux/tool/compiler/meta/import.lux b/stdlib/source/test/lux/tool/compiler/meta/import.lux
index 95366e32e..d18169641 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/import.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/import.lux
@@ -16,7 +16,7 @@
["[0]" product]
["[0]" binary (.only Binary) ("[1]#[0]" equivalence)]
["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" format "_"
+ ["[0]" format
["[0]" tar (.only Tar)]
["[1]" binary]]
["[0]" text ("[1]#[0]" equivalence)
@@ -33,10 +33,10 @@
[world
["[0]" file]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[//
["[0]" export]
- ["[0]" io "_"
+ ["[0]" io
["[1]" context]]]]])
(def: .public test
diff --git a/stdlib/source/test/lux/tool/compiler/phase.lux b/stdlib/source/test/lux/tool/compiler/phase.lux
index 7acf50e5b..10c7cc88f 100644
--- a/stdlib/source/test/lux/tool/compiler/phase.lux
+++ b/stdlib/source/test/lux/tool/compiler/phase.lux
@@ -20,7 +20,7 @@
["n" nat]
["i" int]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[//
[meta
["[0]" archive]]]]])
diff --git a/stdlib/source/test/lux/tool/compiler/reference.lux b/stdlib/source/test/lux/tool/compiler/reference.lux
index ae10eba30..eb464ccf1 100644
--- a/stdlib/source/test/lux/tool/compiler/reference.lux
+++ b/stdlib/source/test/lux/tool/compiler/reference.lux
@@ -17,9 +17,9 @@
[meta
["[0]" symbol ("[1]#[0]" equivalence)]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
["[0]" variable (.only Register)]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" variable]])
(def: constant
diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux
index e10ea267f..0c6d1e6fa 100644
--- a/stdlib/source/test/lux/type.lux
+++ b/stdlib/source/test/lux/type.lux
@@ -24,7 +24,7 @@
["n" nat]]]]]
[\\library
["[0]" / ("[1]#[0]" equivalence)]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" primitive]
["[1][0]" check]
["[1][0]" dynamic]
diff --git a/stdlib/source/test/lux/type/dynamic.lux b/stdlib/source/test/lux/type/dynamic.lux
index ee3d7583f..3b9179d37 100644
--- a/stdlib/source/test/lux/type/dynamic.lux
+++ b/stdlib/source/test/lux/type/dynamic.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
["_" test (.only Test)]
[abstract
[monad (.only do)]]
diff --git a/stdlib/source/test/lux/type/implicit.lux b/stdlib/source/test/lux/type/implicit.lux
index c2a299715..4eb575a18 100644
--- a/stdlib/source/test/lux/type/implicit.lux
+++ b/stdlib/source/test/lux/type/implicit.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
["_" test (.only Test)]
[abstract
[equivalence (.only)]
diff --git a/stdlib/source/test/lux/type/poly.lux b/stdlib/source/test/lux/type/poly.lux
index 1f91b2eef..10c3bbbf6 100644
--- a/stdlib/source/test/lux/type/poly.lux
+++ b/stdlib/source/test/lux/type/poly.lux
@@ -1,10 +1,10 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
["_" test (.only Test)]]]
[\\library
["[0]" /]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" equivalence]
["[1][0]" functor]
["[1][0]" json]])
diff --git a/stdlib/source/test/lux/type/poly/functor.lux b/stdlib/source/test/lux/type/poly/functor.lux
index e602c6398..35daa7eff 100644
--- a/stdlib/source/test/lux/type/poly/functor.lux
+++ b/stdlib/source/test/lux/type/poly/functor.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
["@" target]
[abstract
[monad (.only do)]
diff --git a/stdlib/source/test/lux/type/poly/json.lux b/stdlib/source/test/lux/type/poly/json.lux
index 7e749a96e..9ecd3684c 100644
--- a/stdlib/source/test/lux/type/poly/json.lux
+++ b/stdlib/source/test/lux/type/poly/json.lux
@@ -5,7 +5,7 @@
["@" target]
["[0]" debug]
[abstract
- [codec (.full)]
+ [codec (.except)]
[monad (.only do)]
["[0]" equivalence (.only Equivalence)
["poly/[1]" \\poly]]
diff --git a/stdlib/source/test/lux/type/primitive.lux b/stdlib/source/test/lux/type/primitive.lux
index 922d4c094..bb6defdda 100644
--- a/stdlib/source/test/lux/type/primitive.lux
+++ b/stdlib/source/test/lux/type/primitive.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
["_" test (.only Test)]
["[0]" meta]
[abstract
@@ -12,11 +12,11 @@
["<[0]>" code]]]
[data
["[0]" text ("[1]#[0]" equivalence)]]
- ["[0]" macro
+ ["[0]" macro (.only)
[syntax (.only syntax:)]
["[0]" code]
["[0]" template]]
- ["[0]" math
+ ["[0]" math (.only)
["[0]" random]
[number
["n" nat]]]]]
diff --git a/stdlib/source/test/lux/type/quotient.lux b/stdlib/source/test/lux/type/quotient.lux
index 1e2e2586e..a0f2fa444 100644
--- a/stdlib/source/test/lux/type/quotient.lux
+++ b/stdlib/source/test/lux/type/quotient.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
["_" test (.only Test)]
[abstract
["[0]" monad (.only do)]
diff --git a/stdlib/source/test/lux/type/refinement.lux b/stdlib/source/test/lux/type/refinement.lux
index 3b62d786a..fbf318736 100644
--- a/stdlib/source/test/lux/type/refinement.lux
+++ b/stdlib/source/test/lux/type/refinement.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
["_" test (.only Test)]
[abstract
[predicate (.only Predicate)]
diff --git a/stdlib/source/test/lux/type/resource.lux b/stdlib/source/test/lux/type/resource.lux
index c04c15202..f49981fdd 100644
--- a/stdlib/source/test/lux/type/resource.lux
+++ b/stdlib/source/test/lux/type/resource.lux
@@ -1,10 +1,10 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
["_" test (.only Test)]
["[0]" meta]
[abstract
- ["[0]" monad
+ ["[0]" monad (.only)
[indexed (.only do)]]]
[control
["[0]" io (.only IO)]
@@ -18,7 +18,7 @@
["[0]" identity (.only Identity)]
["[0]" text ("[1]#[0]" equivalence)
["%" format (.only format)]]]
- ["[0]" macro
+ ["[0]" macro (.only)
[syntax (.only syntax:)]
["[0]" code]]
[math
diff --git a/stdlib/source/test/lux/type/unit.lux b/stdlib/source/test/lux/type/unit.lux
index 9ea3cc3bf..19b2bc9c2 100644
--- a/stdlib/source/test/lux/type/unit.lux
+++ b/stdlib/source/test/lux/type/unit.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
["_" test (.only Test)]
["[0]" debug]
["[0]" meta]
diff --git a/stdlib/source/test/lux/type/variance.lux b/stdlib/source/test/lux/type/variance.lux
index d73853e99..c9e65123e 100644
--- a/stdlib/source/test/lux/type/variance.lux
+++ b/stdlib/source/test/lux/type/variance.lux
@@ -1,14 +1,14 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
["_" test (.only Test)]
[abstract
[monad (.only do)]]
[math
["[0]" random (.only Random)]]]]
[\\library
- ["[0]" /
- ["/[1]" // "_"
+ ["[0]" / (.only)
+ ["/[1]" // (.only)
["[1][0]" check]]]])
(type: Super
diff --git a/stdlib/source/test/lux/world.lux b/stdlib/source/test/lux/world.lux
index 6dee850f2..bebd06ea8 100644
--- a/stdlib/source/test/lux/world.lux
+++ b/stdlib/source/test/lux/world.lux
@@ -1,19 +1,19 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
["_" test (.only Test)]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" file]
["[1][0]" shell]
["[1][0]" console]
["[1][0]" program]
- ["[1][0]" input "_"
+ ["[1][0]" input
["[1]/[0]" keyboard]]
- ["[1][0]" output "_"
- ["[1]/[0]" video "_"
+ ["[1][0]" output
+ ["[1]/[0]" video
["[1]/[0]" resolution]]]
- ["[1][0]" net "_"
- ["[1]/[0]" http "_"
+ ["[1][0]" net
+ ["[1]/[0]" http
["[1]/[0]" client]
["[1]/[0]" status]]]])
diff --git a/stdlib/source/test/lux/world/console.lux b/stdlib/source/test/lux/world/console.lux
index c82991687..9cfe5dbc5 100644
--- a/stdlib/source/test/lux/world/console.lux
+++ b/stdlib/source/test/lux/world/console.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
["_" test (.only Test)]
[abstract
[monad (.only do)]]
diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux
index 9954bc4d4..53c2c7ce9 100644
--- a/stdlib/source/test/lux/world/file.lux
+++ b/stdlib/source/test/lux/world/file.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
["_" test (.only Test)]
[abstract
["[0]" monad (.only do)]]
@@ -23,7 +23,7 @@
["[0]" random]]
[time
["[0]" instant (.only Instant)]]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" watch]]
[\\library
["[0]" /]]
diff --git a/stdlib/source/test/lux/world/file/watch.lux b/stdlib/source/test/lux/world/file/watch.lux
index b87d5186e..af69350e0 100644
--- a/stdlib/source/test/lux/world/file/watch.lux
+++ b/stdlib/source/test/lux/world/file/watch.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
["_" test (.only Test)]
[abstract
[predicate (.only Predicate)]
@@ -19,7 +19,7 @@
[math
["[0]" random (.only Random) ("[1]#[0]" monad)]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
["/[1]" //]]]
[////
[data
diff --git a/stdlib/source/test/lux/world/input/keyboard.lux b/stdlib/source/test/lux/world/input/keyboard.lux
index 8ae8e68ed..f13e615a0 100644
--- a/stdlib/source/test/lux/world/input/keyboard.lux
+++ b/stdlib/source/test/lux/world/input/keyboard.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
["_" test (.only Test)]
[abstract
[monad (.only do)]]
diff --git a/stdlib/source/test/lux/world/net/http/client.lux b/stdlib/source/test/lux/world/net/http/client.lux
index 00ef6f8ec..21cbaa354 100644
--- a/stdlib/source/test/lux/world/net/http/client.lux
+++ b/stdlib/source/test/lux/world/net/http/client.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
["_" test (.only Test)]
[abstract
[monad (.only Monad do)]]
@@ -14,7 +14,7 @@
[data
["[0]" binary]
["[0]" product]
- ["[0]" text
+ ["[0]" text (.only)
["%" format (.only format)]
[encoding
["[0]" utf8]]]
@@ -25,8 +25,8 @@
[number
["[0]" nat]]]]]
[\\library
- ["[0]" /
- ["/[1]" //
+ ["[0]" / (.only)
+ ["/[1]" // (.only)
["[1][0]" status]]]])
(def: (verification ! expected response)
diff --git a/stdlib/source/test/lux/world/net/http/status.lux b/stdlib/source/test/lux/world/net/http/status.lux
index 4e7c3cef2..fe1a74690 100644
--- a/stdlib/source/test/lux/world/net/http/status.lux
+++ b/stdlib/source/test/lux/world/net/http/status.lux
@@ -12,7 +12,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
["/[1]" //]]])
(with_expansions [<categories> (these [informational
diff --git a/stdlib/source/test/lux/world/output/video/resolution.lux b/stdlib/source/test/lux/world/output/video/resolution.lux
index cdd2797a0..347162ff5 100644
--- a/stdlib/source/test/lux/world/output/video/resolution.lux
+++ b/stdlib/source/test/lux/world/output/video/resolution.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
["_" test (.only Test)]
[abstract
[monad (.only do)]
diff --git a/stdlib/source/test/lux/world/program.lux b/stdlib/source/test/lux/world/program.lux
index 6501a1074..3d7119229 100644
--- a/stdlib/source/test/lux/world/program.lux
+++ b/stdlib/source/test/lux/world/program.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
["_" test (.only Test)]
[abstract
[monad (.only do)]]
@@ -22,7 +22,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[//
[file (.only Path)]]]]
[\\specification
diff --git a/stdlib/source/test/lux/world/shell.lux b/stdlib/source/test/lux/world/shell.lux
index 59c0eccb6..c9960e037 100644
--- a/stdlib/source/test/lux/world/shell.lux
+++ b/stdlib/source/test/lux/world/shell.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
["_" test (.only Test)]
[abstract
[monad (.only do)]]
@@ -22,7 +22,7 @@
["n" nat]
["i" int]]]]]
[\\library
- ["[0]" /
+ ["[0]" / (.only)
[//
[file (.only Path)]]]]
[\\specification