aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/aedifex/artifact.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/extension.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/build.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.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/time.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/time/date.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/time/time.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/type.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/versioning.lux2
-rw-r--r--stdlib/source/test/aedifex/cache.lux2
-rw-r--r--stdlib/source/test/aedifex/cli.lux2
-rw-r--r--stdlib/source/test/aedifex/command/build.lux2
-rw-r--r--stdlib/source/test/aedifex/command/clean.lux4
-rw-r--r--stdlib/source/test/aedifex/command/deploy.lux4
-rw-r--r--stdlib/source/test/aedifex/command/deps.lux2
-rw-r--r--stdlib/source/test/aedifex/command/install.lux4
-rw-r--r--stdlib/source/test/aedifex/command/pom.lux6
-rw-r--r--stdlib/source/test/aedifex/command/test.lux2
-rw-r--r--stdlib/source/test/aedifex/command/version.lux2
-rw-r--r--stdlib/source/test/aedifex/dependency/deployment.lux10
-rw-r--r--stdlib/source/test/aedifex/dependency/resolution.lux2
-rw-r--r--stdlib/source/test/aedifex/dependency/status.lux2
-rw-r--r--stdlib/source/test/aedifex/metadata.lux2
-rw-r--r--stdlib/source/test/aedifex/metadata/artifact.lux4
-rw-r--r--stdlib/source/test/aedifex/metadata/snapshot.lux6
-rw-r--r--stdlib/source/test/aedifex/package.lux2
-rw-r--r--stdlib/source/test/aedifex/parser.lux2
-rw-r--r--stdlib/source/test/aedifex/pom.lux2
-rw-r--r--stdlib/source/test/aedifex/profile.lux4
-rw-r--r--stdlib/source/test/aedifex/project.lux6
-rw-r--r--stdlib/source/test/aedifex/repository/local.lux4
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux8
-rw-r--r--stdlib/source/test/aedifex/runtime.lux8
-rw-r--r--stdlib/source/test/lux.lux20
-rw-r--r--stdlib/source/test/lux/abstract/codec.lux2
-rw-r--r--stdlib/source/test/lux/abstract/comonad/cofree.lux2
-rw-r--r--stdlib/source/test/lux/abstract/enum.lux4
-rw-r--r--stdlib/source/test/lux/abstract/equivalence.lux2
-rw-r--r--stdlib/source/test/lux/abstract/hash.lux2
-rw-r--r--stdlib/source/test/lux/abstract/interval.lux8
-rw-r--r--stdlib/source/test/lux/abstract/monad.lux2
-rw-r--r--stdlib/source/test/lux/abstract/monad/free.lux2
-rw-r--r--stdlib/source/test/lux/abstract/order.lux2
-rw-r--r--stdlib/source/test/lux/abstract/predicate.lux2
-rw-r--r--stdlib/source/test/lux/control/concatenative.lux2
-rw-r--r--stdlib/source/test/lux/control/concurrency/actor.lux2
-rw-r--r--stdlib/source/test/lux/control/concurrency/frp.lux4
-rw-r--r--stdlib/source/test/lux/control/concurrency/semaphore.lux4
-rw-r--r--stdlib/source/test/lux/control/concurrency/stm.lux2
-rw-r--r--stdlib/source/test/lux/control/exception.lux2
-rw-r--r--stdlib/source/test/lux/control/function/memo.lux4
-rw-r--r--stdlib/source/test/lux/control/function/mixin.lux2
-rw-r--r--stdlib/source/test/lux/control/function/mutual.lux2
-rw-r--r--stdlib/source/test/lux/control/maybe.lux4
-rw-r--r--stdlib/source/test/lux/control/parser.lux4
-rw-r--r--stdlib/source/test/lux/control/parser/analysis.lux6
-rw-r--r--stdlib/source/test/lux/control/parser/binary.lux2
-rw-r--r--stdlib/source/test/lux/control/parser/cli.lux4
-rw-r--r--stdlib/source/test/lux/control/parser/code.lux2
-rw-r--r--stdlib/source/test/lux/control/parser/environment.lux4
-rw-r--r--stdlib/source/test/lux/control/parser/json.lux4
-rw-r--r--stdlib/source/test/lux/control/parser/synthesis.lux2
-rw-r--r--stdlib/source/test/lux/control/parser/text.lux4
-rw-r--r--stdlib/source/test/lux/control/parser/type.lux4
-rw-r--r--stdlib/source/test/lux/control/parser/xml.lux12
-rw-r--r--stdlib/source/test/lux/control/pipe.lux2
-rw-r--r--stdlib/source/test/lux/control/remember.lux2
-rw-r--r--stdlib/source/test/lux/control/security/policy.lux2
-rw-r--r--stdlib/source/test/lux/control/try.lux2
-rw-r--r--stdlib/source/test/lux/control/writer.lux2
-rw-r--r--stdlib/source/test/lux/data/binary.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/array.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary/ordered.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary/plist.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/list.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/queue.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/queue/priority.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/sequence.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/set.lux12
-rw-r--r--stdlib/source/test/lux/data/collection/set/multi.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/set/ordered.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/stack.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/stream.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/tree.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/tree/finger.lux6
-rw-r--r--stdlib/source/test/lux/data/collection/tree/zipper.lux2
-rw-r--r--stdlib/source/test/lux/data/format/binary.lux2
-rw-r--r--stdlib/source/test/lux/data/format/json.lux30
-rw-r--r--stdlib/source/test/lux/data/format/tar.lux6
-rw-r--r--stdlib/source/test/lux/data/format/xml.lux6
-rw-r--r--stdlib/source/test/lux/data/sum.lux2
-rw-r--r--stdlib/source/test/lux/data/text/buffer.lux2
-rw-r--r--stdlib/source/test/lux/data/text/encoding.lux4
-rw-r--r--stdlib/source/test/lux/data/text/escape.lux4
-rw-r--r--stdlib/source/test/lux/data/text/format.lux6
-rw-r--r--stdlib/source/test/lux/data/text/regex.lux2
-rw-r--r--stdlib/source/test/lux/data/text/unicode/set.lux4
-rw-r--r--stdlib/source/test/lux/debug.lux6
-rw-r--r--stdlib/source/test/lux/documentation.lux2
-rw-r--r--stdlib/source/test/lux/extension.lux6
-rw-r--r--stdlib/source/test/lux/ffi.js.lux4
-rw-r--r--stdlib/source/test/lux/ffi.jvm.lux16
-rw-r--r--stdlib/source/test/lux/ffi.old.lux4
-rw-r--r--stdlib/source/test/lux/ffi.php.lux2
-rw-r--r--stdlib/source/test/lux/ffi.scm.lux2
-rw-r--r--stdlib/source/test/lux/ffi/export.jvm.lux10
-rw-r--r--stdlib/source/test/lux/locale.lux4
-rw-r--r--stdlib/source/test/lux/locale/language.lux2
-rw-r--r--stdlib/source/test/lux/locale/territory.lux2
-rw-r--r--stdlib/source/test/lux/macro.lux8
-rw-r--r--stdlib/source/test/lux/macro/code.lux4
-rw-r--r--stdlib/source/test/lux/macro/pattern.lux2
-rw-r--r--stdlib/source/test/lux/macro/syntax/check.lux2
-rw-r--r--stdlib/source/test/lux/macro/syntax/definition.lux2
-rw-r--r--stdlib/source/test/lux/macro/syntax/export.lux4
-rw-r--r--stdlib/source/test/lux/macro/syntax/type/variable.lux2
-rw-r--r--stdlib/source/test/lux/math.lux2
-rw-r--r--stdlib/source/test/lux/math/infix.lux2
-rw-r--r--stdlib/source/test/lux/math/logic/fuzzy.lux2
-rw-r--r--stdlib/source/test/lux/math/modular.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/i64.lux138
-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.lux6
-rw-r--r--stdlib/source/test/lux/math/number/rev.lux4
-rw-r--r--stdlib/source/test/lux/meta.lux12
-rw-r--r--stdlib/source/test/lux/meta/configuration.lux4
-rw-r--r--stdlib/source/test/lux/static.lux6
-rw-r--r--stdlib/source/test/lux/target/js.lux12
-rw-r--r--stdlib/source/test/lux/target/jvm.lux10
-rw-r--r--stdlib/source/test/lux/target/lua.lux12
-rw-r--r--stdlib/source/test/lux/target/python.lux14
-rw-r--r--stdlib/source/test/lux/target/ruby.lux14
-rw-r--r--stdlib/source/test/lux/test.lux2
-rw-r--r--stdlib/source/test/lux/time.lux2
-rw-r--r--stdlib/source/test/lux/time/date.lux2
-rw-r--r--stdlib/source/test/lux/time/day.lux4
-rw-r--r--stdlib/source/test/lux/time/duration.lux2
-rw-r--r--stdlib/source/test/lux/time/instant.lux4
-rw-r--r--stdlib/source/test/lux/time/month.lux4
-rw-r--r--stdlib/source/test/lux/time/year.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/arity.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux8
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux12
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux14
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux14
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux6
-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.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux14
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux6
-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.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/member.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/side.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.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.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cache/module.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cli.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/context.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/export.lux8
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/import.lux10
-rw-r--r--stdlib/source/test/lux/tool/compiler/phase.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/reference.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/reference/variable.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/version.lux4
-rw-r--r--stdlib/source/test/lux/type.lux10
-rw-r--r--stdlib/source/test/lux/type/check.lux10
-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/primitive.lux2
-rw-r--r--stdlib/source/test/lux/type/quotient.lux4
-rw-r--r--stdlib/source/test/lux/type/refinement.lux4
-rw-r--r--stdlib/source/test/lux/type/resource.lux2
-rw-r--r--stdlib/source/test/lux/type/unit.lux2
-rw-r--r--stdlib/source/test/lux/world/console.lux2
-rw-r--r--stdlib/source/test/lux/world/file.lux4
-rw-r--r--stdlib/source/test/lux/world/file/watch.lux6
-rw-r--r--stdlib/source/test/lux/world/input/keyboard.lux2
-rw-r--r--stdlib/source/test/lux/world/net/http/client.lux2
-rw-r--r--stdlib/source/test/lux/world/program.lux4
-rw-r--r--stdlib/source/test/lux/world/shell.lux2
211 files changed, 532 insertions, 532 deletions
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index e16c5f534..aefe175f4 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -10,7 +10,7 @@
["$[0]" order]
["$[0]" hash]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]]
[world
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index 130065193..d8bfd8267 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -5,7 +5,7 @@
[abstract
[monad (.only do)]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" set]
["[0]" list]]]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index e0c7ffc4b..5379dd8af 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -7,11 +7,11 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" xml]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]]]]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]]
["$[0]" /
["[1][0]" build]
["[1][0]" stamp]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
index 96c41ce36..2775467c9 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
@@ -7,7 +7,7 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" xml]]]
[math
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index fc9488004..e097f5420 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -7,7 +7,7 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" xml]]]
[math
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index 65f17c8a4..28dd249cc 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -7,7 +7,7 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" text]]]
[math
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index 39883cb64..7ba555256 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
@@ -7,7 +7,7 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" xml]]]
[math
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index 9441be139..27ef6062c 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -7,14 +7,14 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" text]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]
["i" int]]]
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index 81b04c07d..366ec1955 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -7,11 +7,11 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" text]]]
[time
- ["[0]" instant ("[1]#[0]" equivalence)]]
+ ["[0]" instant (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index 4f997fef1..12c4a0da1 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -7,7 +7,7 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["[0]" exception]
[parser
["<[0]>" text]]]
@@ -17,7 +17,7 @@
["n" nat]
["i" int]]]
[time
- ["[0]" date ("[1]#[0]" equivalence)]
+ ["[0]" date (.open: "[1]#[0]" equivalence)]
["[0]" year]]]]
[\\program
["[0]" /]])
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index 60dda35c0..c3b866451 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -6,7 +6,7 @@
[abstract
[monad (.only do)]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" text]]]
[math
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux
index de596592b..a2b5926e5 100644
--- a/stdlib/source/test/aedifex/artifact/type.lux
+++ b/stdlib/source/test/aedifex/artifact/type.lux
@@ -10,7 +10,7 @@
["[0]" set]
["[0]" list]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]]]]]
[\\program
diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux
index 6a8e29a08..006ec6566 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.lux
@@ -7,7 +7,7 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" xml]]]
[math
diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux
index 13b8e27d4..de334b03d 100644
--- a/stdlib/source/test/aedifex/cache.lux
+++ b/stdlib/source/test/aedifex/cache.lux
@@ -19,7 +19,7 @@
["[0]" set]
["[0]" dictionary]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]]]
[world
diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux
index 6f3d257c6..9cc571bbe 100644
--- a/stdlib/source/test/aedifex/cli.lux
+++ b/stdlib/source/test/aedifex/cli.lux
@@ -16,7 +16,7 @@
[collection
["[0]" list]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]]]]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]]
[\\program
["[0]" / (.only)
["/[1]" //
diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux
index 176acc46b..1bb77d307 100644
--- a/stdlib/source/test/aedifex/command/build.lux
+++ b/stdlib/source/test/aedifex/command/build.lux
@@ -14,7 +14,7 @@
[parser
["[0]" environment]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" dictionary]]]
[math
diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux
index 73ad4bcd2..e7bf81855 100644
--- a/stdlib/source/test/aedifex/command/clean.lux
+++ b/stdlib/source/test/aedifex/command/clean.lux
@@ -11,10 +11,10 @@
[data
[binary (.only Binary)]
["[0]" product]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]
[collection
- ["[0]" list ("[1]#[0]" functor)]
+ ["[0]" list (.open: "[1]#[0]" functor)]
["[0]" set]]]
[math
["[0]" random (.only Random)]
diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux
index ade7ffc6f..0a4e08166 100644
--- a/stdlib/source/test/aedifex/command/deploy.lux
+++ b/stdlib/source/test/aedifex/command/deploy.lux
@@ -12,8 +12,8 @@
[parser
["[0]" environment]]]
[data
- ["[0]" binary ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" binary (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]
[encoding
["[0]" utf8]]]
diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux
index c4cf1bcf0..c5e496e29 100644
--- a/stdlib/source/test/aedifex/command/deps.lux
+++ b/stdlib/source/test/aedifex/command/deps.lux
@@ -12,7 +12,7 @@
[parser
["[0]" environment]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]
[encoding
["[0]" utf8]]]
diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux
index 7fa9463f7..4de5c5226 100644
--- a/stdlib/source/test/aedifex/command/install.lux
+++ b/stdlib/source/test/aedifex/command/install.lux
@@ -5,7 +5,7 @@
[abstract
["[0]" monad (.only do)]]
[control
- ["[0]" try (.only Try) ("[1]#[0]" functor)]
+ ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]
["[0]" exception]
[concurrency
["[0]" async (.only Async)]]
@@ -13,7 +13,7 @@
["[0]" environment]]]
[data
["[0]" binary]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]
[collection
["[0]" set (.only Set)]]]
diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux
index 76eb99b89..75509644d 100644
--- a/stdlib/source/test/aedifex/command/pom.lux
+++ b/stdlib/source/test/aedifex/command/pom.lux
@@ -5,12 +5,12 @@
[abstract
[monad (.only do)]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[concurrency
["[0]" async]]]
[data
- ["[0]" binary ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" binary (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)
[encoding
["[0]" utf8]]]
[format
diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux
index a6237f970..50bd8e183 100644
--- a/stdlib/source/test/aedifex/command/test.lux
+++ b/stdlib/source/test/aedifex/command/test.lux
@@ -12,7 +12,7 @@
[parser
["[0]" environment]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" dictionary]
["[0]" list]]]
diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux
index 9bdb03cc7..fbd864d4b 100644
--- a/stdlib/source/test/aedifex/command/version.lux
+++ b/stdlib/source/test/aedifex/command/version.lux
@@ -11,7 +11,7 @@
[concurrency
["[0]" async (.only Async)]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]]
[math
["[0]" random]]
diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux
index cd8c2172e..ab15af81c 100644
--- a/stdlib/source/test/aedifex/dependency/deployment.lux
+++ b/stdlib/source/test/aedifex/dependency/deployment.lux
@@ -7,20 +7,20 @@
["[0]" hash (.only Hash)]]
[control
["[0]" io (.only IO)]
- ["[0]" maybe ("[1]#[0]" functor)]
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[concurrency
["[0]" atom (.only Atom)]
["[0]" async]]]
[data
["[0]" product]
- ["[0]" binary (.only Binary) ("[1]#[0]" equivalence)]
+ ["[0]" binary (.only Binary) (.open: "[1]#[0]" equivalence)]
["[0]" text (.only)
["%" format (.only format)]]
[collection
["[0]" dictionary (.only Dictionary)]
["[0]" set]
- ["[0]" list ("[1]#[0]" mix)]]]
+ ["[0]" list (.open: "[1]#[0]" mix)]]]
[math
["[0]" random (.only Random)]
[number
@@ -43,7 +43,7 @@
["[0]" profile]
["[0]" metadata]
["[0]" package (.only Package)]
- ["[0]" artifact (.only Artifact) ("[1]#[0]" equivalence)
+ ["[0]" artifact (.only Artifact) (.open: "[1]#[0]" equivalence)
["[1]/[0]" type]
["[1]/[0]" extension]]
["[0]" repository (.only)
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 666bd0c53..eaec8b475 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -39,7 +39,7 @@
["[1]" profile]
["[1][0]" package (.only Package)]
["[1][0]" hash]
- ["[1][0]" dependency (.only Dependency) ("[1]#[0]" equivalence)
+ ["[1][0]" dependency (.only Dependency) (.open: "[1]#[0]" equivalence)
["[1]/[0]" status]]
["[1][0]" pom]
["[1][0]" artifact (.only Artifact)
diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux
index c6b6abe9a..6b59fa394 100644
--- a/stdlib/source/test/aedifex/dependency/status.lux
+++ b/stdlib/source/test/aedifex/dependency/status.lux
@@ -10,7 +10,7 @@
["[0]" binary
["[1]T" \\test]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]]]]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]]
["$[0]" ///
["[1][0]" hash]]
[\\program
diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux
index b10f192fd..bdac5dfac 100644
--- a/stdlib/source/test/aedifex/metadata.lux
+++ b/stdlib/source/test/aedifex/metadata.lux
@@ -5,7 +5,7 @@
[abstract
[monad (.only do)]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random]]]]
["[0]" /
diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux
index 34b98590a..34869e646 100644
--- a/stdlib/source/test/aedifex/metadata/artifact.lux
+++ b/stdlib/source/test/aedifex/metadata/artifact.lux
@@ -8,14 +8,14 @@
["$[0]" equivalence]]]
[control
["[0]" maybe]
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["[0]" environment]
["<[0]>" xml]]
[concurrency
["[0]" async]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" list]]]
[macro
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index 136e488c8..c45b817cd 100644
--- a/stdlib/source/test/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/test/aedifex/metadata/snapshot.lux
@@ -8,20 +8,20 @@
["$[0]" equivalence]]]
[control
["[0]" maybe]
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["[0]" environment]
["<[0]>" xml]]
[concurrency
["[0]" async]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" list]]]
[macro
["[0]" code]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]]]
["[0]" time (.only)
diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux
index ead5ce5be..6a7f0a960 100644
--- a/stdlib/source/test/aedifex/package.lux
+++ b/stdlib/source/test/aedifex/package.lux
@@ -33,7 +33,7 @@
["[0]" / (.only)
["/[1]" //
["[1]" profile]
- ["[1][0]" hash ("[1]#[0]" equivalence)]
+ ["[1][0]" hash (.open: "[1]#[0]" equivalence)]
["[1][0]" pom]
[dependency
["[1][0]" status]]
diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux
index 6b53ab371..050d3daef 100644
--- a/stdlib/source/test/aedifex/parser.lux
+++ b/stdlib/source/test/aedifex/parser.lux
@@ -15,7 +15,7 @@
[collection
["[0]" set (.only Set)]
["[0]" dictionary (.only Dictionary)]
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux
index fbc7d12b2..3a58b340c 100644
--- a/stdlib/source/test/aedifex/pom.lux
+++ b/stdlib/source/test/aedifex/pom.lux
@@ -10,7 +10,7 @@
["<>" parser (.only)
["<[0]>" xml]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[format
["[0]" xml]]]
[math
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index a77cb4c7e..d45ac5fa9 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -13,12 +13,12 @@
[parser
["[0]" cli]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" set (.only Set)]
["[0]" dictionary (.only Dictionary)]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]]]
[tool
diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux
index 8a52a39b8..61afbc9da 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -8,13 +8,13 @@
["$[0]" equivalence]
["$[0]" monoid]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["[0]" exception]]
[data
["[0]" product]
- ["[0]" text ("[1]#[0]" equivalence)]]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]]]]]
[//
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index e8737c5cc..160410bc4 100644
--- a/stdlib/source/test/aedifex/repository/local.lux
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -5,13 +5,13 @@
[abstract
[monad (.only do)]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["[0]" environment]]
[concurrency
["[0]" async]]]
[data
- ["[0]" binary ("[1]#[0]" equivalence)]
+ ["[0]" binary (.open: "[1]#[0]" equivalence)]
[text
[encoding
["[0]" utf8]]]]
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index 72c042fd7..50ae42a09 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -6,13 +6,13 @@
[monad (.only do)]]
[control
["[0]" io (.only IO)]
- ["[0]" maybe ("[1]#[0]" functor)]
- ["[0]" try ("[1]#[0]" monad)]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" monad)]
["[0]" exception]
["[0]" function]]
[data
- ["[0]" binary ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" binary (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]
[encoding
["[0]" utf8]]]
diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux
index 78ba09d07..a1ba22588 100644
--- a/stdlib/source/test/aedifex/runtime.lux
+++ b/stdlib/source/test/aedifex/runtime.lux
@@ -7,14 +7,14 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" maybe ("[1]#[0]" functor)]]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
- ["[0]" list ("[1]#[0]" functor)]
+ ["[0]" list (.open: "[1]#[0]" functor)]
["[0]" set]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]]]]]
[\\program
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 790250e73..9fed6be1a 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -9,28 +9,28 @@
[monad (.only do)]]
[control
["[0]" io]
- ["[0]" maybe ("[1]#[0]" functor)]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]
[concurrency
["[0]" atom (.only Atom)]]
[parser
["<[0]>" code]]]
[data
["[0]" product]
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]
[collection
- ["[0]" list ("[1]#[0]" functor)]
- ["[0]" set (.only Set) ("[1]#[0]" equivalence)]
+ ["[0]" list (.open: "[1]#[0]" functor)]
+ ["[0]" set (.only Set) (.open: "[1]#[0]" equivalence)]
[dictionary
["[0]" plist]]]]
["[0]" macro
[syntax (.only syntax:)]
["^" pattern]
- ["[0]" code ("[1]#[0]" equivalence)]
+ ["[0]" code (.open: "[1]#[0]" equivalence)]
["[0]" template]]
["[0]" math
- ["[0]" random ("[1]#[0]" functor)]
+ ["[0]" random (.open: "[1]#[0]" functor)]
[number
[i8 (.only)]
[i16 (.only)]
@@ -39,8 +39,8 @@
["r" rev]
["f" frac]
["[0]" i64]]]
- ["[0]" meta ("[1]#[0]" monad)
- ["[0]" location ("[1]#[0]" equivalence)]]]]
+ ["[0]" meta (.open: "[1]#[0]" monad)
+ ["[0]" location (.open: "[1]#[0]" equivalence)]]]]
... TODO: Must have 100% coverage on tests.
["[0]" /
["[1][0]" abstract]
@@ -529,7 +529,7 @@
[(<referral> <module/0>)
(<referral> <m2/1>)]]
- [(.using ["[0]" <module/0>' ("[1]#[0]" <definition>)])
+ [(.using ["[0]" <module/0>' (.open: "[1]#[0]" <definition>)])
("lux def module" [[<module/0> <module/0>]])
[(<referral> <module/0> (<open/0> <definition>))]]
))))))
diff --git a/stdlib/source/test/lux/abstract/codec.lux b/stdlib/source/test/lux/abstract/codec.lux
index 120dc7a39..970045e7c 100644
--- a/stdlib/source/test/lux/abstract/codec.lux
+++ b/stdlib/source/test/lux/abstract/codec.lux
@@ -7,7 +7,7 @@
[control
["[0]" try]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
[format
["[0]" json (.only JSON)]]]
[math
diff --git a/stdlib/source/test/lux/abstract/comonad/cofree.lux b/stdlib/source/test/lux/abstract/comonad/cofree.lux
index 1818540f0..8e8c2998d 100644
--- a/stdlib/source/test/lux/abstract/comonad/cofree.lux
+++ b/stdlib/source/test/lux/abstract/comonad/cofree.lux
@@ -13,7 +13,7 @@
[data
[collection
["[0]" list]
- ["[0]" stream (.only Stream) ("[1]#[0]" comonad)]]]
+ ["[0]" stream (.only Stream) (.open: "[1]#[0]" comonad)]]]
[math
["[0]" random]]]]
[\\library
diff --git a/stdlib/source/test/lux/abstract/enum.lux b/stdlib/source/test/lux/abstract/enum.lux
index 5aa3fd4c5..d33a9aee8 100644
--- a/stdlib/source/test/lux/abstract/enum.lux
+++ b/stdlib/source/test/lux/abstract/enum.lux
@@ -5,11 +5,11 @@
[abstract
[monad (.only do)]]
[control
- ["[0]" maybe ("[1]#[0]" functor)]]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]]
[data
["[0]" product]
[collection
- ["[0]" list ("[1]#[0]" mix)]]]
+ ["[0]" list (.open: "[1]#[0]" mix)]]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/lux/abstract/equivalence.lux b/stdlib/source/test/lux/abstract/equivalence.lux
index 47b2ab03a..2ca34e885 100644
--- a/stdlib/source/test/lux/abstract/equivalence.lux
+++ b/stdlib/source/test/lux/abstract/equivalence.lux
@@ -8,7 +8,7 @@
[functor
["$[0]" contravariant]]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/lux/abstract/hash.lux b/stdlib/source/test/lux/abstract/hash.lux
index 6e2f2504a..cd9a966da 100644
--- a/stdlib/source/test/lux/abstract/hash.lux
+++ b/stdlib/source/test/lux/abstract/hash.lux
@@ -8,7 +8,7 @@
[functor
["$[0]" contravariant]]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random]
[number
diff --git a/stdlib/source/test/lux/abstract/interval.lux b/stdlib/source/test/lux/abstract/interval.lux
index 4d84cfcb7..74579b53a 100644
--- a/stdlib/source/test/lux/abstract/interval.lux
+++ b/stdlib/source/test/lux/abstract/interval.lux
@@ -18,7 +18,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" / (.only Interval) ("#[0]" equivalence)]])
+ ["[0]" / (.only Interval) (.open: "[1]#[0]" equivalence)]])
(template [<name> <cmp>]
[(def: .public <name>
@@ -94,7 +94,7 @@
right_outer ..outer]
(all _.and
(_.property "The union of an interval to itself yields the same interval."
- (#= some_interval (/.union some_interval some_interval)))
+ (/#= some_interval (/.union some_interval some_interval)))
(_.property "The union of 2 inner intervals is another inner interval."
(/.inner? (/.union left_inner right_inner)))
(_.property "The union of 2 outer intervals yields an inner interval when their complements don't overlap, and an outer when they do."
@@ -115,7 +115,7 @@
right_outer ..outer]
(all _.and
(_.property "The intersection of an interval to itself yields the same interval."
- (#= some_interval (/.intersection some_interval some_interval)))
+ (/#= some_interval (/.intersection some_interval some_interval)))
(_.property "The intersection of 2 inner intervals yields an inner interval when they overlap, and an outer when they don't."
(if (/.overlaps? left_inner right_inner)
(/.inner? (/.intersection left_inner right_inner))
@@ -130,7 +130,7 @@
[some_interval ..interval]
(all _.and
(_.property "The complement of a complement is the same as the original."
- (#= some_interval (|> some_interval /.complement /.complement)))
+ (/#= some_interval (|> some_interval /.complement /.complement)))
(_.property "The complement of an interval does not overlap it."
(not (/.overlaps? some_interval (/.complement some_interval))))
)))
diff --git a/stdlib/source/test/lux/abstract/monad.lux b/stdlib/source/test/lux/abstract/monad.lux
index 5ea6a5404..b0dc3f1cc 100644
--- a/stdlib/source/test/lux/abstract/monad.lux
+++ b/stdlib/source/test/lux/abstract/monad.lux
@@ -5,7 +5,7 @@
[data
["[0]" identity (.only Identity)]
[collection
- ["[0]" list ("[1]#[0]" functor mix)]]]
+ ["[0]" list (.open: "[1]#[0]" functor mix)]]]
[math
["[0]" random]
[number
diff --git a/stdlib/source/test/lux/abstract/monad/free.lux b/stdlib/source/test/lux/abstract/monad/free.lux
index 0d63275d5..9d9329a6c 100644
--- a/stdlib/source/test/lux/abstract/monad/free.lux
+++ b/stdlib/source/test/lux/abstract/monad/free.lux
@@ -12,7 +12,7 @@
["$[0]" monad]]]
[data
[collection
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[math
["[0]" random]]]]
[\\library
diff --git a/stdlib/source/test/lux/abstract/order.lux b/stdlib/source/test/lux/abstract/order.lux
index a283abfdf..68eedeeba 100644
--- a/stdlib/source/test/lux/abstract/order.lux
+++ b/stdlib/source/test/lux/abstract/order.lux
@@ -8,7 +8,7 @@
[functor
["$[0]" contravariant]]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/lux/abstract/predicate.lux b/stdlib/source/test/lux/abstract/predicate.lux
index 6a8b64dbe..46c44ceea 100644
--- a/stdlib/source/test/lux/abstract/predicate.lux
+++ b/stdlib/source/test/lux/abstract/predicate.lux
@@ -12,7 +12,7 @@
[control
["[0]" function]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
[collection
["[0]" list]]]
[math
diff --git a/stdlib/source/test/lux/control/concatenative.lux b/stdlib/source/test/lux/control/concatenative.lux
index d158a83a0..825228c31 100644
--- a/stdlib/source/test/lux/control/concatenative.lux
+++ b/stdlib/source/test/lux/control/concatenative.lux
@@ -6,7 +6,7 @@
[monad (.only do)]]
[data
["[0]" sum]
- ["[0]" bit ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]]
[macro
["[0]" template]]
[math
diff --git a/stdlib/source/test/lux/control/concurrency/actor.lux b/stdlib/source/test/lux/control/concurrency/actor.lux
index 1df46e911..5713f1599 100644
--- a/stdlib/source/test/lux/control/concurrency/actor.lux
+++ b/stdlib/source/test/lux/control/concurrency/actor.lux
@@ -22,7 +22,7 @@
["[0]" / (.only actor: message:)
[//
["[0]" atom (.only Atom)]
- ["[0]" async (.only Async Resolver) ("[1]#[0]" monad)]
+ ["[0]" async (.only Async Resolver) (.open: "[1]#[0]" monad)]
["[0]" frp]]]])
(exception: got_wrecked)
diff --git a/stdlib/source/test/lux/control/concurrency/frp.lux b/stdlib/source/test/lux/control/concurrency/frp.lux
index 4dc2b1da7..79d2fe727 100644
--- a/stdlib/source/test/lux/control/concurrency/frp.lux
+++ b/stdlib/source/test/lux/control/concurrency/frp.lux
@@ -14,7 +14,7 @@
["[0]" io (.only IO io)]]
[data
[collection
- ["[0]" list ("[1]#[0]" mix monoid)]
+ ["[0]" list (.open: "[1]#[0]" mix monoid)]
["[0]" sequence (.only Sequence)]]]
[math
["[0]" random]
@@ -25,7 +25,7 @@
[\\library
["[0]" / (.only)
[//
- ["[0]" async (.only Async) ("[1]#[0]" monad)]
+ ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]
["[0]" atom (.only Atom atom)]]]])
(def: injection
diff --git a/stdlib/source/test/lux/control/concurrency/semaphore.lux b/stdlib/source/test/lux/control/concurrency/semaphore.lux
index bc99871e9..1df21f823 100644
--- a/stdlib/source/test/lux/control/concurrency/semaphore.lux
+++ b/stdlib/source/test/lux/control/concurrency/semaphore.lux
@@ -15,10 +15,10 @@
["[0]" async (.only Async)]
["[0]" atom (.only Atom)]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]
[collection
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[math
["[0]" random]
[number
diff --git a/stdlib/source/test/lux/control/concurrency/stm.lux b/stdlib/source/test/lux/control/concurrency/stm.lux
index 7bbe7f398..05d6f33da 100644
--- a/stdlib/source/test/lux/control/concurrency/stm.lux
+++ b/stdlib/source/test/lux/control/concurrency/stm.lux
@@ -13,7 +13,7 @@
[data
["[0]" product]
[collection
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[math
["[0]" random]
[number
diff --git a/stdlib/source/test/lux/control/exception.lux b/stdlib/source/test/lux/control/exception.lux
index b71d50025..459e7101a 100644
--- a/stdlib/source/test/lux/control/exception.lux
+++ b/stdlib/source/test/lux/control/exception.lux
@@ -5,7 +5,7 @@
[abstract
[monad (.only do)]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]]
[math
["[0]" random]
diff --git a/stdlib/source/test/lux/control/function/memo.lux b/stdlib/source/test/lux/control/function/memo.lux
index 2d8b7f7b0..b16902c88 100644
--- a/stdlib/source/test/lux/control/function/memo.lux
+++ b/stdlib/source/test/lux/control/function/memo.lux
@@ -6,12 +6,12 @@
[monad (.only do)]]
[control
["[0]" io (.only IO)]
- ["[0]" state (.only State) ("[1]#[0]" monad)]]
+ ["[0]" state (.only State) (.open: "[1]#[0]" monad)]]
[data
["[0]" product]
[collection
["[0]" dictionary (.only Dictionary)]
- ["[0]" list ("[1]#[0]" functor mix)]]]
+ ["[0]" list (.open: "[1]#[0]" functor mix)]]]
[macro
["^" pattern]]
[math
diff --git a/stdlib/source/test/lux/control/function/mixin.lux b/stdlib/source/test/lux/control/function/mixin.lux
index 01dd7ab47..c19295365 100644
--- a/stdlib/source/test/lux/control/function/mixin.lux
+++ b/stdlib/source/test/lux/control/function/mixin.lux
@@ -13,7 +13,7 @@
[data
["[0]" product]
[collection
- ["[0]" list ("[1]#[0]" functor mix)]]]
+ ["[0]" list (.open: "[1]#[0]" functor mix)]]]
[macro
["^" pattern]]
[math
diff --git a/stdlib/source/test/lux/control/function/mutual.lux b/stdlib/source/test/lux/control/function/mutual.lux
index 3e9c053e7..698685d0c 100644
--- a/stdlib/source/test/lux/control/function/mutual.lux
+++ b/stdlib/source/test/lux/control/function/mutual.lux
@@ -5,7 +5,7 @@
[abstract
[monad (.only do)]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
[text
["%" format (.only format)]]]
[math
diff --git a/stdlib/source/test/lux/control/maybe.lux b/stdlib/source/test/lux/control/maybe.lux
index d24ea6166..b986c2fbc 100644
--- a/stdlib/source/test/lux/control/maybe.lux
+++ b/stdlib/source/test/lux/control/maybe.lux
@@ -12,7 +12,7 @@
["$[0]" apply]
["$[0]" monad]]]
[control
- ["[0]" io ("[1]#[0]" monad)]
+ ["[0]" io (.open: "[1]#[0]" monad)]
["[0]" pipe]]
[data
["[0]" text]
@@ -23,7 +23,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" / ("[1]#[0]" monoid monad)]])
+ ["[0]" / (.open: "[1]#[0]" monoid monad)]])
(def: .public test
Test
diff --git a/stdlib/source/test/lux/control/parser.lux b/stdlib/source/test/lux/control/parser.lux
index e4312d220..c5fdb888a 100644
--- a/stdlib/source/test/lux/control/parser.lux
+++ b/stdlib/source/test/lux/control/parser.lux
@@ -14,10 +14,10 @@
[parser
["<[0]>" code]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]
[collection
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[math
["[0]" random]
[number
diff --git a/stdlib/source/test/lux/control/parser/analysis.lux b/stdlib/source/test/lux/control/parser/analysis.lux
index bb68755c0..1e1a288b2 100644
--- a/stdlib/source/test/lux/control/parser/analysis.lux
+++ b/stdlib/source/test/lux/control/parser/analysis.lux
@@ -10,8 +10,8 @@
["[0]" exception]
["<>" parser]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" list]]]
[math
@@ -22,7 +22,7 @@
["f" frac]
["r" rev]]]
[meta
- ["[0]" symbol ("[1]#[0]" equivalence)]]
+ ["[0]" symbol (.open: "[1]#[0]" equivalence)]]
[tool
[compiler
[reference (.only Constant)
diff --git a/stdlib/source/test/lux/control/parser/binary.lux b/stdlib/source/test/lux/control/parser/binary.lux
index 34bfab2f7..41d2cec10 100644
--- a/stdlib/source/test/lux/control/parser/binary.lux
+++ b/stdlib/source/test/lux/control/parser/binary.lux
@@ -17,7 +17,7 @@
["[0]" binary]
["[0]" sum]
["[0]" bit]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]
[encoding
["[0]" utf8]]]
diff --git a/stdlib/source/test/lux/control/parser/cli.lux b/stdlib/source/test/lux/control/parser/cli.lux
index 731cea3e4..28e5fb4a2 100644
--- a/stdlib/source/test/lux/control/parser/cli.lux
+++ b/stdlib/source/test/lux/control/parser/cli.lux
@@ -8,7 +8,7 @@
["[0]" try]
["<>" parser]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" list]]]
[macro
@@ -16,7 +16,7 @@
[math
["[0]" random]
[number
- ["n" nat ("[1]#[0]" decimal)]]]]]
+ ["n" nat (.open: "[1]#[0]" decimal)]]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/control/parser/code.lux b/stdlib/source/test/lux/control/parser/code.lux
index 81a90c5b0..ad59d2ba3 100644
--- a/stdlib/source/test/lux/control/parser/code.lux
+++ b/stdlib/source/test/lux/control/parser/code.lux
@@ -17,7 +17,7 @@
["^" pattern]
["[0]" code]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" functor)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" functor)]
[number
["[0]" nat]
["[0]" int]
diff --git a/stdlib/source/test/lux/control/parser/environment.lux b/stdlib/source/test/lux/control/parser/environment.lux
index cce8c0d99..9b098cf1a 100644
--- a/stdlib/source/test/lux/control/parser/environment.lux
+++ b/stdlib/source/test/lux/control/parser/environment.lux
@@ -8,7 +8,7 @@
["[0]" try]
["[0]" exception]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" dictionary]]]
[math
@@ -17,7 +17,7 @@
["n" nat]]]]]
[\\library
["[0]" / (.only)
- ["/[1]" // ("[1]#[0]" monad)]]])
+ ["/[1]" // (.open: "[1]#[0]" monad)]]])
(def: .public test
Test
diff --git a/stdlib/source/test/lux/control/parser/json.lux b/stdlib/source/test/lux/control/parser/json.lux
index de37cc4dd..75a817481 100644
--- a/stdlib/source/test/lux/control/parser/json.lux
+++ b/stdlib/source/test/lux/control/parser/json.lux
@@ -14,10 +14,10 @@
["[0]" bit]
["[0]" text]
[collection
- ["[0]" list ("[1]#[0]" functor)]
+ ["[0]" list (.open: "[1]#[0]" functor)]
["[0]" set]
["[0]" dictionary]
- ["[0]" sequence (.only sequence) ("[1]#[0]" functor)]]
+ ["[0]" sequence (.only sequence) (.open: "[1]#[0]" functor)]]
[format
["[0]" json]]]
[macro
diff --git a/stdlib/source/test/lux/control/parser/synthesis.lux b/stdlib/source/test/lux/control/parser/synthesis.lux
index 3a279ab7a..8e974ad33 100644
--- a/stdlib/source/test/lux/control/parser/synthesis.lux
+++ b/stdlib/source/test/lux/control/parser/synthesis.lux
@@ -12,7 +12,7 @@
["[0]" bit]
["[0]" text]
[collection
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[macro
["^" pattern]]
[math
diff --git a/stdlib/source/test/lux/control/parser/text.lux b/stdlib/source/test/lux/control/parser/text.lux
index ae26c9858..af56ad878 100644
--- a/stdlib/source/test/lux/control/parser/text.lux
+++ b/stdlib/source/test/lux/control/parser/text.lux
@@ -10,14 +10,14 @@
["[0]" exception (.only Exception)]
["[0]" function]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]
["[0]" unicode
["[1]" set]
["[1]/[0]" block]]]
[collection
["[0]" set]
- ["[0]" list ("[1]#[0]" functor)]
+ ["[0]" list (.open: "[1]#[0]" functor)]
[tree
["[0]" finger]]]]
[math
diff --git a/stdlib/source/test/lux/control/parser/type.lux b/stdlib/source/test/lux/control/parser/type.lux
index dc7a62b96..779c63cd2 100644
--- a/stdlib/source/test/lux/control/parser/type.lux
+++ b/stdlib/source/test/lux/control/parser/type.lux
@@ -2,7 +2,7 @@
[library
[lux (.except)
["_" test (.only Test)]
- ["[0]" type ("[1]#[0]" equivalence)]
+ ["[0]" type (.open: "[1]#[0]" equivalence)]
[abstract
[monad (.only do)]]
[control
@@ -20,7 +20,7 @@
[number
["n" nat]]]
[meta
- ["[0]" symbol ("[1]#[0]" equivalence)]]]]
+ ["[0]" symbol (.open: "[1]#[0]" equivalence)]]]]
[\\library
["[0]" / (.only)
["/[1]" //]]])
diff --git a/stdlib/source/test/lux/control/parser/xml.lux b/stdlib/source/test/lux/control/parser/xml.lux
index 02262b6f8..95e6c3713 100644
--- a/stdlib/source/test/lux/control/parser/xml.lux
+++ b/stdlib/source/test/lux/control/parser/xml.lux
@@ -2,16 +2,16 @@
[library
[lux (.except)
["_" test (.only Test)]
- ["[0]" type ("[1]#[0]" equivalence)]
+ ["[0]" type (.open: "[1]#[0]" equivalence)]
[abstract
[monad (.only do)]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["[0]" exception]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[format
- ["[0]" xml ("[1]#[0]" equivalence)]]
+ ["[0]" xml (.open: "[1]#[0]" equivalence)]]
[collection
["[0]" dictionary]
["[0]" list]]]
@@ -23,10 +23,10 @@
[number
["n" nat]]]
[meta
- ["[0]" symbol ("[1]#[0]" equivalence)]]]]
+ ["[0]" symbol (.open: "[1]#[0]" equivalence)]]]]
[\\library
["[0]" / (.only)
- ["/[1]" // ("[1]#[0]" monad)]]])
+ ["/[1]" // (.open: "[1]#[0]" monad)]]])
(template: (!expect <pattern> <value>)
[(case <value>
diff --git a/stdlib/source/test/lux/control/pipe.lux b/stdlib/source/test/lux/control/pipe.lux
index c181ba0f4..cc455e8aa 100644
--- a/stdlib/source/test/lux/control/pipe.lux
+++ b/stdlib/source/test/lux/control/pipe.lux
@@ -7,7 +7,7 @@
[monad (.only do)]]
[data
["[0]" identity]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]]
[math
["[0]" random]
diff --git a/stdlib/source/test/lux/control/remember.lux b/stdlib/source/test/lux/control/remember.lux
index 2488b31cc..38bd18517 100644
--- a/stdlib/source/test/lux/control/remember.lux
+++ b/stdlib/source/test/lux/control/remember.lux
@@ -17,7 +17,7 @@
["%" format (.only format)]]]
[math
[number (.only hex)]
- ["[0]" random (.only Random) ("[1]#[0]" monad)]]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]
[time
["[0]" date (.only Date)]
["[0]" instant]
diff --git a/stdlib/source/test/lux/control/security/policy.lux b/stdlib/source/test/lux/control/security/policy.lux
index 0fcb1e901..efd4a029c 100644
--- a/stdlib/source/test/lux/control/security/policy.lux
+++ b/stdlib/source/test/lux/control/security/policy.lux
@@ -10,7 +10,7 @@
["$[0]" apply]
["$[0]" monad]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]]
[macro
["^" pattern]]
[math
diff --git a/stdlib/source/test/lux/control/try.lux b/stdlib/source/test/lux/control/try.lux
index 995b0125f..043890c39 100644
--- a/stdlib/source/test/lux/control/try.lux
+++ b/stdlib/source/test/lux/control/try.lux
@@ -13,7 +13,7 @@
["[0]" pipe]
["[0]" io]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/lux/control/writer.lux b/stdlib/source/test/lux/control/writer.lux
index a6f496598..78d475ce1 100644
--- a/stdlib/source/test/lux/control/writer.lux
+++ b/stdlib/source/test/lux/control/writer.lux
@@ -14,7 +14,7 @@
["[0]" io]]
[data
["[0]" product]
- ["[0]" text ("[1]#[0]" equivalence)]]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random]
[number
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux
index ba454ead3..15df63e2e 100644
--- a/stdlib/source/test/lux/data/binary.lux
+++ b/stdlib/source/test/lux/data/binary.lux
@@ -14,7 +14,7 @@
["[0]" exception (.only Exception)]]
[data
[collection
- ["[0]" list ("[1]#[0]" functor)]
+ ["[0]" list (.open: "[1]#[0]" functor)]
[array
[\\unsafe (.only)]]]]
[math
diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux
index b1d6b549f..ee06a8073 100644
--- a/stdlib/source/test/lux/data/collection/array.lux
+++ b/stdlib/source/test/lux/data/collection/array.lux
@@ -13,10 +13,10 @@
["$[0]" equivalence]
["$[0]" functor (.only Injection)]]]
[control
- ["[0]" maybe ("[1]#[0]" functor)]]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]]
[data
["[0]" bit]
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" list]
["[0]" set]]]
diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux
index ad26c0120..11a4da3cb 100644
--- a/stdlib/source/test/lux/data/collection/dictionary.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary.lux
@@ -9,13 +9,13 @@
["$[0]" equivalence]
["$[0]" functor (.only Injection)]]]
[control
- ["[0]" maybe ("[1]#[0]" functor)]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]
["[0]" try]
["[0]" exception]]
[data
["[0]" product]
[collection
- ["[0]" list ("[1]#[0]" functor)]
+ ["[0]" list (.open: "[1]#[0]" functor)]
["[0]" set]]]
[math
["[0]" random]
diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
index 01c979131..75e7a36e2 100644
--- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
@@ -9,15 +9,15 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" maybe ("[1]#[0]" monad)]]
+ ["[0]" maybe (.open: "[1]#[0]" monad)]]
[data
["[0]" product]
- ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
[collection
["[0]" set]
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/data/collection/dictionary/plist.lux b/stdlib/source/test/lux/data/collection/dictionary/plist.lux
index 3b8f1ae99..252ca9f85 100644
--- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux
@@ -8,9 +8,9 @@
["$[0]" equivalence]
["$[0]" monoid]]]
[control
- ["[0]" maybe ("[1]#[0]" monad)]]
+ ["[0]" maybe (.open: "[1]#[0]" monad)]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
["[0]" text]
[collection
["[0]" set]
diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux
index c727f3041..81e8d76dc 100644
--- a/stdlib/source/test/lux/data/collection/list.lux
+++ b/stdlib/source/test/lux/data/collection/list.lux
@@ -21,7 +21,7 @@
[data
["[0]" bit]
["[0]" product]
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" set]]]
[math
@@ -30,7 +30,7 @@
["n" nat]
["[0]" int]]]]]
[\\library
- ["[0]" / ("[1]#[0]" monad)]])
+ ["[0]" / (.open: "[1]#[0]" monad)]])
(def: bounded_size
(Random Nat)
diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux
index 05388830b..a67697de2 100644
--- a/stdlib/source/test/lux/data/collection/queue.lux
+++ b/stdlib/source/test/lux/data/collection/queue.lux
@@ -8,10 +8,10 @@
["$[0]" equivalence]
["$[0]" functor (.only Injection)]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
[collection
["[0]" set]
- ["[0]" list ("[1]#[0]" monoid)]]]
+ ["[0]" list (.open: "[1]#[0]" monoid)]]]
[math
["[0]" random]
[number
diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux
index fc8484b42..624231fb1 100644
--- a/stdlib/source/test/lux/data/collection/queue/priority.lux
+++ b/stdlib/source/test/lux/data/collection/queue/priority.lux
@@ -5,9 +5,9 @@
[abstract
["[0]" monad (.only do)]]
[control
- ["[0]" maybe ("[1]#[0]" functor)]]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux
index f86951ea4..92d59f68d 100644
--- a/stdlib/source/test/lux/data/collection/sequence.lux
+++ b/stdlib/source/test/lux/data/collection/sequence.lux
@@ -15,17 +15,17 @@
["[0]" try (.only Try)]
["[0]" exception]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
- ["[0]" list ("[1]#[0]" mix)]
+ ["[0]" list (.open: "[1]#[0]" mix)]
["[0]" set]]]
[math
["[0]" random]
[number
["n" nat]]]]]
[\\library
- ["[0]" / ("[1]#[0]" monad)]])
+ ["[0]" / (.open: "[1]#[0]" monad)]])
(def: signatures
Test
diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux
index 53bf5ee0e..17617c2dc 100644
--- a/stdlib/source/test/lux/data/collection/set.lux
+++ b/stdlib/source/test/lux/data/collection/set.lux
@@ -10,7 +10,7 @@
["$[0]" hash]
["$[0]" monoid]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
[collection
["[0]" list]]]
[math
@@ -18,7 +18,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" / ("#[0]" equivalence)]])
+ ["[0]" / (.open: "[1]#[0]" equivalence)]])
(def: gen_nat
(Random Nat)
@@ -68,7 +68,7 @@
(bit#= (/.empty? setL)
(n.= 0 (/.size setL))))
(_.coverage [/.list /.of_list]
- (|> setL /.list (/.of_list n.hash) (#= setL)))
+ (|> setL /.list (/.of_list n.hash) (/#= setL)))
(_.coverage [/.member?]
(and (list.every? (/.member? setL) (/.list setL))
(not (/.member? setL non_memberL))))
@@ -89,12 +89,12 @@
(|> setL
(/.has non_memberL)
(/.lacks non_memberL)
- (#= setL))
+ (/#= setL))
idempotency!
(|> setL
(/.lacks non_memberL)
- (#= setL))]
+ (/#= setL))]
(and symmetry!
idempotency!)))
(_.coverage [/.union /.sub?]
@@ -107,7 +107,7 @@
union_with_empty_set!
(|> setL
(/.union (/.empty n.hash))
- (#= setL))]
+ (/#= setL))]
(and sets_are_subs_of_their_unions!
union_with_empty_set!)))
(_.coverage [/.intersection /.super?]
diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux
index 2811e074c..555d7e210 100644
--- a/stdlib/source/test/lux/data/collection/set/multi.lux
+++ b/stdlib/source/test/lux/data/collection/set/multi.lux
@@ -10,10 +10,10 @@
["$[0]" equivalence]
["$[0]" hash]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
[collection
["[0]" set]
- ["[0]" list ("[1]#[0]" mix)]]]
+ ["[0]" list (.open: "[1]#[0]" mix)]]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux
index f8dba7aaf..64a1dc4bb 100644
--- a/stdlib/source/test/lux/data/collection/set/ordered.lux
+++ b/stdlib/source/test/lux/data/collection/set/ordered.lux
@@ -8,11 +8,11 @@
[\\specification
["$[0]" equivalence]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
[collection
["[0]" list]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux
index 70141fc19..337b7de4e 100644
--- a/stdlib/source/test/lux/data/collection/stack.lux
+++ b/stdlib/source/test/lux/data/collection/stack.lux
@@ -10,7 +10,7 @@
[control
["[0]" maybe]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random]
[number
diff --git a/stdlib/source/test/lux/data/collection/stream.lux b/stdlib/source/test/lux/data/collection/stream.lux
index 7c6f10baf..ee293cfa8 100644
--- a/stdlib/source/test/lux/data/collection/stream.lux
+++ b/stdlib/source/test/lux/data/collection/stream.lux
@@ -13,7 +13,7 @@
["[0]" text (.only)
["%" format (.only format)]]
[collection
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[math
["[0]" random]
[number
diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux
index c936ded41..945c1c6b8 100644
--- a/stdlib/source/test/lux/data/collection/tree.lux
+++ b/stdlib/source/test/lux/data/collection/tree.lux
@@ -11,7 +11,7 @@
[data
["[0]" product]
[collection
- ["[0]" list ("[1]#[0]" functor mix)]]]
+ ["[0]" list (.open: "[1]#[0]" functor mix)]]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux
index d2ddb1b96..a9e3d68e6 100644
--- a/stdlib/source/test/lux/data/collection/tree/finger.lux
+++ b/stdlib/source/test/lux/data/collection/tree/finger.lux
@@ -5,11 +5,11 @@
[abstract
[monad (.only do)]]
[control
- ["[0]" maybe ("[1]#[0]" functor)]]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]]
[data
- ["[0]" text ("[1]#[0]" equivalence monoid)]
+ ["[0]" text (.open: "[1]#[0]" equivalence monoid)]
[collection
- ["[0]" list ("[1]#[0]" mix)]]]
+ ["[0]" list (.open: "[1]#[0]" mix)]]]
[math
["[0]" random]
[number
diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux
index 4270e0f88..4a2bbac26 100644
--- a/stdlib/source/test/lux/data/collection/tree/zipper.lux
+++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux
@@ -10,7 +10,7 @@
["$[0]" comonad]]]
[control
["[0]" pipe]
- ["[0]" maybe ("[1]#[0]" functor)]]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]]
[data
["[0]" product]
["[0]" text]
diff --git a/stdlib/source/test/lux/data/format/binary.lux b/stdlib/source/test/lux/data/format/binary.lux
index 4210d2563..8c69f0c64 100644
--- a/stdlib/source/test/lux/data/format/binary.lux
+++ b/stdlib/source/test/lux/data/format/binary.lux
@@ -8,7 +8,7 @@
[\\specification
["$[0]" monoid]]]
[data
- ["[0]" binary ("[1]#[0]" equivalence)]]
+ ["[0]" binary (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]]]]
[\\library
diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux
index 9ae374636..1fb8f94fa 100644
--- a/stdlib/source/test/lux/data/format/json.lux
+++ b/stdlib/source/test/lux/data/format/json.lux
@@ -9,7 +9,7 @@
["$[0]" equivalence]
["$[0]" codec]]]
[control
- ["[0]" try ("[1]#[0]" functor)]]
+ ["[0]" try (.open: "[1]#[0]" functor)]]
[data
["[0]" product]
["[0]" bit]
@@ -19,7 +19,7 @@
["[0]" sequence]
["[0]" dictionary]
["[0]" set]
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[math
["[0]" random (.only Random)]
[number
@@ -29,7 +29,7 @@
["[0]" syntax (.only syntax:)]
["[0]" code]]]]
[\\library
- ["[0]" / (.only JSON) ("#[0]" equivalence)]])
+ ["[0]" / (.only JSON) (.open: "[1]#[0]" equivalence)]])
(def: .public random
(Random /.JSON)
@@ -85,7 +85,7 @@
(|> expected
/.format
(# /.codec decoded)
- (try#each (#= expected))
+ (try#each (/#= expected))
(try.else false))))
(do random.monad
[keys (random.set text.hash 3 (random.alphabetic 1))
@@ -106,7 +106,7 @@
(_.coverage [/.field]
(list.every? (function (_ [key expected])
(|> (/.field key object)
- (try#each (#= expected))
+ (try#each (/#= expected))
(try.else false)))
expected))
))
@@ -122,7 +122,7 @@
.let [can_find_known_key!
(|> object
(/.field key)
- (try#each (#= {/.#Number expected}))
+ (try#each (/#= {/.#Number expected}))
(try.else false))
cannot_find_unknown_key!
@@ -165,15 +165,15 @@
<key5> (string)
<key6> (string)]
(_.coverage [/.json]
- (and (#= {/.#Null} (/.json ()))
+ (and (/#= {/.#Null} (/.json ()))
(~~ (template [<tag> <value>]
- [(#= {<tag> <value>} (/.json <value>))]
+ [(/#= {<tag> <value>} (/.json <value>))]
[/.#Boolean <boolean>]
[/.#Number <number>]
[/.#String <string>]
))
- (#= {/.#Array <array_sequence>} (/.json [() <boolean> <number> <string>]))
+ (/#= {/.#Array <array_sequence>} (/.json [() <boolean> <number> <string>]))
(let [object (/.json {<key0> ()
<key1> <boolean>
<key2> <number>
@@ -189,11 +189,11 @@
value4 (/.field <key4> object)
value5 (/.field <key5> object)
value6 (/.field <key6> value5)]
- (in (and (#= {/.#Null} value0)
- (#= {/.#Boolean <boolean>} value1)
- (#= {/.#Number <number>} value2)
- (#= {/.#String <string>} value3)
- (#= {/.#Array <array_sequence>} value4)
- (#= {/.#Number <number>} value6))))))
+ (in (and (/#= {/.#Null} value0)
+ (/#= {/.#Boolean <boolean>} value1)
+ (/#= {/.#Number <number>} value2)
+ (/#= {/.#String <string>} value3)
+ (/#= {/.#Array <array_sequence>} value4)
+ (/#= {/.#Number <number>} value6))))))
)))
))))
diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux
index 24c1be821..c30fb086b 100644
--- a/stdlib/source/test/lux/data/format/tar.lux
+++ b/stdlib/source/test/lux/data/format/tar.lux
@@ -12,8 +12,8 @@
["<b>" binary]]]
[data
["[0]" product]
- ["[0]" binary ("[1]#[0]" equivalence monoid)]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" binary (.open: "[1]#[0]" equivalence monoid)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]
[encoding
["[0]" utf8]]
@@ -22,7 +22,7 @@
["[1]/[0]" block]]]
[collection
["[0]" sequence]
- ["[0]" list ("[1]#[0]" mix)]]
+ ["[0]" list (.open: "[1]#[0]" mix)]]
["[0]" format
["[1]" binary]]]
[time
diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux
index 89c68a67a..dc95a00fe 100644
--- a/stdlib/source/test/lux/data/format/xml.lux
+++ b/stdlib/source/test/lux/data/format/xml.lux
@@ -13,15 +13,15 @@
["p" parser
["</>" xml]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]
[collection
["[0]" dictionary]
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[macro
["^" pattern]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]]]
[meta
diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux
index 9dd279775..82adfdc49 100644
--- a/stdlib/source/test/lux/data/sum.lux
+++ b/stdlib/source/test/lux/data/sum.lux
@@ -12,7 +12,7 @@
[data
["[0]" text]
[collection
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[math
["[0]" random]
[number
diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux
index 0def44bd6..b6d868fbd 100644
--- a/stdlib/source/test/lux/data/text/buffer.lux
+++ b/stdlib/source/test/lux/data/text/buffer.lux
@@ -5,7 +5,7 @@
[abstract
[monad (.only do)]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]]
[math
["[0]" random (.only Random)]
diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux
index 42f0e9d38..d56fd8bdc 100644
--- a/stdlib/source/test/lux/data/text/encoding.lux
+++ b/stdlib/source/test/lux/data/text/encoding.lux
@@ -10,9 +10,9 @@
["[0]" maybe]
["[0]" try]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
- ["[0]" list ("[1]#[0]" mix)]
+ ["[0]" list (.open: "[1]#[0]" mix)]
["[0]" set]]]
[macro
["[0]" template]]
diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux
index c2d06ce89..aba3d5948 100644
--- a/stdlib/source/test/lux/data/text/escape.lux
+++ b/stdlib/source/test/lux/data/text/escape.lux
@@ -12,8 +12,8 @@
[parser
["<[0]>" code]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text (.only Char) ("[1]#[0]" equivalence)
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.only Char) (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]
[collection
["[0]" set (.only Set)]]]
diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux
index 9026a7029..903e13497 100644
--- a/stdlib/source/test/lux/data/text/format.lux
+++ b/stdlib/source/test/lux/data/text/format.lux
@@ -11,13 +11,13 @@
[control
["[0]" try]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
["[0]" bit]
[format
["[0]" xml]
["[0]" json]]
[collection
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
["[0]" time (.only)
["[0]" day]
["[0]" month]
@@ -25,7 +25,7 @@
["[0]" duration]
["[0]" date]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
["[0]" modulus]
["[0]" modular]
[number
diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux
index 646e29e6c..c16388e4e 100644
--- a/stdlib/source/test/lux/data/text/regex.lux
+++ b/stdlib/source/test/lux/data/text/regex.lux
@@ -11,7 +11,7 @@
["<[0]>" text (.only Parser)]
["<[0]>" code]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]]
["[0]" macro (.only)
[syntax (.only syntax:)]
diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux
index a0cc8b90f..af36a8463 100644
--- a/stdlib/source/test/lux/data/text/unicode/set.lux
+++ b/stdlib/source/test/lux/data/text/unicode/set.lux
@@ -8,9 +8,9 @@
["$[0]" equivalence]]]
[data
["[0]" product]
- ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
[collection
- ["[0]" set ("[1]#[0]" equivalence)]]]
+ ["[0]" set (.open: "[1]#[0]" equivalence)]]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux
index 30b464449..9b61ab55d 100644
--- a/stdlib/source/test/lux/debug.lux
+++ b/stdlib/source/test/lux/debug.lux
@@ -6,15 +6,15 @@
[abstract
[monad (.only do)]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["[0]" exception]
[parser
["<[0]>" code]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]
[collection
- ["[0]" list ("[1]#[0]" functor)]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]
[format
[json (.only JSON)]
[xml (.only XML)]]]
diff --git a/stdlib/source/test/lux/documentation.lux b/stdlib/source/test/lux/documentation.lux
index b6a08b480..40ad67b42 100644
--- a/stdlib/source/test/lux/documentation.lux
+++ b/stdlib/source/test/lux/documentation.lux
@@ -9,7 +9,7 @@
[parser
["<[0]>" code]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format]]
[format
["md" markdown]]]
diff --git a/stdlib/source/test/lux/extension.lux b/stdlib/source/test/lux/extension.lux
index a40850eb7..c8434e1c6 100644
--- a/stdlib/source/test/lux/extension.lux
+++ b/stdlib/source/test/lux/extension.lux
@@ -19,7 +19,7 @@
[abstract
["[0]" monad (.only do)]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["<>" parser (.only)
["<[0]>" code]
["<[0]>" analysis]
@@ -27,11 +27,11 @@
[data
["[0]" binary]
["[0]" product]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]
[collection
["[0]" sequence]
- ["[0]" list ("[1]#[0]" functor)]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]
[format
["[0]F" binary]]]
[macro
diff --git a/stdlib/source/test/lux/ffi.js.lux b/stdlib/source/test/lux/ffi.js.lux
index 20920baa6..6d0946605 100644
--- a/stdlib/source/test/lux/ffi.js.lux
+++ b/stdlib/source/test/lux/ffi.js.lux
@@ -7,8 +7,8 @@
[control
["[0]" try]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux
index 9e4af45a8..0174a039f 100644
--- a/stdlib/source/test/lux/ffi.jvm.lux
+++ b/stdlib/source/test/lux/ffi.jvm.lux
@@ -2,7 +2,7 @@
[library
[lux (.except)
["_" test (.only Test)]
- ["[0]" type ("[1]#[0]" equivalence)]
+ ["[0]" type (.open: "[1]#[0]" equivalence)]
["[0]" meta]
["[0]" debug]
["[0]" static]
@@ -10,13 +10,13 @@
[monad (.only do)]]
[control
["[0]" pipe]
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["[0]" exception]
[parser
["<[0]>" code]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]
[collection
["[0]" array (.only Array)]]]
@@ -25,15 +25,15 @@
["[0]" code]
["[0]" template]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number (.only hex)
["[0]" i64]
["n" nat]
- ["i" int ("[1]#[0]" equivalence)]
- ["f" frac ("[1]#[0]" equivalence)]]]
+ ["i" int (.open: "[1]#[0]" equivalence)]
+ ["f" frac (.open: "[1]#[0]" equivalence)]]]
[target
["[0]" jvm
- ["[1]" type ("[1]#[0]" equivalence)]]]]]
+ ["[1]" type (.open: "[1]#[0]" equivalence)]]]]]
[\\library
["[0]" /]]
["$[0]" /
diff --git a/stdlib/source/test/lux/ffi.old.lux b/stdlib/source/test/lux/ffi.old.lux
index 53b14d335..e5f5ab8aa 100644
--- a/stdlib/source/test/lux/ffi.old.lux
+++ b/stdlib/source/test/lux/ffi.old.lux
@@ -8,7 +8,7 @@
[control
["[0]" pipe]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]]
[macro
["[0]" template]]
@@ -18,7 +18,7 @@
["n" nat]
["i" int]
["f" frac]]]
- ["[0]" type ("[1]#[0]" equivalence)]]]
+ ["[0]" type (.open: "[1]#[0]" equivalence)]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/ffi.php.lux b/stdlib/source/test/lux/ffi.php.lux
index d880303ec..22532f1b1 100644
--- a/stdlib/source/test/lux/ffi.php.lux
+++ b/stdlib/source/test/lux/ffi.php.lux
@@ -7,7 +7,7 @@
[control
["[0]" try]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/lux/ffi.scm.lux b/stdlib/source/test/lux/ffi.scm.lux
index d880303ec..22532f1b1 100644
--- a/stdlib/source/test/lux/ffi.scm.lux
+++ b/stdlib/source/test/lux/ffi.scm.lux
@@ -7,7 +7,7 @@
[control
["[0]" try]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/lux/ffi/export.jvm.lux b/stdlib/source/test/lux/ffi/export.jvm.lux
index b01c607ef..7dc0e194d 100644
--- a/stdlib/source/test/lux/ffi/export.jvm.lux
+++ b/stdlib/source/test/lux/ffi/export.jvm.lux
@@ -8,18 +8,18 @@
[abstract
[monad (.only do)]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format]]]
[macro
["[0]" code]
["[0]" template]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number (.only hex)
["[0]" i64]
- ["[0]" int ("[1]#[0]" equivalence)]
- ["[0]" frac ("[1]#[0]" equivalence)]]]]]
+ ["[0]" int (.open: "[1]#[0]" equivalence)]
+ ["[0]" frac (.open: "[1]#[0]" equivalence)]]]]]
[\\library
["[0]" / (.only)
["/[1]" //]]])
diff --git a/stdlib/source/test/lux/locale.lux b/stdlib/source/test/lux/locale.lux
index 7116e3e67..7f4f183fb 100644
--- a/stdlib/source/test/lux/locale.lux
+++ b/stdlib/source/test/lux/locale.lux
@@ -8,9 +8,9 @@
["$[0]" equivalence]
["$[0]" hash]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["[0]" encoding (.only Encoding)]]
[collection
["[0]" list]]]]]
diff --git a/stdlib/source/test/lux/locale/language.lux b/stdlib/source/test/lux/locale/language.lux
index 66f34be4f..6c8b4f6ad 100644
--- a/stdlib/source/test/lux/locale/language.lux
+++ b/stdlib/source/test/lux/locale/language.lux
@@ -13,7 +13,7 @@
["[0]" text]
[collection
["[0]" set (.only Set)]
- ["[0]" list ("[1]#[0]" functor mix)]]]
+ ["[0]" list (.open: "[1]#[0]" functor mix)]]]
[macro
["[0]" template]]
[math
diff --git a/stdlib/source/test/lux/locale/territory.lux b/stdlib/source/test/lux/locale/territory.lux
index c1d82e8fc..067d68595 100644
--- a/stdlib/source/test/lux/locale/territory.lux
+++ b/stdlib/source/test/lux/locale/territory.lux
@@ -13,7 +13,7 @@
["[0]" text]
[collection
["[0]" set (.only Set)]
- ["[0]" list ("[1]#[0]" functor mix)]]]
+ ["[0]" list (.open: "[1]#[0]" functor mix)]]]
[macro
["[0]" template]]
[math
diff --git a/stdlib/source/test/lux/macro.lux b/stdlib/source/test/lux/macro.lux
index cda98f580..f1f2bce0b 100644
--- a/stdlib/source/test/lux/macro.lux
+++ b/stdlib/source/test/lux/macro.lux
@@ -6,11 +6,11 @@
[abstract
[monad (.only do)]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" code]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
["[0]" text (.only)
["%" format (.only format)]]
[collection
@@ -18,7 +18,7 @@
[macro
["^" pattern]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" functor)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" functor)]
[number
["n" nat]]]
["[0]" meta (.only)
@@ -27,7 +27,7 @@
[\\library
["[0]" / (.only)
[syntax (.only syntax:)]
- ["[0]" code ("[1]#[0]" equivalence)]
+ ["[0]" code (.open: "[1]#[0]" equivalence)]
["[0]" template]]]
["[0]" /
["[1][0]" code]
diff --git a/stdlib/source/test/lux/macro/code.lux b/stdlib/source/test/lux/macro/code.lux
index 34f759fed..f3991eda0 100644
--- a/stdlib/source/test/lux/macro/code.lux
+++ b/stdlib/source/test/lux/macro/code.lux
@@ -12,9 +12,9 @@
["[0]" product]
["[0]" text]
[collection
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]]]
[meta
diff --git a/stdlib/source/test/lux/macro/pattern.lux b/stdlib/source/test/lux/macro/pattern.lux
index 1353b17ed..6fb9ef8d0 100644
--- a/stdlib/source/test/lux/macro/pattern.lux
+++ b/stdlib/source/test/lux/macro/pattern.lux
@@ -5,7 +5,7 @@
[abstract
[monad (.only do)]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]]
[macro
["[0]" code]]
[math
diff --git a/stdlib/source/test/lux/macro/syntax/check.lux b/stdlib/source/test/lux/macro/syntax/check.lux
index c7e4dbc39..cb43a209c 100644
--- a/stdlib/source/test/lux/macro/syntax/check.lux
+++ b/stdlib/source/test/lux/macro/syntax/check.lux
@@ -13,7 +13,7 @@
[math
["[0]" random (.only Random)]]
[macro
- ["[0]" code ("[1]#[0]" equivalence)]]]]
+ ["[0]" code (.open: "[1]#[0]" equivalence)]]]]
[\\library
["[0]" /]]
["$[0]" ///
diff --git a/stdlib/source/test/lux/macro/syntax/definition.lux b/stdlib/source/test/lux/macro/syntax/definition.lux
index 2365e0d6b..7fa3550dd 100644
--- a/stdlib/source/test/lux/macro/syntax/definition.lux
+++ b/stdlib/source/test/lux/macro/syntax/definition.lux
@@ -12,7 +12,7 @@
["<>" parser (.only)
["<[0]>" code]]]
[macro
- ["[0]" code ("[1]#[0]" equivalence)]]
+ ["[0]" code (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]]
[meta
diff --git a/stdlib/source/test/lux/macro/syntax/export.lux b/stdlib/source/test/lux/macro/syntax/export.lux
index a2133452c..151d72ada 100644
--- a/stdlib/source/test/lux/macro/syntax/export.lux
+++ b/stdlib/source/test/lux/macro/syntax/export.lux
@@ -6,11 +6,11 @@
[monad (.only do)]]
[control
["[0]" maybe]
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" code]]]
[macro
- ["[0]" code ("[1]#[0]" equivalence)]]
+ ["[0]" code (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/lux/macro/syntax/type/variable.lux b/stdlib/source/test/lux/macro/syntax/type/variable.lux
index db7e23daa..0e1d52f6f 100644
--- a/stdlib/source/test/lux/macro/syntax/type/variable.lux
+++ b/stdlib/source/test/lux/macro/syntax/type/variable.lux
@@ -7,7 +7,7 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" code]]]
[math
diff --git a/stdlib/source/test/lux/math.lux b/stdlib/source/test/lux/math.lux
index 6c7cfd915..38c704927 100644
--- a/stdlib/source/test/lux/math.lux
+++ b/stdlib/source/test/lux/math.lux
@@ -5,7 +5,7 @@
[abstract
[monad (.only do)]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]]
[macro
["[0]" template]]
[math
diff --git a/stdlib/source/test/lux/math/infix.lux b/stdlib/source/test/lux/math/infix.lux
index 249f8d3a2..441df11b9 100644
--- a/stdlib/source/test/lux/math/infix.lux
+++ b/stdlib/source/test/lux/math/infix.lux
@@ -5,7 +5,7 @@
[abstract
[monad (.only do)]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random]
[number
diff --git a/stdlib/source/test/lux/math/logic/fuzzy.lux b/stdlib/source/test/lux/math/logic/fuzzy.lux
index e0e5bc1ea..2cfc62142 100644
--- a/stdlib/source/test/lux/math/logic/fuzzy.lux
+++ b/stdlib/source/test/lux/math/logic/fuzzy.lux
@@ -9,7 +9,7 @@
[functor
["$[0]" contravariant]]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
[collection
["[0]" list]
["[0]" set]]]
diff --git a/stdlib/source/test/lux/math/modular.lux b/stdlib/source/test/lux/math/modular.lux
index e05d7c8e9..0137ba9ae 100644
--- a/stdlib/source/test/lux/math/modular.lux
+++ b/stdlib/source/test/lux/math/modular.lux
@@ -2,7 +2,7 @@
[library
[lux (.except)
["_" test (.only Test)]
- ["[0]" type ("[1]#[0]" equivalence)]
+ ["[0]" type (.open: "[1]#[0]" equivalence)]
[abstract
[monad (.only do)]
["[0]" predicate]
@@ -16,7 +16,7 @@
["[0]" exception]]
[data
["[0]" product]
- ["[0]" bit ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/lux/math/number/complex.lux b/stdlib/source/test/lux/math/number/complex.lux
index ec11a5428..087ee1245 100644
--- a/stdlib/source/test/lux/math/number/complex.lux
+++ b/stdlib/source/test/lux/math/number/complex.lux
@@ -8,7 +8,7 @@
["$[0]" equivalence]]]
[data
[collection
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[math
["[0]" random (.only Random)]]]]
[\\library
diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux
index 5f4c021bd..c302d876c 100644
--- a/stdlib/source/test/lux/math/number/frac.lux
+++ b/stdlib/source/test/lux/math/number/frac.lux
@@ -13,7 +13,7 @@
["$[0]" monoid]
["$[0]" codec]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]]
[macro
["[0]" template]]
[math
diff --git a/stdlib/source/test/lux/math/number/i64.lux b/stdlib/source/test/lux/math/number/i64.lux
index f6ade938b..550d6f03d 100644
--- a/stdlib/source/test/lux/math/number/i64.lux
+++ b/stdlib/source/test/lux/math/number/i64.lux
@@ -3,7 +3,7 @@
[lux (.except)
["_" test (.only Test)]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]]
[abstract
[monad (.only do)]
[\\specification
@@ -13,7 +13,7 @@
[math
["[0]" random (.only Random)]]]]
[\\library
- ["[0]" / ("#[0]" equivalence)
+ ["[0]" / (.open: "[1]#[0]" equivalence)
[// (.only hex)
["n" nat]
["i" int]]]])
@@ -26,20 +26,20 @@
(all _.and
(_.coverage [/.one? /.one]
(if (/.one? idx pattern)
- (#= pattern (/.one idx pattern))
- (not (#= pattern (/.one idx pattern)))))
+ (/#= pattern (/.one idx pattern))
+ (not (/#= pattern (/.one idx pattern)))))
(_.coverage [/.zero? /.zero]
(if (/.zero? idx pattern)
- (#= pattern (/.zero idx pattern))
- (not (#= pattern (/.zero idx pattern)))))
+ (/#= pattern (/.zero idx pattern))
+ (not (/#= pattern (/.zero idx pattern)))))
(_.coverage [/.flipped]
- (#= (/.flipped idx pattern)
- (if (/.one? idx pattern)
- (/.zero idx pattern)
- (/.one idx pattern))))
+ (/#= (/.flipped idx pattern)
+ (if (/.one? idx pattern)
+ (/.zero idx pattern)
+ (/.one idx pattern))))
(_.coverage [/.bit]
(bit#= (/.zero? idx pattern)
- (#= /.false (/.and (/.bit idx) pattern))))
+ (/#= /.false (/.and (/.bit idx) pattern))))
)))
(def: shift
@@ -51,19 +51,19 @@
[idx (# ! each (|>> (n.% (-- /.width)) ++) random.nat)]
(_.coverage [/.left_shifted /.right_shifted]
(let [nullity!
- (and (#= pattern (/.left_shifted 0 pattern))
- (#= pattern (/.right_shifted 0 pattern)))
+ (and (/#= pattern (/.left_shifted 0 pattern))
+ (/#= pattern (/.right_shifted 0 pattern)))
idempotency!
- (and (#= pattern (/.left_shifted /.width pattern))
- (#= pattern (/.right_shifted /.width pattern)))
+ (and (/#= pattern (/.left_shifted /.width pattern))
+ (/#= pattern (/.right_shifted /.width pattern)))
movement!
(let [shift (n.- idx /.width)]
- (#= (/.and (/.mask idx) pattern)
- (|> pattern
- (/.left_shifted shift)
- (/.right_shifted shift))))]
+ (/#= (/.and (/.mask idx) pattern)
+ (|> pattern
+ (/.left_shifted shift)
+ (/.right_shifted shift))))]
(and nullity!
idempotency!
movement!))))
@@ -78,20 +78,20 @@
signed random.int]
(all _.and
(_.coverage [/.sign]
- (bit#= (#= (.i64 0) (/.and /.sign signed))
+ (bit#= (/#= (.i64 0) (/.and /.sign signed))
(i.positive? signed)))
(_.coverage [/.mask]
(let [mask (/.mask idx)
- idempotency! (#= (/.and mask pattern)
- (/.and mask (/.and mask pattern)))
+ idempotency! (/#= (/.and mask pattern)
+ (/.and mask (/.and mask pattern)))
limit (++ (.nat mask))
limit! (if (n.< limit pattern)
- (#= pattern (/.and mask pattern))
+ (/#= pattern (/.and mask pattern))
(n.< limit (/.and mask pattern)))
- empty! (#= /.false (/.mask 0))
- full! (#= /.true (/.mask /.width))]
+ empty! (/#= /.false (/.mask 0))
+ full! (/#= /.true (/.mask /.width))]
(and idempotency!
limit!
@@ -103,19 +103,19 @@
offset (# ! each (n.% spare) random.nat)]
(_.coverage [/.region]
(case size
- 0 (#= /.false (/.region offset size))
- _ (#= (|> pattern
- ... NNNNYYYYNNNN
- (/.right_shifted offset)
- ... ____NNNNYYYY
- (/.left_shifted spare)
- ... YYYY________
- (/.right_shifted spare)
- ... ________YYYY
- (/.left_shifted offset)
- ... ____YYYY____
- )
- (/.and (/.region offset size) pattern)))))
+ 0 (/#= /.false (/.region offset size))
+ _ (/#= (|> pattern
+ ... NNNNYYYYNNNN
+ (/.right_shifted offset)
+ ... ____NNNNYYYY
+ (/.left_shifted spare)
+ ... YYYY________
+ (/.right_shifted spare)
+ ... ________YYYY
+ (/.left_shifted offset)
+ ... ____YYYY____
+ )
+ (/.and (/.region offset size) pattern)))))
))))
(def: sub
@@ -143,7 +143,7 @@
($equivalence.spec (# sub sub_equivalence) (random (# sub narrow)))
(_.coverage [/.sub]
(let [actual (|> expected .i64 (# sub narrow) (# sub wide))]
- (#= expected actual)))
+ (/#= expected actual)))
))))))
(def: signature
@@ -175,27 +175,27 @@
(_.coverage [/.false]
(n.= 0 (/.ones /.false)))
(_.coverage [/.or]
- (and (#= /.true (/.or /.true pattern))
- (#= pattern (/.or /.false pattern))))
+ (and (/#= /.true (/.or /.true pattern))
+ (/#= pattern (/.or /.false pattern))))
(_.coverage [/.true]
(n.= /.width (/.ones /.true)))
(_.coverage [/.and]
- (and (#= pattern (/.and /.true pattern))
- (#= /.false (/.and /.false pattern))))
+ (and (/#= pattern (/.and /.true pattern))
+ (/#= /.false (/.and /.false pattern))))
(_.coverage [/.not]
- (and (#= /.false
- (/.and pattern
- (/.not pattern)))
- (#= /.true
- (/.or pattern
- (/.not pattern)))))
+ (and (/#= /.false
+ (/.and pattern
+ (/.not pattern)))
+ (/#= /.true
+ (/.or pattern
+ (/.not pattern)))))
(_.coverage [/.xor]
- (and (#= /.true
- (/.xor pattern
- (/.not pattern)))
- (#= /.false
- (/.xor pattern
- pattern))))
+ (and (/#= /.true
+ (/.xor pattern
+ (/.not pattern)))
+ (/#= /.false
+ (/.xor pattern
+ pattern))))
(_.coverage [/.ones]
(let [zero&one!
(if (/.one? idx pattern)
@@ -210,52 +210,52 @@
complementarity!)))
(_.coverage [/.left_rotated /.right_rotated]
(let [false!
- (and (#= /.false (/.left_rotated idx /.false))
- (#= /.false (/.right_rotated idx /.false)))
+ (and (/#= /.false (/.left_rotated idx /.false))
+ (/#= /.false (/.right_rotated idx /.false)))
true!
- (and (#= /.true (/.left_rotated idx /.true))
- (#= /.true (/.right_rotated idx /.true)))
+ (and (/#= /.true (/.left_rotated idx /.true))
+ (/#= /.true (/.right_rotated idx /.true)))
inverse!
(and (|> pattern
(/.left_rotated idx)
(/.right_rotated idx)
- (#= pattern))
+ (/#= pattern))
(|> pattern
(/.right_rotated idx)
(/.left_rotated idx)
- (#= pattern)))
+ (/#= pattern)))
nullity!
(and (|> pattern
(/.left_rotated 0)
- (#= pattern))
+ (/#= pattern))
(|> pattern
(/.right_rotated 0)
- (#= pattern)))
+ (/#= pattern)))
futility!
(and (|> pattern
(/.left_rotated /.width)
- (#= pattern))
+ (/#= pattern))
(|> pattern
(/.right_rotated /.width)
- (#= pattern)))]
+ (/#= pattern)))]
(and false!
true!
inverse!
nullity!
futility!)))
(_.coverage [/.reversed]
- (and (|> pattern /.reversed /.reversed (#= pattern))
- (or (|> pattern /.reversed (#= pattern) not)
+ (and (|> pattern /.reversed /.reversed (/#= pattern))
+ (or (|> pattern /.reversed (/#= pattern) not)
(let [high (/.and (hex "FFFFFFFF00000000")
pattern)
low (/.and (hex "00000000FFFFFFFF")
pattern)]
- (#= (/.reversed high)
- low)))))
+ (/#= (/.reversed high)
+ low)))))
..bit
..shift
diff --git a/stdlib/source/test/lux/math/number/int.lux b/stdlib/source/test/lux/math/number/int.lux
index 200d932ea..1509a65fc 100644
--- a/stdlib/source/test/lux/math/number/int.lux
+++ b/stdlib/source/test/lux/math/number/int.lux
@@ -13,7 +13,7 @@
["$[0]" monoid]
["$[0]" codec]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]]]]
[\\library
diff --git a/stdlib/source/test/lux/math/number/nat.lux b/stdlib/source/test/lux/math/number/nat.lux
index 04a0418c1..733b6445e 100644
--- a/stdlib/source/test/lux/math/number/nat.lux
+++ b/stdlib/source/test/lux/math/number/nat.lux
@@ -13,7 +13,7 @@
["$[0]" monoid]
["$[0]" codec]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random]]]]
[\\library
diff --git a/stdlib/source/test/lux/math/number/ratio.lux b/stdlib/source/test/lux/math/number/ratio.lux
index b851e47eb..fe01953dc 100644
--- a/stdlib/source/test/lux/math/number/ratio.lux
+++ b/stdlib/source/test/lux/math/number/ratio.lux
@@ -10,15 +10,15 @@
["$[0]" monoid]
["$[0]" codec]]]
[control
- ["[0]" maybe ("[1]#[0]" functor)]]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]]]]
[\\library
["[0]" / (.only)
[//
- ["n" nat ("[1]#[0]" equivalence)]]]])
+ ["n" nat (.open: "[1]#[0]" equivalence)]]]])
(def: part
(Random Nat)
diff --git a/stdlib/source/test/lux/math/number/rev.lux b/stdlib/source/test/lux/math/number/rev.lux
index 45ce9ff55..82b16e725 100644
--- a/stdlib/source/test/lux/math/number/rev.lux
+++ b/stdlib/source/test/lux/math/number/rev.lux
@@ -13,7 +13,7 @@
["$[0]" monoid]
["$[0]" codec]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random]]]]
[\\library
@@ -21,7 +21,7 @@
[// (.only hex)
["n" nat]
["f" frac]
- ["[0]" i64 ("[1]#[0]" hash)]]]])
+ ["[0]" i64 (.open: "[1]#[0]" hash)]]]])
(def: signature
Test
diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux
index 31119081b..87823e85a 100644
--- a/stdlib/source/test/lux/meta.lux
+++ b/stdlib/source/test/lux/meta.lux
@@ -2,7 +2,7 @@
[library
[lux (.except)
["_" test (.only Test)]
- ["[0]" type ("[1]#[0]" equivalence)]
+ ["[0]" type (.open: "[1]#[0]" equivalence)]
[abstract
[equivalence (.only Equivalence)]
[monad (.only do)]
@@ -12,14 +12,14 @@
["$[0]" monad]]]
[control
["[0]" maybe]
- ["[0]" try (.only Try) ("[1]#[0]" functor)]]
+ ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]]
[data
["[0]" product]
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]
[collection
- ["[0]" list ("[1]#[0]" functor monoid)]
+ ["[0]" list (.open: "[1]#[0]" functor monoid)]
["[0]" set]]]
[macro
["^" pattern]]
@@ -29,7 +29,7 @@
["n" nat]]]
[meta
["[0]" location]
- ["[0]" symbol ("[1]#[0]" equivalence)]]]]
+ ["[0]" symbol (.open: "[1]#[0]" equivalence)]]]]
[\\library
["[0]" /]]
["[0]" /
diff --git a/stdlib/source/test/lux/meta/configuration.lux b/stdlib/source/test/lux/meta/configuration.lux
index 8f9539fae..a8d7f0169 100644
--- a/stdlib/source/test/lux/meta/configuration.lux
+++ b/stdlib/source/test/lux/meta/configuration.lux
@@ -9,7 +9,7 @@
["$[0]" equivalence]
["$[0]" monoid]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["[0]" exception]
["<>" parser (.only)
["<[0]>" text]
@@ -22,7 +22,7 @@
[syntax (.only syntax:)]
["[0]" code]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]]]]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/static.lux b/stdlib/source/test/lux/static.lux
index c5ecf3a71..2e810c517 100644
--- a/stdlib/source/test/lux/static.lux
+++ b/stdlib/source/test/lux/static.lux
@@ -5,14 +5,14 @@
["@" target]
["[0]" meta]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]
[collection
- ["[0]" list ("[1]#[0]" mix)]]]
+ ["[0]" list (.open: "[1]#[0]" mix)]]]
[macro
["[0]" code]]
[math
- ["[0]" random ("[1]#[0]" functor)]
+ ["[0]" random (.open: "[1]#[0]" functor)]
[number
["n" nat]
["i" int]
diff --git a/stdlib/source/test/lux/target/js.lux b/stdlib/source/test/lux/target/js.lux
index c759cc02e..84cd62bdf 100644
--- a/stdlib/source/test/lux/target/js.lux
+++ b/stdlib/source/test/lux/target/js.lux
@@ -9,18 +9,18 @@
[control
["[0]" pipe]
["[0]" function]
- ["[0]" maybe ("[1]#[0]" functor)]
- ["[0]" try (.only Try) ("[1]#[0]" functor)]]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]
+ ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text (.only \n) ("[1]#[0]" equivalence)
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.only \n) (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]
[collection
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[macro
["[0]" template]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]
["i" int]
diff --git a/stdlib/source/test/lux/target/jvm.lux b/stdlib/source/test/lux/target/jvm.lux
index 0dddacfb5..c2c1e49f3 100644
--- a/stdlib/source/test/lux/target/jvm.lux
+++ b/stdlib/source/test/lux/target/jvm.lux
@@ -13,8 +13,8 @@
[concurrency
["[0]" atom]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]
["[0]" format
["[1]" binary]]
@@ -23,9 +23,9 @@
["[0]" dictionary]
["[0]" sequence]
["[0]" set]
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]
["i" int]
@@ -37,7 +37,7 @@
["[0]" /
["[1][0]" loader (.only Library)]
["[1][0]" version]
- ["[1][0]" modifier ("[1]#[0]" monoid)]
+ ["[1][0]" modifier (.open: "[1]#[0]" monoid)]
["[1][0]" field]
["[1][0]" method (.only Method)]
["[1][0]" class]
diff --git a/stdlib/source/test/lux/target/lua.lux b/stdlib/source/test/lux/target/lua.lux
index 381758793..fbdc7625e 100644
--- a/stdlib/source/test/lux/target/lua.lux
+++ b/stdlib/source/test/lux/target/lua.lux
@@ -12,18 +12,18 @@
[control
["[0]" pipe]
["[0]" function]
- ["[0]" maybe ("[1]#[0]" functor)]
- ["[0]" try (.only Try) ("[1]#[0]" functor)]]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]
+ ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text (.only \n) ("[1]#[0]" equivalence)
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.only \n) (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]
[collection
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[macro
["[0]" template]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]
["i" int]
diff --git a/stdlib/source/test/lux/target/python.lux b/stdlib/source/test/lux/target/python.lux
index 0b484f9ef..35fbf47c8 100644
--- a/stdlib/source/test/lux/target/python.lux
+++ b/stdlib/source/test/lux/target/python.lux
@@ -12,25 +12,25 @@
["$[0]" hash]]]
[control
["[0]" function]
- ["[0]" maybe ("[1]#[0]" functor)]
- ["[0]" try (.only Try) ("[1]#[0]" functor)]]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]
+ ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]
[collection
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[macro
["[0]" code]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]
["i" int]
["f" frac]
["[0]" i64]]]]]
[\\library
- ["[0]" / ("[1]#[0]" equivalence)]])
+ ["[0]" / (.open: "[1]#[0]" equivalence)]])
(ffi.import: (eval [Text] "try" "?" Any))
diff --git a/stdlib/source/test/lux/target/ruby.lux b/stdlib/source/test/lux/target/ruby.lux
index 94e1df527..5e5588be7 100644
--- a/stdlib/source/test/lux/target/ruby.lux
+++ b/stdlib/source/test/lux/target/ruby.lux
@@ -11,17 +11,17 @@
["$[0]" equivalence]]]
[control
["[0]" pipe]
- ["[0]" maybe ("[1]#[0]" functor)]
- ["[0]" try (.only Try) ("[1]#[0]" functor)]]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]
+ ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]
[collection
- ["[0]" list ("[1]#[0]" functor)]
+ ["[0]" list (.open: "[1]#[0]" functor)]
["[0]" set]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number (.only hex)
["n" nat]
["i" int]
@@ -35,7 +35,7 @@
[world
["[0]" file]]]]
[\\library
- ["[0]" / ("[1]#[0]" equivalence)]])
+ ["[0]" / (.open: "[1]#[0]" equivalence)]])
(ffi.import: (eval [Text] "try" "?" Any))
diff --git a/stdlib/source/test/lux/test.lux b/stdlib/source/test/lux/test.lux
index 1a1842846..b43483870 100644
--- a/stdlib/source/test/lux/test.lux
+++ b/stdlib/source/test/lux/test.lux
@@ -10,7 +10,7 @@
["[0]" async]
["[0]" atom (.only Atom)]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format]]
[collection
["[0]" list]
diff --git a/stdlib/source/test/lux/time.lux b/stdlib/source/test/lux/time.lux
index 8f478b695..456409afd 100644
--- a/stdlib/source/test/lux/time.lux
+++ b/stdlib/source/test/lux/time.lux
@@ -11,7 +11,7 @@
["$[0]" codec]]]
[control
["[0]" pipe]
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["[0]" exception]
[parser
["<[0]>" text]]]
diff --git a/stdlib/source/test/lux/time/date.lux b/stdlib/source/test/lux/time/date.lux
index 1d0da3548..2d9a2486b 100644
--- a/stdlib/source/test/lux/time/date.lux
+++ b/stdlib/source/test/lux/time/date.lux
@@ -10,7 +10,7 @@
["$[0]" enum]
["$[0]" codec]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["[0]" exception]
[parser
["<[0]>" text]]]
diff --git a/stdlib/source/test/lux/time/day.lux b/stdlib/source/test/lux/time/day.lux
index 4537d684d..432012147 100644
--- a/stdlib/source/test/lux/time/day.lux
+++ b/stdlib/source/test/lux/time/day.lux
@@ -12,14 +12,14 @@
["$[0]" enum]
["$[0]" codec]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["[0]" exception]]
[data
[collection
["[0]" list]
["[0]" set]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/time/duration.lux b/stdlib/source/test/lux/time/duration.lux
index 80e516133..d637ebf2f 100644
--- a/stdlib/source/test/lux/time/duration.lux
+++ b/stdlib/source/test/lux/time/duration.lux
@@ -11,7 +11,7 @@
["$[0]" monoid]
["$[0]" codec]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/lux/time/instant.lux b/stdlib/source/test/lux/time/instant.lux
index 50c1eec56..0ae5bf04c 100644
--- a/stdlib/source/test/lux/time/instant.lux
+++ b/stdlib/source/test/lux/time/instant.lux
@@ -15,12 +15,12 @@
["[0]" io]]
[data
[collection
- ["[0]" list ("[1]#[0]" mix)]]]
+ ["[0]" list (.open: "[1]#[0]" mix)]]]
[math
["[0]" random]]
[time
["[0]" duration (.only Duration)]
- ["[0]" day (.only Day) ("[1]#[0]" enum)]]]]
+ ["[0]" day (.only Day) (.open: "[1]#[0]" enum)]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/time/month.lux b/stdlib/source/test/lux/time/month.lux
index 61172c7be..b1950994b 100644
--- a/stdlib/source/test/lux/time/month.lux
+++ b/stdlib/source/test/lux/time/month.lux
@@ -12,12 +12,12 @@
["$[0]" enum]
["$[0]" codec]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["[0]" exception]]
[data
[collection
["[0]" set]
- ["[0]" list ("[1]#[0]" functor mix)]]]
+ ["[0]" list (.open: "[1]#[0]" functor mix)]]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/lux/time/year.lux b/stdlib/source/test/lux/time/year.lux
index d96fb4539..f80e03838 100644
--- a/stdlib/source/test/lux/time/year.lux
+++ b/stdlib/source/test/lux/time/year.lux
@@ -12,7 +12,7 @@
["[0]" try]
["[0]" exception]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
[text
["%" format (.only format)]]]
[math
diff --git a/stdlib/source/test/lux/tool/compiler/arity.lux b/stdlib/source/test/lux/tool/compiler/arity.lux
index cba1ec670..7ba4457d0 100644
--- a/stdlib/source/test/lux/tool/compiler/arity.lux
+++ b/stdlib/source/test/lux/tool/compiler/arity.lux
@@ -5,7 +5,7 @@
[abstract
[monad (.only do)]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]
[number
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 3ee106194..a1f45b42d 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux
@@ -14,14 +14,14 @@
["[0]" try]
["[0]" exception (.only exception:)]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" list]]]
[macro
["[0]" template]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["f" frac]]]
[meta
@@ -45,7 +45,7 @@
["[1][0]" symbol]
["[0]" location
["[2][1]" /]
- ["[1]" \\library ("[1]#[0]" equivalence)]]]]]]
+ ["[1]" \\library (.open: "[1]#[0]" equivalence)]]]]]]
[\\library
["[0]" / (.only)
[//
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux
index 4167b14b8..6b10cb6ea 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux
@@ -8,11 +8,11 @@
["$[0]" equivalence]
["$[0]" hash]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]]]]]
[\\library
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 0b8e456e7..362d94927 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
@@ -9,23 +9,23 @@
["$[0]" equivalence]]]
[control
["[0]" pipe]
- ["[0]" try (.only Try) ("[1]#[0]" functor)]
+ ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]
["[0]" exception (.only Exception)]]
[data
["[0]" product]
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format]]
[collection
["[0]" set]
["[0]" dictionary]
- ["[0]" list ("[1]#[0]" functor mix)]]]
+ ["[0]" list (.open: "[1]#[0]" functor mix)]]]
[macro
["^" pattern]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
- ["n" nat ("[1]#[0]" interval)]
+ ["n" nat (.open: "[1]#[0]" interval)]
["i" int]
["r" rev]
["f" frac]]]]]
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 1f73e45e7..f7acc50f8 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
@@ -5,19 +5,19 @@
[abstract
[monad (.only do)]]
[control
- ["[0]" maybe ("[1]#[0]" functor)]
- ["[0]" try (.only Try) ("[1]#[0]" functor)]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]
+ ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]
["[0]" exception (.only Exception)]]
[data
["[0]" product]
- ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
["[0]" text]
[collection
- ["[0]" list ("[1]#[0]" monad)]]]
+ ["[0]" list (.open: "[1]#[0]" monad)]]]
[macro
["[0]" code]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]]]
[meta
@@ -25,7 +25,7 @@
["$[1]" \\test]]
["[0]" configuration
["$[1]" \\test]]]
- ["[0]" type ("[1]#[0]" equivalence)
+ ["[0]" type (.open: "[1]#[0]" equivalence)
["[0]" check (.only Check)]]]]
[\\library
["[0]" / (.only)
@@ -42,7 +42,7 @@
["[1]/[0]" analysis
["[1]" lux]]]]
[///
- ["[2][0]" phase ("[1]#[0]" monad)]
+ ["[2][0]" phase (.open: "[1]#[0]" monad)]
[meta
["[0]" archive]]]]]]])
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 832684b48..684873614 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
@@ -8,18 +8,18 @@
["$[0]" equivalence]]]
[control
["[0]" pipe]
- ["[0]" maybe ("[1]#[0]" functor)]
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["[0]" exception]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
- ["[0]" list ("[1]#[0]" monad)]]]
+ ["[0]" list (.open: "[1]#[0]" monad)]]]
[macro
- ["[0]" code ("[1]#[0]" equivalence)]]
+ ["[0]" code (.open: "[1]#[0]" equivalence)]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]]]
["[0]" meta (.only)
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 1093d5917..ef24e378b 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
@@ -6,11 +6,11 @@
["[0]" monad (.only do)]]
[control
["[0]" pipe]
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["[0]" exception]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" list]
["[0]" set]]]
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 38be6c002..b78881b03 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
@@ -7,10 +7,10 @@
[\\specification
["$[0]" equivalence]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["f" frac]]]]]
[\\library
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 e2c440224..8a4730a35 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
@@ -6,8 +6,8 @@
[monad (.only do)]]
[control
["[0]" pipe]
- ["[0]" maybe ("[1]#[0]" functor)]
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["[0]" exception]]
[data
["[0]" product]
@@ -26,7 +26,7 @@
[phase
["[1][0]" extension]]
[///
- ["[1][0]" phase ("[1]#[0]" monad)]
+ ["[1][0]" phase (.open: "[1]#[0]" monad)]
[reference
["[1][0]" variable (.only Register Variable)]]]]]]]
["$[0]" //
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux
index 223b22cca..a918dc13c 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux
@@ -7,10 +7,10 @@
[\\specification
["$[0]" equivalence]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["f" frac]]]]]
[\\library
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 4a2f18b51..5b2c340dc 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
@@ -6,7 +6,7 @@
[monad (.only do)]]
[control
["[0]" pipe]
- ["[0]" try ("[1]#[0]" functor)]]
+ ["[0]" try (.open: "[1]#[0]" functor)]]
[data
["[0]" product]]
[math
@@ -14,7 +14,7 @@
[meta
["[0]" configuration
["$[1]" \\test]]]
- ["[0]" type ("[1]#[0]" equivalence)
+ ["[0]" type (.open: "[1]#[0]" equivalence)
["[0]" check]]]]
[\\library
["[0]" / (.only)
@@ -24,7 +24,7 @@
[phase
["[2][0]" extension]]
[///
- ["[2][0]" phase ("[1]#[0]" functor)]]]]]])
+ ["[2][0]" phase (.open: "[1]#[0]" functor)]]]]]])
(def: .public random_state
(Random Lux)
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 87ca59d95..67c097440 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
@@ -18,7 +18,7 @@
["[0]" random]
[number
["n" nat]]]
- ["[0]" type ("[1]#[0]" equivalence)
+ ["[0]" type (.open: "[1]#[0]" equivalence)
["[0]" check]]]]
[\\library
["[0]" / (.only)
@@ -36,7 +36,7 @@
["[1][0]" type (.only)
["$[1]" \\test]]]
[///
- ["[0]" phase ("[1]#[0]" monad)]
+ ["[0]" phase (.open: "[1]#[0]" monad)]
[meta
["[0]" archive]]]]]]]
["[0]" /
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 2c2367a0c..f69c47c4c 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
@@ -5,7 +5,7 @@
[abstract
[monad (.only do)]]
[control
- ["[0]" try (.only Try) ("[1]#[0]" functor)]
+ ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]
["[0]" exception]]
[data
["[0]" product]
@@ -15,7 +15,7 @@
["[0]" code]]
[math
["[0]" random]]
- ["[0]" type ("[1]#[0]" equivalence)
+ ["[0]" type (.open: "[1]#[0]" equivalence)
["[0]" check]]]]
[\\library
["[0]" / (.only)
@@ -36,7 +36,7 @@
["[2][0]" inference
["$[1]" \\test]]]
[///
- ["[1][0]" phase ("[1]#[0]" monad)]
+ ["[1][0]" phase (.open: "[1]#[0]" monad)]
[meta
["[0]" archive]]]]]]]])
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 2db4901b8..669d747ff 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
@@ -6,22 +6,22 @@
[monad (.only do)]]
[control
["[0]" pipe]
- ["[0]" maybe ("[1]#[0]" functor)]
- ["[0]" try (.only Try) ("[1]#[0]" functor)]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]
+ ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]
["[0]" exception (.only Exception)]]
[data
["[0]" product]
- ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
["[0]" text (.only)
["%" format (.only format)]]
[collection
- ["[0]" list ("[1]#[0]" monad monoid)]
+ ["[0]" list (.open: "[1]#[0]" monad monoid)]
["[0]" set]]]
[macro
["^" pattern]
["[0]" code]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]
["f" frac]]]
@@ -30,7 +30,7 @@
["$[1]" \\test]]
["[0]" configuration
["$[1]" \\test]]]
- ["[0]" type ("[1]#[0]" equivalence)
+ ["[0]" type (.open: "[1]#[0]" equivalence)
["[0]" check]]]]
[\\library
["[0]" / (.only)
@@ -48,7 +48,7 @@
["[2][0]" complex]
["[2][0]" scope]]
[///
- ["[1][0]" phase ("[1]#[0]" monad)]
+ ["[1][0]" phase (.open: "[1]#[0]" monad)]
[meta
["[0]" archive]]]]]]]])
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 423a541aa..90730f325 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
@@ -6,7 +6,7 @@
[monad (.only do)]]
[control
["[0]" function]
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["[0]" exception]]
[data
["[0]" product]
@@ -23,7 +23,7 @@
[meta
["[0]" symbol
["$[1]" \\test]]]
- ["[0]" type ("[1]#[0]" equivalence)
+ ["[0]" type (.open: "[1]#[0]" equivalence)
["$[1]" \\test]
["[0]" check]]]]
[\\library
@@ -43,7 +43,7 @@
["[2][0]" inference
["$[1]" \\test]]]
[///
- ["[1][0]" phase ("[1]#[0]" monad)]
+ ["[1][0]" phase (.open: "[1]#[0]" monad)]
[meta
["[0]" archive]]]]]]]])
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 a6ec3d851..9f09dba69 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
@@ -6,14 +6,14 @@
[monad (.only do)]]
[control
["[0]" pipe]
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["[0]" exception]]
[data
["[0]" product]
["[0]" text]]
[math
["[0]" random]]
- ["[0]" type ("[1]#[0]" equivalence)
+ ["[0]" type (.open: "[1]#[0]" equivalence)
["$[1]" \\test]]]]
[\\library
["[0]" / (.only)
@@ -27,7 +27,7 @@
["[2][0]" type (.only)
["$[1]" \\test]]]
[///
- ["[1][0]" phase ("[1]#[0]" monad)]]]]]]])
+ ["[1][0]" phase (.open: "[1]#[0]" monad)]]]]]]])
(def: .public test
Test
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 6796d5da7..66d8d5833 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
@@ -2,7 +2,7 @@
[library
[lux (.except)
["_" test (.only Test)]
- ["[0]" type ("[1]#[0]" equivalence)]
+ ["[0]" type (.open: "[1]#[0]" equivalence)]
[abstract
[monad (.only do)]]
[control
@@ -24,7 +24,7 @@
["[2][0]" type]
["[2][0]" module]]
[///
- ["[1][0]" phase ("[1]#[0]" functor)]]]]]])
+ ["[1][0]" phase (.open: "[1]#[0]" functor)]]]]]])
(def: (analysis state module type it ?)
(-> Lux Text Type (Operation Analysis) (-> Analysis Bit) Bit)
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 c4417535c..05ddfaaff 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
@@ -12,12 +12,12 @@
["[0]" try]
["[0]" exception]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]
[collection
["[0]" dictionary]
- ["[0]" list ("[1]#[0]" mix)]]]
+ ["[0]" list (.open: "[1]#[0]" mix)]]]
[math
["[0]" random (.only Random)]
[number
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 7159422cc..c7d2ba84e 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
@@ -14,7 +14,7 @@
["[0]" atom]]]
[data
["[0]" product]]
- ["[0]" type ("[1]#[0]" equivalence)]
+ ["[0]" type (.open: "[1]#[0]" equivalence)]
[macro
["[0]" code]]
[meta
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 c885819a5..351098c03 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
@@ -6,7 +6,7 @@
["[0]" monad (.only do)]]
[control
["[0]" pipe]
- ["[0]" try ("[1]#[0]" functor)]]
+ ["[0]" try (.open: "[1]#[0]" functor)]]
[data
["[0]" sum]
["[0]" text (.only)
@@ -17,7 +17,7 @@
["[0]" rev]
["[0]" frac]]
[collection
- ["[0]" list ("[1]#[0]" functor mix monoid)]
+ ["[0]" list (.open: "[1]#[0]" functor mix monoid)]
["[0]" set]]]
[math
["[0]" random (.only Random)]]]
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 fb46bc028..8ab54be6f 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
@@ -12,7 +12,7 @@
[number
["n" nat]]
[collection
- ["[0]" list ("[1]#[0]" functor mix monoid)]
+ ["[0]" list (.open: "[1]#[0]" functor mix monoid)]
["[0]" dictionary (.only Dictionary)]
["[0]" set]]]
[macro
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux
index 4d0ae78d3..96c5116be 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux
@@ -10,9 +10,9 @@
[number
["n" nat]]
[collection
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]]]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]
[\\
["[0]" /
[////
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 fca41d4c5..3e6cdda9c 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
@@ -10,7 +10,7 @@
["n" nat]]
[collection
["[0]" list]]]
- ["r" math/random (.only Random) ("[1]#[0]" monad)]
+ ["r" math/random (.only Random) (.open: "[1]#[0]" monad)]
["_" test (.only Test)]
[meta
["[0]" symbol]]]
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 d2d62f1db..954818c48 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
@@ -10,7 +10,7 @@
["[0]" pipe]
["[0]" try]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
["[0]" product]
[number
["n" nat]]
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
index c683c8bb8..006790ba4 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
@@ -14,7 +14,7 @@
[number
["n" nat]]
[collection
- ["[0]" list ("[1]#[0]" functor mix)]
+ ["[0]" list (.open: "[1]#[0]" functor mix)]
["[0]" dictionary (.only Dictionary)]]]
[macro
["^" pattern]]]
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux
index 7719130c8..7e92f65ae 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux
@@ -5,7 +5,7 @@
["%" text/format (.only format)]
[number
["n" nat]]]
- ["r" math/random (.only Random) ("[1]#[0]" monad)]
+ ["r" math/random (.only Random) (.open: "[1]#[0]" monad)]
["_" test (.only Test)]
[control
["[0]" try]
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/member.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/member.lux
index 929b99b71..fec861dfd 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/member.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/member.lux
@@ -8,8 +8,8 @@
["$[0]" equivalence]
["$[0]" hash]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]]]]
[\\library
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/side.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/side.lux
index 20b38598b..61080fd2c 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/side.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/side.lux
@@ -8,8 +8,8 @@
["$[0]" equivalence]
["$[0]" hash]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]]]]
[\\library
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux
index c8135b2ad..cd422dccc 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux
@@ -8,8 +8,8 @@
["$[0]" equivalence]
["$[0]" hash]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)]]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive.lux b/stdlib/source/test/lux/tool/compiler/meta/archive.lux
index 9c013079f..359446987 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive.lux
@@ -13,7 +13,7 @@
["%" format (.only format)]]
[collection
["[0]" list]
- ["[0]" set ("[1]#[0]" equivalence)]
+ ["[0]" set (.open: "[1]#[0]" equivalence)]
["[0]" sequence]]]
[math
["[0]" random (.only Random)]
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux
index 87ce44514..2f8086595 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux
@@ -6,7 +6,7 @@
[\\specification
["$[0]" equivalence]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]]]]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux
index 9bf3509c5..b62b50e3c 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux
@@ -7,15 +7,15 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" binary]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[format
["[0]" binary]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]]]]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]]
[\\library
["[0]" /]])
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 e67f4e18e..ce5dd5566 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
@@ -6,7 +6,7 @@
[monad (.only do)]]
[control
["[0]" pipe]
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["[0]" exception]
[parser
["<[0]>" binary]]]
@@ -20,7 +20,7 @@
[\\library
["[0]" / (.only)
[///
- ["[1][0]" signature ("[1]#[0]" equivalence)]
+ ["[1][0]" signature (.open: "[1]#[0]" equivalence)]
["[1][0]" key]]]]
["[0]" ///
["[1][0]" signature]])
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 f441916d2..7305277cb 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux
@@ -5,8 +5,8 @@
[abstract
[monad (.only do)]]
[control
- ["[0]" maybe ("[1]#[0]" functor)]
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" binary]]]
[data
@@ -15,7 +15,7 @@
[collection
["[0]" sequence (.only Sequence)]
["[0]" set (.only Set)]
- ["[0]" list ("[1]#[0]" mix functor)]]
+ ["[0]" list (.open: "[1]#[0]" mix functor)]]
[format
["[0]" binary]]]
[math
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 b54e7cc63..23a2d62c9 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux
@@ -7,12 +7,12 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[parser
["<[0]>" binary]]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[format
["[0]F" binary]]]
[math
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 1aaa9bfae..3d42ef1e1 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux
@@ -5,11 +5,11 @@
[abstract
[monad (.only do)]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[concurrency
["[0]" async]]]
[data
- ["[0]" binary ("[1]#[0]" equivalence)]
+ ["[0]" binary (.open: "[1]#[0]" equivalence)]
[collection
["[0]" sequence]]]
[math
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 4b31a3c36..de5344cf1 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux
@@ -7,9 +7,9 @@
[control
["[0]" try]
[concurrency
- ["[0]" async (.only Async) ("[1]#[0]" monad)]]]
+ ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]]]
[data
- ["[0]" binary ("[1]#[0]" equivalence)
+ ["[0]" binary (.open: "[1]#[0]" equivalence)
["$[1]" \\test]]]
[math
["[0]" random (.only Random)]
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 ea51f0f9b..8091e33c8 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux
@@ -8,7 +8,7 @@
["[0]" try]
["[0]" exception]
[concurrency
- ["[0]" async (.only Async) ("[1]#[0]" monad)]]]
+ ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]]]
[math
["[0]" random]]
[world
diff --git a/stdlib/source/test/lux/tool/compiler/meta/cli.lux b/stdlib/source/test/lux/tool/compiler/meta/cli.lux
index a50a44fc5..6df5fc3dd 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/cli.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/cli.lux
@@ -6,20 +6,20 @@
[monad (.only do)]]
[control
["[0]" pipe]
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["<>" parser (.only)
["<[0]>" cli]]]
[data
["[0]" product]
["[0]" text]
[collection
- ["[0]" list ("[1]#[0]" monoid monad)]]]
+ ["[0]" list (.open: "[1]#[0]" monoid monad)]]]
[math
["[0]" random (.only Random)]
[number
["n" nat]]]
[meta
- ["[0]" configuration ("[1]#[0]" equivalence)
+ ["[0]" configuration (.open: "[1]#[0]" equivalence)
["$[1]" \\test]]]]]
[\\library
["[0]" / (.only)
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 85ea91687..988227519 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux
@@ -7,7 +7,7 @@
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["<>" parser
["<[0]>" text]]]
[math
diff --git a/stdlib/source/test/lux/tool/compiler/meta/context.lux b/stdlib/source/test/lux/tool/compiler/meta/context.lux
index 6031daabf..46d9c6343 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/context.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/context.lux
@@ -8,7 +8,7 @@
["[0]" text]
[collection
["[0]" set]
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[math
["[0]" random (.only Random)]
[number
diff --git a/stdlib/source/test/lux/tool/compiler/meta/export.lux b/stdlib/source/test/lux/tool/compiler/meta/export.lux
index ca92ca74c..eccebdfe0 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/export.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/export.lux
@@ -6,18 +6,18 @@
[monad (.only do)]]
[control
["[0]" pipe]
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
[concurrency
["[0]" async]]
[parser
["<[0]>" binary]]]
[data
["[0]" product]
- ["[0]" binary (.only Binary) ("[1]#[0]" equivalence)]
- ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" binary (.only Binary) (.open: "[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
[format
["[0]" tar]]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]
[encoding
["[0]" utf8]]]
diff --git a/stdlib/source/test/lux/tool/compiler/meta/import.lux b/stdlib/source/test/lux/tool/compiler/meta/import.lux
index 7145da568..a055d3408 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/import.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/import.lux
@@ -5,8 +5,8 @@
[abstract
[monad (.only do)]]
[control
- ["[0]" maybe ("[1]#[0]" functor)]
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["[0]" exception]
[concurrency
["[0]" async]]
@@ -14,12 +14,12 @@
["<[0]>" binary]]]
[data
["[0]" product]
- ["[0]" binary (.only Binary) ("[1]#[0]" equivalence)]
- ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" binary (.only Binary) (.open: "[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
["[0]" format
["[0]" tar (.only Tar)]
["[1]" binary]]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]
[encoding
["[0]" utf8]]]
diff --git a/stdlib/source/test/lux/tool/compiler/phase.lux b/stdlib/source/test/lux/tool/compiler/phase.lux
index b6d7ac312..6fa17a691 100644
--- a/stdlib/source/test/lux/tool/compiler/phase.lux
+++ b/stdlib/source/test/lux/tool/compiler/phase.lux
@@ -9,10 +9,10 @@
["$[0]" monad]]]
[control
["[0]" pipe]
- ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" try (.open: "[1]#[0]" functor)]
["[0]" exception (.only exception:)]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]]
[math
["[0]" random]
diff --git a/stdlib/source/test/lux/tool/compiler/reference.lux b/stdlib/source/test/lux/tool/compiler/reference.lux
index d6ef6ace8..37e61b319 100644
--- a/stdlib/source/test/lux/tool/compiler/reference.lux
+++ b/stdlib/source/test/lux/tool/compiler/reference.lux
@@ -8,14 +8,14 @@
["$[0]" equivalence]
["$[0]" hash]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format]]]
[math
["[0]" random (.only Random)]
[number
["n" nat]]]
[meta
- ["[0]" symbol ("[1]#[0]" equivalence)]]]]
+ ["[0]" symbol (.open: "[1]#[0]" equivalence)]]]]
[\\library
["[0]" / (.only)
["[0]" variable (.only Register)]]]
diff --git a/stdlib/source/test/lux/tool/compiler/reference/variable.lux b/stdlib/source/test/lux/tool/compiler/reference/variable.lux
index 082350228..cfbd5eeaa 100644
--- a/stdlib/source/test/lux/tool/compiler/reference/variable.lux
+++ b/stdlib/source/test/lux/tool/compiler/reference/variable.lux
@@ -8,7 +8,7 @@
["$[0]" equivalence]
["$[0]" hash]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]]]]
[\\library
diff --git a/stdlib/source/test/lux/tool/compiler/version.lux b/stdlib/source/test/lux/tool/compiler/version.lux
index 96cd64fa0..cd3bf39ee 100644
--- a/stdlib/source/test/lux/tool/compiler/version.lux
+++ b/stdlib/source/test/lux/tool/compiler/version.lux
@@ -5,8 +5,8 @@
[abstract
[monad (.only do)]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]]
[math
["[0]" random (.only Random)]
diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux
index 0c6d1e6fa..e93535317 100644
--- a/stdlib/source/test/lux/type.lux
+++ b/stdlib/source/test/lux/type.lux
@@ -10,20 +10,20 @@
["[0]" pipe]
["[0]" maybe]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" list]
["[0]" array]]]
[macro
["^" pattern]
- ["[0]" code ("[1]#[0]" equivalence)]]
+ ["[0]" code (.open: "[1]#[0]" equivalence)]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]]]]]
[\\library
- ["[0]" / ("[1]#[0]" equivalence)]]
+ ["[0]" / (.open: "[1]#[0]" equivalence)]]
["[0]" /
["[1][0]" primitive]
["[1][0]" check]
diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux
index 27c63dc0b..d8e92bebc 100644
--- a/stdlib/source/test/lux/type/check.lux
+++ b/stdlib/source/test/lux/type/check.lux
@@ -2,7 +2,7 @@
[library
[lux (.except type symbol)
["_" test (.only Test)]
- ["[0]" type ("[1]#[0]" equivalence)]
+ ["[0]" type (.open: "[1]#[0]" equivalence)]
[abstract
["[0]" monad (.only do)]
[\\specification
@@ -15,17 +15,17 @@
["[0]" try]
["[0]" exception (.only exception:)]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
["[0]" product]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]
[collection
- ["[0]" list ("[1]#[0]" functor monoid)]
+ ["[0]" list (.open: "[1]#[0]" functor monoid)]
["[0]" set]]]
[macro
["^" pattern]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/type/dynamic.lux b/stdlib/source/test/lux/type/dynamic.lux
index 3b9179d37..cb5931ff7 100644
--- a/stdlib/source/test/lux/type/dynamic.lux
+++ b/stdlib/source/test/lux/type/dynamic.lux
@@ -8,7 +8,7 @@
["[0]" try]
["[0]" exception]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]]
[math
["[0]" random (.only Random)]
diff --git a/stdlib/source/test/lux/type/implicit.lux b/stdlib/source/test/lux/type/implicit.lux
index 4eb575a18..7a345cd53 100644
--- a/stdlib/source/test/lux/type/implicit.lux
+++ b/stdlib/source/test/lux/type/implicit.lux
@@ -9,7 +9,7 @@
[monad (.only do)]
["[0]" enum]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
[collection
["[0]" list]]]
[math
diff --git a/stdlib/source/test/lux/type/primitive.lux b/stdlib/source/test/lux/type/primitive.lux
index bb6defdda..15b084af1 100644
--- a/stdlib/source/test/lux/type/primitive.lux
+++ b/stdlib/source/test/lux/type/primitive.lux
@@ -11,7 +11,7 @@
[parser
["<[0]>" code]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]]
["[0]" macro (.only)
[syntax (.only syntax:)]
["[0]" code]
diff --git a/stdlib/source/test/lux/type/quotient.lux b/stdlib/source/test/lux/type/quotient.lux
index a0f2fa444..c8652e8c7 100644
--- a/stdlib/source/test/lux/type/quotient.lux
+++ b/stdlib/source/test/lux/type/quotient.lux
@@ -7,12 +7,12 @@
[\\specification
["$[0]" equivalence]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]]
[math
["[0]" random (.only Random)]
[number
- ["n" nat ("[1]#[0]" equivalence)]]]]]
+ ["n" nat (.open: "[1]#[0]" equivalence)]]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/type/refinement.lux b/stdlib/source/test/lux/type/refinement.lux
index fbf318736..514d59e79 100644
--- a/stdlib/source/test/lux/type/refinement.lux
+++ b/stdlib/source/test/lux/type/refinement.lux
@@ -6,10 +6,10 @@
[predicate (.only Predicate)]
[monad (.only do)]]
[control
- ["[0]" maybe ("[1]#[0]" monad)]]
+ ["[0]" maybe (.open: "[1]#[0]" monad)]]
[data
[collection
- ["[0]" list ("[1]#[0]" functor)]]]
+ ["[0]" list (.open: "[1]#[0]" functor)]]]
[math
["[0]" random]
[number
diff --git a/stdlib/source/test/lux/type/resource.lux b/stdlib/source/test/lux/type/resource.lux
index f49981fdd..a33c4817d 100644
--- a/stdlib/source/test/lux/type/resource.lux
+++ b/stdlib/source/test/lux/type/resource.lux
@@ -16,7 +16,7 @@
["<[0]>" code]]]
[data
["[0]" identity (.only Identity)]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]]
["[0]" macro (.only)
[syntax (.only syntax:)]
diff --git a/stdlib/source/test/lux/type/unit.lux b/stdlib/source/test/lux/type/unit.lux
index 19b2bc9c2..7ea97fc3f 100644
--- a/stdlib/source/test/lux/type/unit.lux
+++ b/stdlib/source/test/lux/type/unit.lux
@@ -18,7 +18,7 @@
["[0]" random (.only Random)]
[number
["i" int]
- ["[0]" ratio ("[1]#[0]" equivalence)]]]]]
+ ["[0]" ratio (.open: "[1]#[0]" equivalence)]]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/world/console.lux b/stdlib/source/test/lux/world/console.lux
index 9cfe5dbc5..cb0978bda 100644
--- a/stdlib/source/test/lux/world/console.lux
+++ b/stdlib/source/test/lux/world/console.lux
@@ -9,7 +9,7 @@
["[0]" try (.only Try)]
["[0]" exception (.only exception:)]]
[data
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]]
[math
["[0]" random]]]]
diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux
index 53c2c7ce9..2e06d0af5 100644
--- a/stdlib/source/test/lux/world/file.lux
+++ b/stdlib/source/test/lux/world/file.lux
@@ -12,8 +12,8 @@
["[0]" async (.only Async)]
["[0]" atom (.only Atom)]]]
[data
- ["[0]" binary (.only Binary) ("[1]#[0]" monoid)]
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" binary (.only Binary) (.open: "[1]#[0]" monoid)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" dictionary (.only Dictionary)]
["[0]" list]]]
diff --git a/stdlib/source/test/lux/world/file/watch.lux b/stdlib/source/test/lux/world/file/watch.lux
index af69350e0..9ab9e68ec 100644
--- a/stdlib/source/test/lux/world/file/watch.lux
+++ b/stdlib/source/test/lux/world/file/watch.lux
@@ -11,13 +11,13 @@
[concurrency
["[0]" async (.only Async)]]]
[data
- ["[0]" binary (.only Binary) ("[1]#[0]" equivalence)]
- ["[0]" text ("[1]#[0]" equivalence)
+ ["[0]" binary (.only Binary) (.open: "[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)
["%" format (.only format)]]
[collection
["[0]" list]]]
[math
- ["[0]" random (.only Random) ("[1]#[0]" monad)]]]]
+ ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]]
[\\library
["[0]" / (.only)
["/[1]" //]]]
diff --git a/stdlib/source/test/lux/world/input/keyboard.lux b/stdlib/source/test/lux/world/input/keyboard.lux
index f13e615a0..3ffd0edf6 100644
--- a/stdlib/source/test/lux/world/input/keyboard.lux
+++ b/stdlib/source/test/lux/world/input/keyboard.lux
@@ -7,7 +7,7 @@
[control
["[0]" maybe]]
[data
- ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" bit (.open: "[1]#[0]" equivalence)]
[collection
["[0]" list]
["[0]" set (.only Set)]]]
diff --git a/stdlib/source/test/lux/world/net/http/client.lux b/stdlib/source/test/lux/world/net/http/client.lux
index 21cbaa354..cf5005977 100644
--- a/stdlib/source/test/lux/world/net/http/client.lux
+++ b/stdlib/source/test/lux/world/net/http/client.lux
@@ -10,7 +10,7 @@
["[0]" try (.only Try)]
["[0]" function]
[concurrency
- ["[0]" async ("[1]#[0]" functor)]]]
+ ["[0]" async (.open: "[1]#[0]" functor)]]]
[data
["[0]" binary]
["[0]" product]
diff --git a/stdlib/source/test/lux/world/program.lux b/stdlib/source/test/lux/world/program.lux
index 3d7119229..390a77515 100644
--- a/stdlib/source/test/lux/world/program.lux
+++ b/stdlib/source/test/lux/world/program.lux
@@ -7,13 +7,13 @@
[control
["[0]" pipe]
["[0]" io]
- ["[0]" maybe ("[1]#[0]" functor)]
+ ["[0]" maybe (.open: "[1]#[0]" functor)]
["[0]" try]
["[0]" exception]
[parser
[environment (.only Environment)]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" dictionary]
["[0]" list]]]
diff --git a/stdlib/source/test/lux/world/shell.lux b/stdlib/source/test/lux/world/shell.lux
index c9960e037..c30aef45d 100644
--- a/stdlib/source/test/lux/world/shell.lux
+++ b/stdlib/source/test/lux/world/shell.lux
@@ -13,7 +13,7 @@
[parser
["[0]" environment (.only Environment)]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]
[collection
["[0]" list]]]
[math