aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
authorEduardo Julian2021-09-13 00:29:57 -0400
committerEduardo Julian2021-09-13 00:29:57 -0400
commit376c3e472fbb1e2656f8c61b26e0276570609aa1 (patch)
treebc76d7aeff4f2b889ae262a64dc8d26b0476068d /stdlib/source/test
parent2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (diff)
Updated only/except import syntax to take into account record => variant syntax change.
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/aedifex.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact.lux8
-rw-r--r--stdlib/source/test/aedifex/artifact/extension.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/build.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/stamp.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/time.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux8
-rw-r--r--stdlib/source/test/aedifex/artifact/time.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/time/date.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/time/time.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/type.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/versioning.lux6
-rw-r--r--stdlib/source/test/aedifex/cache.lux26
-rw-r--r--stdlib/source/test/aedifex/cli.lux8
-rw-r--r--stdlib/source/test/aedifex/command.lux2
-rw-r--r--stdlib/source/test/aedifex/command/auto.lux24
-rw-r--r--stdlib/source/test/aedifex/command/build.lux20
-rw-r--r--stdlib/source/test/aedifex/command/clean.lux18
-rw-r--r--stdlib/source/test/aedifex/command/deploy.lux16
-rw-r--r--stdlib/source/test/aedifex/command/deps.lux8
-rw-r--r--stdlib/source/test/aedifex/command/install.lux16
-rw-r--r--stdlib/source/test/aedifex/command/pom.lux4
-rw-r--r--stdlib/source/test/aedifex/command/test.lux6
-rw-r--r--stdlib/source/test/aedifex/command/version.lux12
-rw-r--r--stdlib/source/test/aedifex/dependency.lux6
-rw-r--r--stdlib/source/test/aedifex/dependency/deployment.lux28
-rw-r--r--stdlib/source/test/aedifex/dependency/resolution.lux18
-rw-r--r--stdlib/source/test/aedifex/dependency/status.lux6
-rw-r--r--stdlib/source/test/aedifex/hash.lux10
-rw-r--r--stdlib/source/test/aedifex/input.lux14
-rw-r--r--stdlib/source/test/aedifex/local.lux6
-rw-r--r--stdlib/source/test/aedifex/metadata.lux4
-rw-r--r--stdlib/source/test/aedifex/metadata/artifact.lux6
-rw-r--r--stdlib/source/test/aedifex/metadata/snapshot.lux10
-rw-r--r--stdlib/source/test/aedifex/package.lux10
-rw-r--r--stdlib/source/test/aedifex/parser.lux20
-rw-r--r--stdlib/source/test/aedifex/pom.lux4
-rw-r--r--stdlib/source/test/aedifex/profile.lux18
-rw-r--r--stdlib/source/test/aedifex/project.lux6
-rw-r--r--stdlib/source/test/aedifex/repository.lux24
-rw-r--r--stdlib/source/test/aedifex/repository/identity.lux4
-rw-r--r--stdlib/source/test/aedifex/repository/local.lux4
-rw-r--r--stdlib/source/test/aedifex/repository/origin.lux4
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux12
-rw-r--r--stdlib/source/test/aedifex/runtime.lux6
-rw-r--r--stdlib/source/test/lux.lux18
-rw-r--r--stdlib/source/test/lux/abstract.lux2
-rw-r--r--stdlib/source/test/lux/abstract/apply.lux6
-rw-r--r--stdlib/source/test/lux/abstract/codec.lux12
-rw-r--r--stdlib/source/test/lux/abstract/comonad.lux6
-rw-r--r--stdlib/source/test/lux/abstract/comonad/cofree.lux10
-rw-r--r--stdlib/source/test/lux/abstract/enum.lux6
-rw-r--r--stdlib/source/test/lux/abstract/equivalence.lux8
-rw-r--r--stdlib/source/test/lux/abstract/functor.lux6
-rw-r--r--stdlib/source/test/lux/abstract/functor/contravariant.lux2
-rw-r--r--stdlib/source/test/lux/abstract/hash.lux8
-rw-r--r--stdlib/source/test/lux/abstract/interval.lux10
-rw-r--r--stdlib/source/test/lux/abstract/mix.lux6
-rw-r--r--stdlib/source/test/lux/abstract/monad.lux6
-rw-r--r--stdlib/source/test/lux/abstract/monad/free.lux10
-rw-r--r--stdlib/source/test/lux/abstract/monoid.lux8
-rw-r--r--stdlib/source/test/lux/abstract/order.lux8
-rw-r--r--stdlib/source/test/lux/abstract/predicate.lux8
-rw-r--r--stdlib/source/test/lux/control.lux4
-rw-r--r--stdlib/source/test/lux/control/concatenative.lux6
-rw-r--r--stdlib/source/test/lux/control/concurrency/actor.lux20
-rw-r--r--stdlib/source/test/lux/control/concurrency/async.lux10
-rw-r--r--stdlib/source/test/lux/control/concurrency/atom.lux4
-rw-r--r--stdlib/source/test/lux/control/concurrency/frp.lux14
-rw-r--r--stdlib/source/test/lux/control/concurrency/semaphore.lux12
-rw-r--r--stdlib/source/test/lux/control/concurrency/stm.lux12
-rw-r--r--stdlib/source/test/lux/control/concurrency/thread.lux8
-rw-r--r--stdlib/source/test/lux/control/continuation.lux6
-rw-r--r--stdlib/source/test/lux/control/exception.lux10
-rw-r--r--stdlib/source/test/lux/control/function.lux8
-rw-r--r--stdlib/source/test/lux/control/function/contract.lux4
-rw-r--r--stdlib/source/test/lux/control/function/memo.lux12
-rw-r--r--stdlib/source/test/lux/control/function/mixin.lux12
-rw-r--r--stdlib/source/test/lux/control/function/mutual.lux8
-rw-r--r--stdlib/source/test/lux/control/io.lux8
-rw-r--r--stdlib/source/test/lux/control/lazy.lux10
-rw-r--r--stdlib/source/test/lux/control/maybe.lux6
-rw-r--r--stdlib/source/test/lux/control/parser.lux16
-rw-r--r--stdlib/source/test/lux/control/parser/analysis.lux12
-rw-r--r--stdlib/source/test/lux/control/parser/binary.lux16
-rw-r--r--stdlib/source/test/lux/control/parser/cli.lux4
-rw-r--r--stdlib/source/test/lux/control/parser/code.lux6
-rw-r--r--stdlib/source/test/lux/control/parser/environment.lux4
-rw-r--r--stdlib/source/test/lux/control/parser/json.lux10
-rw-r--r--stdlib/source/test/lux/control/parser/synthesis.lux16
-rw-r--r--stdlib/source/test/lux/control/parser/text.lux12
-rw-r--r--stdlib/source/test/lux/control/parser/tree.lux4
-rw-r--r--stdlib/source/test/lux/control/parser/type.lux8
-rw-r--r--stdlib/source/test/lux/control/parser/xml.lux6
-rw-r--r--stdlib/source/test/lux/control/pipe.lux6
-rw-r--r--stdlib/source/test/lux/control/reader.lux10
-rw-r--r--stdlib/source/test/lux/control/region.lux22
-rw-r--r--stdlib/source/test/lux/control/remember.lux16
-rw-r--r--stdlib/source/test/lux/control/security/capability.lux6
-rw-r--r--stdlib/source/test/lux/control/security/policy.lux10
-rw-r--r--stdlib/source/test/lux/control/state.lux10
-rw-r--r--stdlib/source/test/lux/control/thread.lux8
-rw-r--r--stdlib/source/test/lux/control/try.lux10
-rw-r--r--stdlib/source/test/lux/control/writer.lux12
-rw-r--r--stdlib/source/test/lux/data.lux4
-rw-r--r--stdlib/source/test/lux/data/binary.lux12
-rw-r--r--stdlib/source/test/lux/data/bit.lux4
-rw-r--r--stdlib/source/test/lux/data/collection.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/array.lux10
-rw-r--r--stdlib/source/test/lux/data/collection/bits.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary/ordered.lux10
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary/plist.lux6
-rw-r--r--stdlib/source/test/lux/data/collection/list.lux6
-rw-r--r--stdlib/source/test/lux/data/collection/queue.lux6
-rw-r--r--stdlib/source/test/lux/data/collection/queue/priority.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/row.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/sequence.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/set.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/set/multi.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/set/ordered.lux10
-rw-r--r--stdlib/source/test/lux/data/collection/stack.lux6
-rw-r--r--stdlib/source/test/lux/data/collection/tree.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/tree/finger.lux6
-rw-r--r--stdlib/source/test/lux/data/collection/tree/zipper.lux6
-rw-r--r--stdlib/source/test/lux/data/color.lux6
-rw-r--r--stdlib/source/test/lux/data/color/named.lux6
-rw-r--r--stdlib/source/test/lux/data/format/binary.lux8
-rw-r--r--stdlib/source/test/lux/data/format/json.lux12
-rw-r--r--stdlib/source/test/lux/data/format/tar.lux10
-rw-r--r--stdlib/source/test/lux/data/format/xml.lux12
-rw-r--r--stdlib/source/test/lux/data/identity.lux8
-rw-r--r--stdlib/source/test/lux/data/name.lux6
-rw-r--r--stdlib/source/test/lux/data/product.lux4
-rw-r--r--stdlib/source/test/lux/data/sum.lux4
-rw-r--r--stdlib/source/test/lux/data/text.lux6
-rw-r--r--stdlib/source/test/lux/data/text/buffer.lux8
-rw-r--r--stdlib/source/test/lux/data/text/encoding.lux6
-rw-r--r--stdlib/source/test/lux/data/text/encoding/utf8.lux4
-rw-r--r--stdlib/source/test/lux/data/text/escape.lux16
-rw-r--r--stdlib/source/test/lux/data/text/format.lux8
-rw-r--r--stdlib/source/test/lux/data/text/regex.lux12
-rw-r--r--stdlib/source/test/lux/data/text/unicode/block.lux8
-rw-r--r--stdlib/source/test/lux/data/text/unicode/set.lux6
-rw-r--r--stdlib/source/test/lux/debug.lux28
-rw-r--r--stdlib/source/test/lux/documentation.lux4
-rw-r--r--stdlib/source/test/lux/extension.lux8
-rw-r--r--stdlib/source/test/lux/ffi.js.lux6
-rw-r--r--stdlib/source/test/lux/ffi.jvm.lux14
-rw-r--r--stdlib/source/test/lux/ffi.lua.lux4
-rw-r--r--stdlib/source/test/lux/ffi.old.lux10
-rw-r--r--stdlib/source/test/lux/ffi.php.lux6
-rw-r--r--stdlib/source/test/lux/ffi.py.lux4
-rw-r--r--stdlib/source/test/lux/ffi.rb.lux4
-rw-r--r--stdlib/source/test/lux/ffi.scm.lux6
-rw-r--r--stdlib/source/test/lux/locale.lux12
-rw-r--r--stdlib/source/test/lux/locale/language.lux10
-rw-r--r--stdlib/source/test/lux/locale/territory.lux10
-rw-r--r--stdlib/source/test/lux/macro.lux10
-rw-r--r--stdlib/source/test/lux/macro/code.lux8
-rw-r--r--stdlib/source/test/lux/macro/local.lux8
-rw-r--r--stdlib/source/test/lux/macro/syntax.lux4
-rw-r--r--stdlib/source/test/lux/macro/syntax/check.lux6
-rw-r--r--stdlib/source/test/lux/macro/syntax/declaration.lux6
-rw-r--r--stdlib/source/test/lux/macro/syntax/definition.lux6
-rw-r--r--stdlib/source/test/lux/macro/syntax/export.lux6
-rw-r--r--stdlib/source/test/lux/macro/syntax/input.lux6
-rw-r--r--stdlib/source/test/lux/macro/syntax/type/variable.lux6
-rw-r--r--stdlib/source/test/lux/macro/template.lux8
-rw-r--r--stdlib/source/test/lux/math.lux6
-rw-r--r--stdlib/source/test/lux/math/infix.lux4
-rw-r--r--stdlib/source/test/lux/math/logic/continuous.lux4
-rw-r--r--stdlib/source/test/lux/math/logic/fuzzy.lux10
-rw-r--r--stdlib/source/test/lux/math/modular.lux6
-rw-r--r--stdlib/source/test/lux/math/modulus.lux8
-rw-r--r--stdlib/source/test/lux/math/number.lux2
-rw-r--r--stdlib/source/test/lux/math/number/complex.lux8
-rw-r--r--stdlib/source/test/lux/math/number/frac.lux6
-rw-r--r--stdlib/source/test/lux/math/number/i16.lux6
-rw-r--r--stdlib/source/test/lux/math/number/i32.lux6
-rw-r--r--stdlib/source/test/lux/math/number/i64.lux8
-rw-r--r--stdlib/source/test/lux/math/number/i8.lux6
-rw-r--r--stdlib/source/test/lux/math/number/int.lux6
-rw-r--r--stdlib/source/test/lux/math/number/nat.lux4
-rw-r--r--stdlib/source/test/lux/math/number/ratio.lux6
-rw-r--r--stdlib/source/test/lux/math/number/rev.lux6
-rw-r--r--stdlib/source/test/lux/meta.lux14
-rw-r--r--stdlib/source/test/lux/meta/location.lux6
-rw-r--r--stdlib/source/test/lux/program.lux6
-rw-r--r--stdlib/source/test/lux/static.lux4
-rw-r--r--stdlib/source/test/lux/target.lux4
-rw-r--r--stdlib/source/test/lux/target/jvm.lux26
-rw-r--r--stdlib/source/test/lux/test.lux4
-rw-r--r--stdlib/source/test/lux/time.lux8
-rw-r--r--stdlib/source/test/lux/time/date.lux8
-rw-r--r--stdlib/source/test/lux/time/day.lux6
-rw-r--r--stdlib/source/test/lux/time/duration.lux6
-rw-r--r--stdlib/source/test/lux/time/instant.lux8
-rw-r--r--stdlib/source/test/lux/time/month.lux6
-rw-r--r--stdlib/source/test/lux/time/year.lux8
-rw-r--r--stdlib/source/test/lux/tool.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux10
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux10
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux20
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux10
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/structure.lux10
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux12
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux18
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux18
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux18
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux16
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux12
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux14
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux10
-rw-r--r--stdlib/source/test/lux/type.lux8
-rw-r--r--stdlib/source/test/lux/type/abstract.lux6
-rw-r--r--stdlib/source/test/lux/type/check.lux16
-rw-r--r--stdlib/source/test/lux/type/dynamic.lux8
-rw-r--r--stdlib/source/test/lux/type/implicit.lux12
-rw-r--r--stdlib/source/test/lux/type/poly.lux2
-rw-r--r--stdlib/source/test/lux/type/poly/equivalence.lux10
-rw-r--r--stdlib/source/test/lux/type/poly/functor.lux8
-rw-r--r--stdlib/source/test/lux/type/poly/json.lux16
-rw-r--r--stdlib/source/test/lux/type/quotient.lux8
-rw-r--r--stdlib/source/test/lux/type/refinement.lux6
-rw-r--r--stdlib/source/test/lux/type/resource.lux18
-rw-r--r--stdlib/source/test/lux/type/unit.lux10
-rw-r--r--stdlib/source/test/lux/type/variance.lux6
-rw-r--r--stdlib/source/test/lux/world.lux2
-rw-r--r--stdlib/source/test/lux/world/console.lux10
-rw-r--r--stdlib/source/test/lux/world/file.lux4
-rw-r--r--stdlib/source/test/lux/world/file/watch.lux16
-rw-r--r--stdlib/source/test/lux/world/input/keyboard.lux8
-rw-r--r--stdlib/source/test/lux/world/net/http/client.lux12
-rw-r--r--stdlib/source/test/lux/world/net/http/status.lux4
-rw-r--r--stdlib/source/test/lux/world/output/video/resolution.lux8
-rw-r--r--stdlib/source/test/lux/world/program.lux12
-rw-r--r--stdlib/source/test/lux/world/shell.lux16
242 files changed, 1066 insertions, 1066 deletions
diff --git a/stdlib/source/test/aedifex.lux b/stdlib/source/test/aedifex.lux
index 1ff98be46..34ea448a7 100644
--- a/stdlib/source/test/aedifex.lux
+++ b/stdlib/source/test/aedifex.lux
@@ -1,8 +1,8 @@
(.module:
[library
[lux "*"
- [program {"+" [program:]}]
- ["_" test {"+" [Test]}]
+ [program {"+" program:}]
+ ["_" test {"+" Test}]
[control
["[0]" io]]]]
["[0]" / "_"
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index 8057a46bc..453f69ac8 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -1,10 +1,10 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
- [hash {"+" [Hash]}]
+ [monad {"+" do}]
+ [hash {"+" Hash}]
[\\specification
["$[0]" equivalence]
["$[0]" order]
@@ -12,7 +12,7 @@
[data
["[0]" text ("[1]#[0]" equivalence)]]
[math
- ["[0]" random {"+" [Random]}]]
+ ["[0]" random {"+" Random}]]
[world
["[0]" file]
[net
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index f346a6c77..08b4555e3 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -1,16 +1,16 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[data
["[0]" text ("[1]#[0]" equivalence)]
[collection
["[0]" set]
["[0]" list]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\program
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index c89a0cede..01e5a30dd 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
@@ -11,7 +11,7 @@
[parser
["<[0]>" xml]]]
[math
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]]]]
+ ["[0]" random {"+" Random} ("[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 9bceb6737..c04029b4f 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
@@ -11,7 +11,7 @@
[parser
["<[0]>" xml]]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\program
["[0]" /]])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index 8c403ec24..04438ab34 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
@@ -11,7 +11,7 @@
[parser
["<[0]>" xml]]]
[math
- ["[0]" random {"+" [Random]}]]
+ ["[0]" random {"+" Random}]]
[time
["[0]" instant]]]]
[\\program
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index e74d3d370..0f38d31a1 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
@@ -11,7 +11,7 @@
[parser
["<[0]>" text]]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\program
["[0]" /]]
["$[0]" /// "_"
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index 367ddfe93..b798f67ea 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
@@ -11,7 +11,7 @@
[parser
["<[0]>" xml]]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\program
["[0]" /]]
["[0]" / "_"
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index 156c403d7..d00dc53b7 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
@@ -12,9 +12,9 @@
["<[0]>" text]]]
[data
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[math
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
+ ["[0]" random {"+" Random} ("[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 af64231ab..7f693d91a 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
@@ -13,7 +13,7 @@
[time
["[0]" instant ("[1]#[0]" equivalence)]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["i" int]]]]]
[\\program
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index 85f6b69f5..ce4ca415a 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
@@ -12,7 +12,7 @@
[parser
["<[0]>" text]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]
["i" int]]]
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index 983e81210..92d2c47ea 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -1,16 +1,16 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
["[0]" time]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try ("[1]#[0]" functor)]
[parser
["<[0]>" text]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]
["i" int]]]]]
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux
index 7b19d6c57..d407d3907 100644
--- a/stdlib/source/test/aedifex/artifact/type.lux
+++ b/stdlib/source/test/aedifex/artifact/type.lux
@@ -1,16 +1,16 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[data
["[0]" text]
[collection
["[0]" set]
["[0]" list]]]
[math
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
+ ["[0]" random {"+" Random} ("[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 963424469..adb5b36e1 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
@@ -11,7 +11,7 @@
[parser
["<[0]>" xml]]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\program
["[0]" /]]
["$[0]" // "_"
diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux
index 989b205a3..33dab1686 100644
--- a/stdlib/source/test/aedifex/cache.lux
+++ b/stdlib/source/test/aedifex/cache.lux
@@ -1,25 +1,25 @@
(.module:
[library
- [lux {"-" [Type type]}
- ["_" test {"+" [Test]}]
+ [lux {"-" Type type}
+ ["_" test {"+" Test}]
[abstract
- ["[0]" monad {"+" [do]}]]
+ ["[0]" monad {"+" do}]]
[control
["[0]" try]
[concurrency
- ["[0]" async {"+" [Async]}]]
+ ["[0]" async {"+" Async}]]
[parser
["[0]" environment]]]
[data
- [binary {"+" [Binary]}]
+ [binary {"+" Binary}]
["[0]" text]
[format
- [xml {"+" [XML]}]]
+ [xml {"+" XML}]]
[collection
["[0]" set]
["[0]" dictionary]]]
[math
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
+ ["[0]" random {"+" Random} ("[1]#[0]" monad)]
[number
["n" nat]]]
[world
@@ -35,13 +35,13 @@
[\\program
["[0]" /
["/[1]" // "_"
- ["[1]" profile {"+" [Profile]}]
- ["[1][0]" package {"+" [Package]}]
+ ["[1]" profile {"+" Profile}]
+ ["[1][0]" package {"+" Package}]
["[1][0]" pom]
- ["[1][0]" dependency {"+" [Dependency]}
- ["[1]/[0]" resolution {"+" [Resolution]}]]
- ["[1][0]" artifact {"+" [Artifact]}
- ["[1]/[0]" type {"+" [Type]}]]
+ ["[1][0]" dependency {"+" Dependency}
+ ["[1]/[0]" resolution {"+" Resolution}]]
+ ["[1][0]" artifact {"+" Artifact}
+ ["[1]/[0]" type {"+" Type}]]
["[1][0]" repository "_"
["[1]/[0]" origin]]]]])
diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux
index 16ae29ab4..29797d183 100644
--- a/stdlib/source/test/aedifex/cli.lux
+++ b/stdlib/source/test/aedifex/cli.lux
@@ -1,13 +1,13 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" try]
[parser
["[0]" cli]]]
@@ -16,7 +16,7 @@
[collection
["[0]" list]]]
[math
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]]]]
+ ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]]
[\\program
["[0]" /
["/[1]" // "_"
diff --git a/stdlib/source/test/aedifex/command.lux b/stdlib/source/test/aedifex/command.lux
index 5cefcb033..ab9a2df31 100644
--- a/stdlib/source/test/aedifex/command.lux
+++ b/stdlib/source/test/aedifex/command.lux
@@ -1,7 +1,7 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]]]
+ ["_" test {"+" Test}]]]
["[0]" / "_"
["[1][0]" version]
["[1][0]" pom]
diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux
index eab61d51f..86ffc7a7b 100644
--- a/stdlib/source/test/aedifex/command/auto.lux
+++ b/stdlib/source/test/aedifex/command/auto.lux
@@ -1,21 +1,21 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" try]
[parser
["[0]" environment]]
[concurrency
- ["[0]" atom {"+" [Atom]}]
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" atom {"+" Atom}]
+ ["[0]" async {"+" Async}]]]
[data
["[0]" binary]
["[0]" text
- ["%" format {"+" [format]}]
+ ["%" format {"+" format}]
[encoding
["[0]" utf8]]]
[collection
@@ -27,9 +27,9 @@
[time
["[0]" instant]]
[world
- [console {"+" [Console]}]
- ["[0]" shell {"+" [Exit Shell]}]
- ["[0]" program {"+" [Program]}]
+ [console {"+" Console}]
+ ["[0]" shell {"+" Exit Shell}]
+ ["[0]" program {"+" Program}]
["[0]" file
["[0]" watch]]]]]
["[0]" // "_"
@@ -38,11 +38,11 @@
[\\program
["[0]" /
["//[1]" /// "_"
- [command {"+" [Command]}]
- ["[1]" profile {"+" [Profile]}]
+ [command {"+" Command}]
+ ["[1]" profile {"+" Profile}]
["[1][0]" action]
[dependency
- [resolution {"+" [Resolution]}]]]]])
+ [resolution {"+" Resolution}]]]]])
(def: (command expected_runs end_signal fs dummy_file)
(-> Nat Text (file.System Async) file.Path
diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux
index 722478571..05643780a 100644
--- a/stdlib/source/test/aedifex/command/build.lux
+++ b/stdlib/source/test/aedifex/command/build.lux
@@ -1,16 +1,16 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- [pipe {"+" [case>]}]
- [io {"+" [IO]}]
+ [pipe {"+" case>}]
+ [io {"+" IO}]
["[0]" try]
["[0]" exception]
[concurrency
- ["[0]" async {"+" [Async]}]]
+ ["[0]" async {"+" Async}]]
[parser
["[0]" environment]]]
[data
@@ -18,10 +18,10 @@
[collection
["[0]" dictionary]]]
[math
- ["[0]" random {"+" [Random]}]]
+ ["[0]" random {"+" Random}]]
[world
["[0]" file]
- ["[0]" shell {"+" [Shell]}]
+ ["[0]" shell {"+" Shell}]
["[0]" program]]]]
["[0]" // "_"
["@[0]" version]
@@ -30,12 +30,12 @@
[\\program
["[0]" /
["//[1]" /// "_"
- ["[1]" profile {"+" [Profile]}]
+ ["[1]" profile {"+" Profile}]
["[1][0]" action]
["[1][0]" artifact
["[1]/[0]" type]]
- ["[1][0]" dependency {"+" [Dependency]}
- ["[1]/[0]" resolution {"+" [Resolution]}]]]]])
+ ["[1][0]" dependency {"+" Dependency}
+ ["[1]/[0]" resolution {"+" Resolution}]]]]])
(def: .public good_shell
(-> Any (Shell IO))
diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux
index 8a9a69e7c..754bc4cd6 100644
--- a/stdlib/source/test/aedifex/command/clean.lux
+++ b/stdlib/source/test/aedifex/command/clean.lux
@@ -1,27 +1,27 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- ["[0]" monad {"+" [do]}]]
+ ["[0]" monad {"+" do}]]
[control
- ["[0]" try {"+" [Try]}]
+ ["[0]" try {"+" Try}]
[concurrency
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" async {"+" Async}]]]
[data
- [binary {"+" [Binary]}]
+ [binary {"+" Binary}]
["[0]" product]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
["[0]" list ("[1]#[0]" functor)]
["[0]" set]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]
[world
- ["[0]" file {"+" [Path]}]]]]
+ ["[0]" file {"+" Path}]]]]
[//
["@[0]" version]
[//
@@ -34,7 +34,7 @@
["[0]" /
["//[1]" /// "_"
["[1]" profile]
- ["[1][0]" action {"+" [Action]}]]]])
+ ["[1][0]" action {"+" Action}]]]])
(def: node_name
(Random Text)
diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux
index 68e4de22c..c2d97b932 100644
--- a/stdlib/source/test/aedifex/command/deploy.lux
+++ b/stdlib/source/test/aedifex/command/deploy.lux
@@ -1,20 +1,20 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" maybe]
- ["[0]" try {"+" [Try]}]
+ ["[0]" try {"+" Try}]
[concurrency
- ["[0]" async {"+" [Async]}]]
+ ["[0]" async {"+" Async}]]
[parser
["[0]" environment]]]
[data
["[0]" binary ("[1]#[0]" equivalence)]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]
+ ["%" format {"+" format}]
[encoding
["[0]" utf8]]]
["[0]" format "_"
@@ -27,7 +27,7 @@
["[0]" random]]
[world
["[0]" file]
- ["[0]" program {"+" [Program]}]]]]
+ ["[0]" program {"+" Program}]]]]
[program
[compositor
["[0]" export]]]
@@ -44,9 +44,9 @@
["[1][0]" action]
["[1][0]" pom]
["[1][0]" hash]
- ["[1][0]" repository {"+" [Repository]}
+ ["[1][0]" repository {"+" Repository}
["[1]/[0]" remote]]
- ["[1][0]" artifact {"+" [Artifact]}
+ ["[1][0]" artifact {"+" Artifact}
["[1]/[0]" extension]]]]])
(def: (execute! program repository fs artifact profile)
diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux
index 812f4b745..2d8f467f3 100644
--- a/stdlib/source/test/aedifex/command/deps.lux
+++ b/stdlib/source/test/aedifex/command/deps.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
["[0]" predicate]]
[control
["[0]" try]
@@ -13,7 +13,7 @@
["[0]" environment]]]
[data
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]
+ ["%" format {"+" format}]
[encoding
["[0]" utf8]]]
[collection
@@ -22,7 +22,7 @@
[format
["[0]" xml]]]
[math
- ["[0]" random {"+" [Random]}]]
+ ["[0]" random {"+" Random}]]
[world
["[0]" program]
["[0]" file]]]]
diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux
index ba6f599fb..c8301828c 100644
--- a/stdlib/source/test/aedifex/command/install.lux
+++ b/stdlib/source/test/aedifex/command/install.lux
@@ -1,27 +1,27 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- ["[0]" monad {"+" [do]}]]
+ ["[0]" monad {"+" do}]]
[control
- ["[0]" try {"+" [Try]} ("[1]#[0]" functor)]
+ ["[0]" try {"+" Try} ("[1]#[0]" functor)]
["[0]" exception]
[concurrency
- ["[0]" async {"+" [Async]}]]
+ ["[0]" async {"+" Async}]]
[parser
["[0]" environment]]]
[data
["[0]" binary]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
- ["[0]" set {"+" [Set]}]]]
+ ["[0]" set {"+" Set}]]]
[math
["[0]" random]]
[world
["[0]" file]
- ["[0]" program {"+" [Program]}]]]]
+ ["[0]" program {"+" Program}]]]]
[//
["$[0]" version]
[//
@@ -32,7 +32,7 @@
["/[1]" // "_"
["/[1]" // "_"
["[1]" profile]
- ["[1][0]" action {"+" [Action]}]
+ ["[1][0]" action {"+" Action}]
["[1][0]" local]
["[1][0]" artifact
["[1]/[0]" extension]]
diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux
index 47456bdba..049f147bf 100644
--- a/stdlib/source/test/aedifex/command/pom.lux
+++ b/stdlib/source/test/aedifex/command/pom.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try ("[1]#[0]" functor)]
[concurrency
diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux
index 20a59f405..ca88c8c27 100644
--- a/stdlib/source/test/aedifex/command/test.lux
+++ b/stdlib/source/test/aedifex/command/test.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try]
["[0]" exception]
@@ -32,7 +32,7 @@
["/[1]" // "_"
["[1][0]" build]
["/[1]" // "_"
- ["[1]" profile {"+" [Profile]}]
+ ["[1]" profile {"+" Profile}]
["[1][0]" action]
["[1][0]" artifact
["[1]/[0]" type]]
diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux
index 423c88718..8c0b0c953 100644
--- a/stdlib/source/test/aedifex/command/version.lux
+++ b/stdlib/source/test/aedifex/command/version.lux
@@ -1,18 +1,18 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" maybe]
["[0]" try]
- ["[0]" exception {"+" [exception:]}]
+ ["[0]" exception {"+" exception:}]
[concurrency
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" async {"+" Async}]]]
[data
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[math
["[0]" random]]
[tool
@@ -22,7 +22,7 @@
["[1]/[0]" lux "_"
["[1]" version]]]]]
[world
- ["[0]" console {"+" [Console Mock]}]]]]
+ ["[0]" console {"+" Console Mock}]]]]
[///
["@[0]" profile]]
[\\program
diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux
index 370803dfa..736ede228 100644
--- a/stdlib/source/test/aedifex/dependency.lux
+++ b/stdlib/source/test/aedifex/dependency.lux
@@ -1,15 +1,15 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" order]
["$[0]" hash]]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[//
["@[0]" artifact]]
[\\program
diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux
index f3bb6b4a3..39ef3113e 100644
--- a/stdlib/source/test/aedifex/dependency/deployment.lux
+++ b/stdlib/source/test/aedifex/dependency/deployment.lux
@@ -1,33 +1,33 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
- ["[0]" hash {"+" [Hash]}]]
+ [monad {"+" do}]
+ ["[0]" hash {"+" Hash}]]
[control
- ["[0]" io {"+" [IO]}]
+ ["[0]" io {"+" IO}]
["[0]" maybe ("[1]#[0]" functor)]
["[0]" try ("[1]#[0]" functor)]
[concurrency
- ["[0]" atom {"+" [Atom]}]
+ ["[0]" atom {"+" Atom}]
["[0]" async]]]
[data
["[0]" product]
- ["[0]" binary {"+" [Binary]} ("[1]#[0]" equivalence)]
+ ["[0]" binary {"+" Binary} ("[1]#[0]" equivalence)]
["[0]" text
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
- ["[0]" dictionary {"+" [Dictionary]}]
+ ["[0]" dictionary {"+" Dictionary}]
["[0]" set]
["[0]" list ("[1]#[0]" mix)]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]
[world
- [net {"+" [URL]}
- ["[0]" uri {"+" [URI]}]
+ [net {"+" URL}
+ ["[0]" uri {"+" URI}]
["[0]" http "_"
["[1]" client]
["[1]/[0]" status]
@@ -37,13 +37,13 @@
["[1][0]" package]]]
[\\program
["[0]" /
- [// {"+" [Dependency]}
+ [// {"+" Dependency}
["[0]" resolution]
[//
["[0]" profile]
["[0]" metadata]
- ["[0]" package {"+" [Package]}]
- ["[0]" artifact {"+" [Artifact]} ("[1]#[0]" equivalence)
+ ["[0]" package {"+" Package}]
+ ["[0]" artifact {"+" Artifact} ("[1]#[0]" equivalence)
["[1]/[0]" type]
["[1]/[0]" extension]]
["[0]" repository
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 01d516480..717656886 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
["[0]" predicate]
[\\specification
["$[0]" equivalence]]]
@@ -13,10 +13,10 @@
[concurrency
["[0]" async]]]
[data
- [binary {"+" [Binary]}]
+ [binary {"+" Binary}]
["[0]" product]
["[0]" text
- ["%" format {"+" [format]}]
+ ["%" format {"+" format}]
[encoding
["[0]" utf8]]]
[format
@@ -26,7 +26,7 @@
["[0]" set]
["[0]" list]]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
["$[0]" /// "_"
["[1][0]" package]
["[1][0]" repository]
@@ -37,15 +37,15 @@
["[0]" /
["//[1]" /// "_"
["[1]" profile]
- ["[1][0]" package {"+" [Package]}]
+ ["[1][0]" package {"+" Package}]
["[1][0]" hash]
- ["[1][0]" dependency {"+" [Dependency]} ("[1]#[0]" equivalence)
+ ["[1][0]" dependency {"+" Dependency} ("[1]#[0]" equivalence)
["[1]/[0]" status]]
["[1][0]" pom]
- ["[1][0]" artifact {"+" [Artifact]}
+ ["[1][0]" artifact {"+" Artifact}
["[1]/[0]" type]
["[1]/[0]" extension]]
- ["[1][0]" repository {"+" [Mock]}
+ ["[1][0]" repository {"+" Mock}
["[1]/[0]" origin]]]]])
(def: random
diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux
index 0b487873f..34dd669a9 100644
--- a/stdlib/source/test/aedifex/dependency/status.lux
+++ b/stdlib/source/test/aedifex/dependency/status.lux
@@ -1,16 +1,16 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[data
["[0]" binary "_"
["[1]T" \\test]]]
[math
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]]]]
+ ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]]
["$[0]" /// "_"
["[1][0]" hash]]
[\\program
diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux
index 67dfa6b01..76b4e1cd9 100644
--- a/stdlib/source/test/aedifex/hash.lux
+++ b/stdlib/source/test/aedifex/hash.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" codec]]]
@@ -11,11 +11,11 @@
["[0]" try]
["[0]" exception]]
[data
- ["[0]" binary {"+" [Binary]}]
+ ["[0]" binary {"+" Binary}]
[text
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\program
diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux
index a2f7d77a7..0e90e68dc 100644
--- a/stdlib/source/test/aedifex/input.lux
+++ b/stdlib/source/test/aedifex/input.lux
@@ -1,20 +1,20 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- ["[0]" try {"+" [Try]}]
+ ["[0]" try {"+" Try}]
[concurrency
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" async {"+" Async}]]]
[data
[text
["%" format]
[encoding
["[0]" utf8]]]
[collection
- ["[0]" set {"+" [Set]}]]]
+ ["[0]" set {"+" Set}]]]
[math
["[0]" random]]
[world
@@ -24,12 +24,12 @@
[\\program
["[0]" /
["/[1]" // "_"
- ["[1]" profile {"+" [Profile]}]
+ ["[1]" profile {"+" Profile}]
["[1][0]" project]
["[1][0]" action]
["[1][0]" format]
[repository
- [remote {"+" [Address]}]]]]])
+ [remote {"+" Address}]]]]])
(def: (with_default_source sources)
(-> (Set //.Source) (Set //.Source))
diff --git a/stdlib/source/test/aedifex/local.lux b/stdlib/source/test/aedifex/local.lux
index a2a943921..ad00db35c 100644
--- a/stdlib/source/test/aedifex/local.lux
+++ b/stdlib/source/test/aedifex/local.lux
@@ -1,13 +1,13 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[data
["[0]" text]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[//
["@[0]" artifact]]
[\\program
diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux
index 093cf7937..719eb9ed0 100644
--- a/stdlib/source/test/aedifex/metadata.lux
+++ b/stdlib/source/test/aedifex/metadata.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[data
["[0]" text ("[1]#[0]" equivalence)]]
[math
diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux
index 29f074af9..b8a3beb09 100644
--- a/stdlib/source/test/aedifex/metadata/artifact.lux
+++ b/stdlib/source/test/aedifex/metadata/artifact.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
@@ -21,7 +21,7 @@
[macro
["[0]" code]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]
["[0]" time
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index 8f90a45cf..4cfcaf3a2 100644
--- a/stdlib/source/test/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/test/aedifex/metadata/snapshot.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
@@ -21,14 +21,14 @@
[macro
["[0]" code]]
[math
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
+ ["[0]" random {"+" Random} ("[1]#[0]" monad)]
[number
["n" nat]]]
["[0]" time
["[0]" date]
["[0]" year]
["[0]" month]
- ["[0]" instant {"+" [Instant]}]
+ ["[0]" instant {"+" Instant}]
["[0]" duration]]
[world
["[0]" file]
@@ -44,7 +44,7 @@
["/[1]" //
["/[1]" // "_"
[artifact
- [versioning {"+" [Versioning]}]
+ [versioning {"+" Versioning}]
["[1][0]" snapshot]]
["[1][0]" repository "_"
["[1]/[0]" local]]]]]])
diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux
index 4d0f994d0..82c6e5b56 100644
--- a/stdlib/source/test/aedifex/package.lux
+++ b/stdlib/source/test/aedifex/package.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
@@ -14,11 +14,11 @@
[encoding
["[0]" utf8]]]
[format
- ["[0]" xml {"+" [XML]}]]
+ ["[0]" xml {"+" XML}]]
[collection
- ["[0]" set {"+" [Set]}]]]
+ ["[0]" set {"+" Set}]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]
[world
diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux
index 183f04b27..8d74bac87 100644
--- a/stdlib/source/test/aedifex/parser.lux
+++ b/stdlib/source/test/aedifex/parser.lux
@@ -1,23 +1,23 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
- [hash {"+" [Hash]}]]
+ [monad {"+" do}]
+ [hash {"+" Hash}]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" try]
[parser
["<[0]>" code]]]
[data
["[0]" text]
[collection
- ["[0]" set {"+" [Set]}]
- ["[0]" dictionary {"+" [Dictionary]}]
+ ["[0]" set {"+" Set}]
+ ["[0]" dictionary {"+" Dictionary}]
["[0]" list ("[1]#[0]" functor)]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]
[macro
@@ -28,9 +28,9 @@
["[0]" /
["/[1]" // "_"
["[1]" profile]
- ["[1][0]" project {"+" [Project]}]
- ["[1][0]" artifact {"+" [Artifact]}]
- ["[1][0]" dependency {"+" [Dependency]}]
+ ["[1][0]" project {"+" Project}]
+ ["[1][0]" artifact {"+" Artifact}]
+ ["[1][0]" dependency {"+" Dependency}]
["[1][0]" format]]]])
(def: name
diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux
index fc9d47e00..4bd592f7d 100644
--- a/stdlib/source/test/aedifex/pom.lux
+++ b/stdlib/source/test/aedifex/pom.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try]
["[0]" exception]
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index 284151725..7155aee3b 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -1,25 +1,25 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
- [hash {"+" [Hash]}]
+ [monad {"+" do}]
+ [hash {"+" Hash}]
[\\specification
["$[0]" equivalence]
["$[0]" monoid]]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" try]
[parser
["[0]" cli]]]
[data
["[0]" text ("[1]#[0]" equivalence)]
[collection
- ["[0]" set {"+" [Set]}]
- ["[0]" dictionary {"+" [Dictionary]}]]]
+ ["[0]" set {"+" Set}]
+ ["[0]" dictionary {"+" Dictionary}]]]
[math
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
+ ["[0]" random {"+" Random} ("[1]#[0]" monad)]
[number
["n" nat]]]]]
[//
@@ -29,10 +29,10 @@
["[0]" /
["/[1]" // "_"
["[1][0]" runtime]
- ["[1][0]" dependency {"+" [Dependency]}]
+ ["[1][0]" dependency {"+" Dependency}]
["[1][0]" format]
[repository
- [remote {"+" [Address]}]]]]])
+ [remote {"+" Address}]]]]])
(def: distribution
(Random /.Distribution)
diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux
index 90686e28e..cb98b38f9 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" monoid]]]
@@ -14,7 +14,7 @@
["[0]" product]
["[0]" text ("[1]#[0]" equivalence)]]
[math
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
+ ["[0]" random {"+" Random} ("[1]#[0]" monad)]
[number
["n" nat]]]]]
[//
diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux
index 9cc73f6c8..a25d9f5f9 100644
--- a/stdlib/source/test/aedifex/repository.lux
+++ b/stdlib/source/test/aedifex/repository.lux
@@ -1,27 +1,27 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [equivalence {"+" [Equivalence]}]
- [hash {"+" [Hash]}]
- ["[0]" monad {"+" [do]}]]
+ [equivalence {"+" Equivalence}]
+ [hash {"+" Hash}]
+ ["[0]" monad {"+" do}]]
[control
["[0]" io]
["[0]" try]
- ["[0]" exception {"+" [exception:]}]]
+ ["[0]" exception {"+" exception:}]]
[data
["[0]" product]
- ["[0]" binary {"+" [Binary]}]
+ ["[0]" binary {"+" Binary}]
["[0]" text
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
- ["[0]" dictionary {"+" [Dictionary]}]]]
+ ["[0]" dictionary {"+" Dictionary}]]]
[math
- ["[0]" random {"+" [Random]}]]
+ ["[0]" random {"+" Random}]]
[world
[net
- ["[0]" uri {"+" [URI]}]]]]]
+ ["[0]" uri {"+" URI}]]]]]
["[0]" / "_"
["[1][0]" identity]
["[1][0]" origin]
@@ -35,8 +35,8 @@
["[0]" /
["[0]" remote]
["/[1]" // "_"
- ["[1][0]" artifact {"+" [Version Artifact]}
- ["[1]/[0]" extension {"+" [Extension]}]]]]])
+ ["[1][0]" artifact {"+" Version Artifact}
+ ["[1]/[0]" extension {"+" Extension}]]]]])
(def: artifact
(-> Version Artifact)
diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux
index 971e18a4b..f8ba7145d 100644
--- a/stdlib/source/test/aedifex/repository/identity.lux
+++ b/stdlib/source/test/aedifex/repository/identity.lux
@@ -1,12 +1,12 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
[\\specification
["$[0]" equivalence]]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\program
["[0]" /]])
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index deb381511..88106fa82 100644
--- a/stdlib/source/test/aedifex/repository/local.lux
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try ("[1]#[0]" functor)]
[parser
diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux
index f160df2e3..c4865d69a 100644
--- a/stdlib/source/test/aedifex/repository/origin.lux
+++ b/stdlib/source/test/aedifex/repository/origin.lux
@@ -1,12 +1,12 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
[\\specification
["$[0]" equivalence]]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\program
["[0]" /]])
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index 6d8811ffe..92380630c 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -1,11 +1,11 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- ["[0]" io {"+" [IO]}]
+ ["[0]" io {"+" IO}]
["[0]" maybe ("[1]#[0]" functor)]
["[0]" try ("[1]#[0]" monad)]
["[0]" exception]
@@ -13,15 +13,15 @@
[data
["[0]" binary ("[1]#[0]" equivalence)]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]
+ ["%" format {"+" format}]
[encoding
["[0]" utf8]]]
[collection
["[0]" dictionary]]]
[math
- ["[0]" random {"+" [Random]}]]
+ ["[0]" random {"+" Random}]]
[world
- [net {"+" [URL]}
+ [net {"+" URL}
["[0]" http "_"
["[1]" client]
["[1]/[0]" status]
diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux
index fb94da435..77b6dac4c 100644
--- a/stdlib/source/test/aedifex/runtime.lux
+++ b/stdlib/source/test/aedifex/runtime.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
@@ -14,7 +14,7 @@
["[0]" list ("[1]#[0]" functor)]
["[0]" set]]]
[math
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
+ ["[0]" random {"+" Random} ("[1]#[0]" monad)]
[number
["n" nat]]]]]
[\\program
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 7500bb983..3f1def248 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -5,37 +5,37 @@
(.module:
[library
["/" lux "*"
- [program {"+" [program:]}]
- ["_" test {"+" [Test]}]
+ [program {"+" program:}]
+ ["_" test {"+" Test}]
["@" target]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" io]
["[0]" maybe ("[1]#[0]" functor)]
[concurrency
- ["[0]" atom {"+" [Atom]}]]
+ ["[0]" atom {"+" Atom}]]
[parser
["<[0]>" code]]]
[data
["[0]" product]
["[0]" bit ("[1]#[0]" equivalence)]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
["[0]" list ("[1]#[0]" functor)]
- ["[0]" set {"+" [Set]} ("[1]#[0]" equivalence)]
+ ["[0]" set {"+" Set} ("[1]#[0]" equivalence)]
[dictionary
["[0]" plist]]]]
["[0]" macro
- [syntax {"+" [syntax:]}]
+ [syntax {"+" syntax:}]
["[0]" code ("[1]#[0]" equivalence)]
["[0]" template]]
["[0]" math
["[0]" random ("[1]#[0]" functor)]
[number
- [i8 {"+" []}]
- [i16 {"+" []}]
+ [i8 {"+"}]
+ [i16 {"+"}]
["n" nat]
["i" int]
["r" rev]
diff --git a/stdlib/source/test/lux/abstract.lux b/stdlib/source/test/lux/abstract.lux
index 49813df43..63d134242 100644
--- a/stdlib/source/test/lux/abstract.lux
+++ b/stdlib/source/test/lux/abstract.lux
@@ -1,7 +1,7 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]]]
+ ["_" test {"+" Test}]]]
["[0]" / "_"
["[1][0]" apply]
["[1][0]" codec]
diff --git a/stdlib/source/test/lux/abstract/apply.lux b/stdlib/source/test/lux/abstract/apply.lux
index 2c19ffb4e..89c29f97f 100644
--- a/stdlib/source/test/lux/abstract/apply.lux
+++ b/stdlib/source/test/lux/abstract/apply.lux
@@ -2,7 +2,7 @@
[library
[lux "*"
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" maybe]]
[data
@@ -12,9 +12,9 @@
["[0]" random]
[number
["n" nat]]]
- ["_" test {"+" [Test]}]]]
+ ["_" test {"+" Test}]]]
[\\library
- ["[0]" / {"+" [Apply]}]])
+ ["[0]" / {"+" Apply}]])
(def: .public test
Test
diff --git a/stdlib/source/test/lux/abstract/codec.lux b/stdlib/source/test/lux/abstract/codec.lux
index d3338547a..bd754b082 100644
--- a/stdlib/source/test/lux/abstract/codec.lux
+++ b/stdlib/source/test/lux/abstract/codec.lux
@@ -1,21 +1,21 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try]]
[data
["[0]" bit ("[1]#[0]" equivalence)]
[format
- ["[0]" json {"+" [JSON]}]]]
+ ["[0]" json {"+" JSON}]]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\library
- ["[0]" / {"+" [Codec]}
+ ["[0]" / {"+" Codec}
[//
- [equivalence {"+" [Equivalence]}]]]])
+ [equivalence {"+" Equivalence}]]]])
(def: json
(Codec JSON Bit)
diff --git a/stdlib/source/test/lux/abstract/comonad.lux b/stdlib/source/test/lux/abstract/comonad.lux
index fccc27c51..0c513d59e 100644
--- a/stdlib/source/test/lux/abstract/comonad.lux
+++ b/stdlib/source/test/lux/abstract/comonad.lux
@@ -2,14 +2,14 @@
[library
[lux "*"
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[data
- ["[0]" identity {"+" [Identity]}]]
+ ["[0]" identity {"+" Identity}]]
[math
["[0]" random]
[number
["n" nat]]]
- ["_" test {"+" [Test]}]]]
+ ["_" test {"+" Test}]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/abstract/comonad/cofree.lux b/stdlib/source/test/lux/abstract/comonad/cofree.lux
index 3db288557..dca4680de 100644
--- a/stdlib/source/test/lux/abstract/comonad/cofree.lux
+++ b/stdlib/source/test/lux/abstract/comonad/cofree.lux
@@ -1,19 +1,19 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [functor {"+" [Functor]}]
- [comonad {"+" [CoMonad]}]
+ [functor {"+" Functor}]
+ [comonad {"+" CoMonad}]
[\\specification
- ["$[0]" functor {"+" [Injection Comparison]}]
+ ["$[0]" functor {"+" Injection Comparison}]
["$[0]" comonad]]]
[control
["//" continuation]]
[data
[collection
["[0]" list]
- ["[0]" sequence {"+" [Sequence]} ("[1]#[0]" comonad)]]]
+ ["[0]" sequence {"+" Sequence} ("[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 03decb4c7..b7d1a36df 100644
--- a/stdlib/source/test/lux/abstract/enum.lux
+++ b/stdlib/source/test/lux/abstract/enum.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" maybe ("[1]#[0]" functor)]]
[data
@@ -11,7 +11,7 @@
[collection
["[0]" list ("[1]#[0]" mix)]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/abstract/equivalence.lux b/stdlib/source/test/lux/abstract/equivalence.lux
index c56dacfe6..cc765208e 100644
--- a/stdlib/source/test/lux/abstract/equivalence.lux
+++ b/stdlib/source/test/lux/abstract/equivalence.lux
@@ -1,21 +1,21 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
[functor
["$[0]" contravariant]]]]
[data
["[0]" bit ("[1]#[0]" equivalence)]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]
["i" int]]]]]
[\\library
- ["[0]" / {"+" [Equivalence]}]])
+ ["[0]" / {"+" Equivalence}]])
(def: .public test
Test
diff --git a/stdlib/source/test/lux/abstract/functor.lux b/stdlib/source/test/lux/abstract/functor.lux
index 00ab642c7..f3f3eaa41 100644
--- a/stdlib/source/test/lux/abstract/functor.lux
+++ b/stdlib/source/test/lux/abstract/functor.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" maybe]]
[data
@@ -14,7 +14,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [Functor]}]])
+ ["[0]" / {"+" Functor}]])
(def: .public test
Test
diff --git a/stdlib/source/test/lux/abstract/functor/contravariant.lux b/stdlib/source/test/lux/abstract/functor/contravariant.lux
index fec2d749f..dd61e2f2c 100644
--- a/stdlib/source/test/lux/abstract/functor/contravariant.lux
+++ b/stdlib/source/test/lux/abstract/functor/contravariant.lux
@@ -1,7 +1,7 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]]]
+ ["_" test {"+" Test}]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/abstract/hash.lux b/stdlib/source/test/lux/abstract/hash.lux
index f6f090ff8..f96e23e2a 100644
--- a/stdlib/source/test/lux/abstract/hash.lux
+++ b/stdlib/source/test/lux/abstract/hash.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
[functor
["$[0]" contravariant]]]]
@@ -14,9 +14,9 @@
[number
["[0]" nat]]]]]
[\\library
- ["[0]" / {"+" [Hash]}
+ ["[0]" / {"+" Hash}
[//
- [equivalence {"+" [Equivalence]}]]]])
+ [equivalence {"+" Equivalence}]]]])
(def: .public test
Test
diff --git a/stdlib/source/test/lux/abstract/interval.lux b/stdlib/source/test/lux/abstract/interval.lux
index 1a87c8fce..2d29e93f0 100644
--- a/stdlib/source/test/lux/abstract/interval.lux
+++ b/stdlib/source/test/lux/abstract/interval.lux
@@ -1,24 +1,24 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
["[0]" order]
[\\specification
["$[0]" equivalence]]]
[control
- [pipe {"+" [case>]}]]
+ [pipe {"+" case>}]]
[data
[collection
["[0]" set]
["[0]" list]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [Interval]} ("#[0]" equivalence)]])
+ ["[0]" / {"+" Interval} ("#[0]" equivalence)]])
(template [<name> <cmp>]
[(def: .public <name>
diff --git a/stdlib/source/test/lux/abstract/mix.lux b/stdlib/source/test/lux/abstract/mix.lux
index 279ab90d2..7da5215a1 100644
--- a/stdlib/source/test/lux/abstract/mix.lux
+++ b/stdlib/source/test/lux/abstract/mix.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[data
[collection
["[0]" list]]]
@@ -12,7 +12,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [Mix]}]])
+ ["[0]" / {"+" Mix}]])
(def: .public test
Test
diff --git a/stdlib/source/test/lux/abstract/monad.lux b/stdlib/source/test/lux/abstract/monad.lux
index 1abc2ff2e..ab2dd306c 100644
--- a/stdlib/source/test/lux/abstract/monad.lux
+++ b/stdlib/source/test/lux/abstract/monad.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[data
- ["[0]" identity {"+" [Identity]}]
+ ["[0]" identity {"+" Identity}]
[collection
["[0]" list ("[1]#[0]" functor mix)]]]
[math
@@ -11,7 +11,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [Monad do]}]])
+ ["[0]" / {"+" Monad do}]])
(def: .public test
Test
diff --git a/stdlib/source/test/lux/abstract/monad/free.lux b/stdlib/source/test/lux/abstract/monad/free.lux
index 14e6ee299..9b42476e7 100644
--- a/stdlib/source/test/lux/abstract/monad/free.lux
+++ b/stdlib/source/test/lux/abstract/monad/free.lux
@@ -1,13 +1,13 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [functor {"+" [Functor]}]
- [apply {"+" [Apply]}]
- [monad {"+" [Monad do]}]
+ [functor {"+" Functor}]
+ [apply {"+" Apply}]
+ [monad {"+" Monad do}]
[\\specification
- ["$[0]" functor {"+" [Injection Comparison]}]
+ ["$[0]" functor {"+" Injection Comparison}]
["$[0]" apply]
["$[0]" monad]]]
[data
diff --git a/stdlib/source/test/lux/abstract/monoid.lux b/stdlib/source/test/lux/abstract/monoid.lux
index edd4e9add..4a54a0b99 100644
--- a/stdlib/source/test/lux/abstract/monoid.lux
+++ b/stdlib/source/test/lux/abstract/monoid.lux
@@ -1,18 +1,18 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["[0]" nat]
["[0]" int]]]]]
[\\library
["[0]" /
[//
- [equivalence {"+" [Equivalence]}]]]])
+ [equivalence {"+" Equivalence}]]]])
(def: .public test
Test
diff --git a/stdlib/source/test/lux/abstract/order.lux b/stdlib/source/test/lux/abstract/order.lux
index 815851182..9e52f8e7c 100644
--- a/stdlib/source/test/lux/abstract/order.lux
+++ b/stdlib/source/test/lux/abstract/order.lux
@@ -1,22 +1,22 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
[functor
["$[0]" contravariant]]]]
[data
["[0]" bit ("[1]#[0]" equivalence)]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
["[0]" /
[//
- [equivalence {"+" [Equivalence]}]]]])
+ [equivalence {"+" Equivalence}]]]])
(def: .public test
Test
diff --git a/stdlib/source/test/lux/abstract/predicate.lux b/stdlib/source/test/lux/abstract/predicate.lux
index c987ddc14..09982b560 100644
--- a/stdlib/source/test/lux/abstract/predicate.lux
+++ b/stdlib/source/test/lux/abstract/predicate.lux
@@ -1,10 +1,10 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [equivalence {"+" [Equivalence]}]
- [monad {"+" [do]}]
+ [equivalence {"+" Equivalence}]
+ [monad {"+" do}]
[\\specification
["$[0]" monoid]
[functor
@@ -16,7 +16,7 @@
[collection
["[0]" list]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/control.lux b/stdlib/source/test/lux/control.lux
index eb1636b9a..28c12bfc0 100644
--- a/stdlib/source/test/lux/control.lux
+++ b/stdlib/source/test/lux/control.lux
@@ -1,7 +1,7 @@
(.module:
[library
- [lux {"-" [function]}
- ["_" test {"+" [Test]}]]]
+ [lux {"-" function}
+ ["_" test {"+" Test}]]]
["[0]" / "_"
["[1][0]" concatenative]
["[1][0]" concurrency "_"
diff --git a/stdlib/source/test/lux/control/concatenative.lux b/stdlib/source/test/lux/control/concatenative.lux
index c05e72593..4bdf801d8 100644
--- a/stdlib/source/test/lux/control/concatenative.lux
+++ b/stdlib/source/test/lux/control/concatenative.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[data
["[0]" sum]
["[0]" name]
@@ -18,7 +18,7 @@
["r" rev]
["f" frac]]]]]
[\\library
- ["[0]" / {"+" [word: => ||>]}]])
+ ["[0]" / {"+" word: => ||>}]])
(def: stack_shuffling
Test
diff --git a/stdlib/source/test/lux/control/concurrency/actor.lux b/stdlib/source/test/lux/control/concurrency/actor.lux
index b83431250..829dcfbcb 100644
--- a/stdlib/source/test/lux/control/concurrency/actor.lux
+++ b/stdlib/source/test/lux/control/concurrency/actor.lux
@@ -1,28 +1,28 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- ["[0]" try {"+" [Try]}]
- ["[0]" exception {"+" [exception:]}]
- ["[0]" io {"+" [IO io]}]]
+ ["[0]" try {"+" Try}]
+ ["[0]" exception {"+" exception:}]
+ ["[0]" io {"+" IO io}]]
[data
[text
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
["[0]" list]
- ["[0]" row {"+" [Row]}]]]
+ ["[0]" row {"+" Row}]]]
[math
["[0]" random]
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [actor: message:]}
+ ["[0]" / {"+" actor: message:}
[//
- ["[0]" atom {"+" [Atom]}]
- ["[0]" async {"+" [Async Resolver]} ("[1]#[0]" monad)]
+ ["[0]" atom {"+" Atom}]
+ ["[0]" async {"+" Async Resolver} ("[1]#[0]" monad)]
["[0]" frp]]]])
(exception: got_wrecked)
diff --git a/stdlib/source/test/lux/control/concurrency/async.lux b/stdlib/source/test/lux/control/concurrency/async.lux
index 4954bd7a5..cd96dabb1 100644
--- a/stdlib/source/test/lux/control/concurrency/async.lux
+++ b/stdlib/source/test/lux/control/concurrency/async.lux
@@ -1,16 +1,16 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
["@" target]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
- ["$[0]" functor {"+" [Injection Comparison]}]
+ ["$[0]" functor {"+" Injection Comparison}]
["$[0]" apply]
["$[0]" monad]]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" io]]
[time
["[0]" instant]
@@ -24,7 +24,7 @@
[\\library
["[0]" /
[//
- ["[0]" atom {"+" [Atom]}]]]])
+ ["[0]" atom {"+" Atom}]]]])
(def: injection
(Injection /.Async)
diff --git a/stdlib/source/test/lux/control/concurrency/atom.lux b/stdlib/source/test/lux/control/concurrency/atom.lux
index 1bdbbca05..e1f587dd4 100644
--- a/stdlib/source/test/lux/control/concurrency/atom.lux
+++ b/stdlib/source/test/lux/control/concurrency/atom.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" io]]
[math
diff --git a/stdlib/source/test/lux/control/concurrency/frp.lux b/stdlib/source/test/lux/control/concurrency/frp.lux
index 202bbc73c..aa77d2835 100644
--- a/stdlib/source/test/lux/control/concurrency/frp.lux
+++ b/stdlib/source/test/lux/control/concurrency/frp.lux
@@ -1,21 +1,21 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
- ["$[0]" functor {"+" [Injection Comparison]}]
+ ["$[0]" functor {"+" Injection Comparison}]
["$[0]" apply]
["$[0]" monad]]]
[control
["[0]" try]
["[0]" exception]
- ["[0]" io {"+" [IO io]}]]
+ ["[0]" io {"+" IO io}]]
[data
[collection
["[0]" list ("[1]#[0]" mix monoid)]
- ["[0]" row {"+" [Row]}]]]
+ ["[0]" row {"+" Row}]]]
[math
["[0]" random]
[number
@@ -23,8 +23,8 @@
[\\library
["[0]" /
[//
- ["[0]" async {"+" [Async]} ("[1]#[0]" monad)]
- ["[0]" atom {"+" [Atom atom]}]]]])
+ ["[0]" async {"+" Async} ("[1]#[0]" monad)]
+ ["[0]" atom {"+" Atom atom}]]]])
(def: injection
(Injection /.Channel)
diff --git a/stdlib/source/test/lux/control/concurrency/semaphore.lux b/stdlib/source/test/lux/control/concurrency/semaphore.lux
index e3f49842a..1e2e0f258 100644
--- a/stdlib/source/test/lux/control/concurrency/semaphore.lux
+++ b/stdlib/source/test/lux/control/concurrency/semaphore.lux
@@ -1,22 +1,22 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
["@" target]
[abstract
- ["[0]" monad {"+" [do]}]
+ ["[0]" monad {"+" do}]
["[0]" enum]]
[control
["[0]" io]
["[0]" maybe]
["[0]" try]
- ["[0]" exception {"+" [exception:]}]
+ ["[0]" exception {"+" exception:}]
[concurrency
- ["[0]" async {"+" [Async]}]
- ["[0]" atom {"+" [Atom]}]]]
+ ["[0]" async {"+" Async}]
+ ["[0]" atom {"+" Atom}]]]
[data
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
["[0]" list ("[1]#[0]" functor)]]]
[math
diff --git a/stdlib/source/test/lux/control/concurrency/stm.lux b/stdlib/source/test/lux/control/concurrency/stm.lux
index 103476455..5c428d908 100644
--- a/stdlib/source/test/lux/control/concurrency/stm.lux
+++ b/stdlib/source/test/lux/control/concurrency/stm.lux
@@ -1,15 +1,15 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- ["[0]" monad {"+" [Monad do]}]
+ ["[0]" monad {"+" Monad do}]
[\\specification
- ["$[0]" functor {"+" [Injection Comparison]}]
+ ["$[0]" functor {"+" Injection Comparison}]
["$[0]" apply]
["$[0]" monad]]]
[control
- ["[0]" io {"+" [IO]}]]
+ ["[0]" io {"+" IO}]]
[data
["[0]" product]
[collection
@@ -21,9 +21,9 @@
[\\library
["[0]" /
[//
- ["[0]" atom {"+" [Atom atom]}]
+ ["[0]" atom {"+" Atom atom}]
["[0]" async]
- ["[0]" frp {"+" [Channel]}]]]])
+ ["[0]" frp {"+" Channel}]]]])
(def: injection
(Injection /.STM)
diff --git a/stdlib/source/test/lux/control/concurrency/thread.lux b/stdlib/source/test/lux/control/concurrency/thread.lux
index 51f31be4e..cd3aebef0 100644
--- a/stdlib/source/test/lux/control/concurrency/thread.lux
+++ b/stdlib/source/test/lux/control/concurrency/thread.lux
@@ -1,13 +1,13 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" io]]
[time
- ["[0]" instant {"+" [Instant]}]
+ ["[0]" instant {"+" Instant}]
["[0]" duration]]
[math
["[0]" random]
@@ -17,7 +17,7 @@
[\\library
["[0]" /
[//
- ["[0]" atom {"+" [Atom]}]
+ ["[0]" atom {"+" Atom}]
["[0]" async]]]])
(def: .public test
diff --git a/stdlib/source/test/lux/control/continuation.lux b/stdlib/source/test/lux/control/continuation.lux
index 53425f5e2..9491cf5c0 100644
--- a/stdlib/source/test/lux/control/continuation.lux
+++ b/stdlib/source/test/lux/control/continuation.lux
@@ -1,11 +1,11 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
- ["$[0]" functor {"+" [Injection Comparison]}]
+ ["$[0]" functor {"+" Injection Comparison}]
["$[0]" apply]
["$[0]" monad]]]
[data
diff --git a/stdlib/source/test/lux/control/exception.lux b/stdlib/source/test/lux/control/exception.lux
index f9d5fb082..1666d8767 100644
--- a/stdlib/source/test/lux/control/exception.lux
+++ b/stdlib/source/test/lux/control/exception.lux
@@ -1,20 +1,20 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[data
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[math
["[0]" random]
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [exception:]}
+ ["[0]" / {"+" exception:}
[//
- ["[0]" try {"+" [Try]}]]]])
+ ["[0]" try {"+" Try}]]]])
(exception: an_exception)
(exception: another_exception)
diff --git a/stdlib/source/test/lux/control/function.lux b/stdlib/source/test/lux/control/function.lux
index f38eafb83..f0fec6d5a 100644
--- a/stdlib/source/test/lux/control/function.lux
+++ b/stdlib/source/test/lux/control/function.lux
@@ -1,14 +1,14 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [equivalence {"+" [Equivalence]}]
- [monad {"+" [do]}]
+ [equivalence {"+" Equivalence}]
+ [monad {"+" do}]
[\\specification
["$[0]" monoid]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/control/function/contract.lux b/stdlib/source/test/lux/control/function/contract.lux
index 45cb6f8fd..ec357f354 100644
--- a/stdlib/source/test/lux/control/function/contract.lux
+++ b/stdlib/source/test/lux/control/function/contract.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try]
["[0]" exception]]
diff --git a/stdlib/source/test/lux/control/function/memo.lux b/stdlib/source/test/lux/control/function/memo.lux
index e3188421d..b1b559346 100644
--- a/stdlib/source/test/lux/control/function/memo.lux
+++ b/stdlib/source/test/lux/control/function/memo.lux
@@ -1,16 +1,16 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- ["[0]" io {"+" [IO]}]
- ["[0]" state {"+" [State]} ("[1]#[0]" monad)]]
+ ["[0]" io {"+" IO}]
+ ["[0]" state {"+" State} ("[1]#[0]" monad)]]
[data
["[0]" product]
[collection
- ["[0]" dictionary {"+" [Dictionary]}]
+ ["[0]" dictionary {"+" Dictionary}]
["[0]" list ("[1]#[0]" functor mix)]]]
[math
["[0]" random]
@@ -19,7 +19,7 @@
["[0]" i64]]]
[time
["[0]" instant]
- ["[0]" duration {"+" [Duration]}]]]]
+ ["[0]" duration {"+" Duration}]]]]
[\\library
["[0]" /
["/[1]" // "_"
diff --git a/stdlib/source/test/lux/control/function/mixin.lux b/stdlib/source/test/lux/control/function/mixin.lux
index 45486914d..fa1c245a3 100644
--- a/stdlib/source/test/lux/control/function/mixin.lux
+++ b/stdlib/source/test/lux/control/function/mixin.lux
@@ -1,21 +1,21 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [equivalence {"+" [Equivalence]}]
- [predicate {"+" [Predicate]}]
- [monad {"+" [do]}]
+ [equivalence {"+" Equivalence}]
+ [predicate {"+" Predicate}]
+ [monad {"+" do}]
[\\specification
["$[0]" monoid]]]
[control
- ["[0]" state {"+" [State]}]]
+ ["[0]" state {"+" State}]]
[data
["[0]" product]
[collection
["[0]" list ("[1]#[0]" functor mix)]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/control/function/mutual.lux b/stdlib/source/test/lux/control/function/mutual.lux
index d7fb8364e..d3ac4cb79 100644
--- a/stdlib/source/test/lux/control/function/mutual.lux
+++ b/stdlib/source/test/lux/control/function/mutual.lux
@@ -1,15 +1,15 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[data
["[0]" bit ("[1]#[0]" equivalence)]
[text
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/control/io.lux b/stdlib/source/test/lux/control/io.lux
index f95f40627..dc4b7fd61 100644
--- a/stdlib/source/test/lux/control/io.lux
+++ b/stdlib/source/test/lux/control/io.lux
@@ -1,11 +1,11 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
- ["$[0]" functor {"+" [Injection Comparison]}]
+ ["$[0]" functor {"+" Injection Comparison}]
["$[0]" apply]
["$[0]" monad]]]
[math
@@ -13,7 +13,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [IO]}
+ ["[0]" / {"+" IO}
[//
["[0]" function]]]])
diff --git a/stdlib/source/test/lux/control/lazy.lux b/stdlib/source/test/lux/control/lazy.lux
index 1cfb8eb05..106ba85f2 100644
--- a/stdlib/source/test/lux/control/lazy.lux
+++ b/stdlib/source/test/lux/control/lazy.lux
@@ -1,22 +1,22 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
- ["$[0]" functor {"+" [Injection Comparison]}]
+ ["$[0]" functor {"+" Injection Comparison}]
["$[0]" apply]
["$[0]" monad]
["$[0]" equivalence]]]
[data
["[0]" product]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [Lazy]}]])
+ ["[0]" / {"+" Lazy}]])
(def: injection
(Injection Lazy)
diff --git a/stdlib/source/test/lux/control/maybe.lux b/stdlib/source/test/lux/control/maybe.lux
index b3c5f5de7..6bb51079e 100644
--- a/stdlib/source/test/lux/control/maybe.lux
+++ b/stdlib/source/test/lux/control/maybe.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" hash]
@@ -19,7 +19,7 @@
[collection
["[0]" list]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/control/parser.lux b/stdlib/source/test/lux/control/parser.lux
index f8405908d..21a17b8ef 100644
--- a/stdlib/source/test/lux/control/parser.lux
+++ b/stdlib/source/test/lux/control/parser.lux
@@ -1,21 +1,21 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
- [equivalence {"+" [Equivalence]}]
+ [monad {"+" do}]
+ [equivalence {"+" Equivalence}]
[\\specification
- ["$[0]" functor {"+" [Injection Comparison]}]
+ ["$[0]" functor {"+" Injection Comparison}]
["$[0]" apply]
["$[0]" monad]]]
[control
- ["[0]" try {"+" [Try]}]
+ ["[0]" try {"+" Try}]
[parser
["<[0]>" code]]]
[data
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
["[0]" list ("[1]#[0]" functor)]]]
[math
@@ -23,10 +23,10 @@
[number
["n" nat]]]
[macro
- [syntax {"+" [syntax:]}]
+ [syntax {"+" syntax:}]
["[0]" code]]]]
[\\library
- ["[0]" / {"+" [Parser]}]]
+ ["[0]" / {"+" Parser}]]
["[0]" / "_"
["[1][0]" analysis]
["[1][0]" binary]
diff --git a/stdlib/source/test/lux/control/parser/analysis.lux b/stdlib/source/test/lux/control/parser/analysis.lux
index 3301e044b..57f6c1a77 100644
--- a/stdlib/source/test/lux/control/parser/analysis.lux
+++ b/stdlib/source/test/lux/control/parser/analysis.lux
@@ -1,11 +1,11 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" try]
["[0]" exception]
["<>" parser]]
@@ -16,7 +16,7 @@
[collection
["[0]" list]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]
["i" int]
@@ -24,8 +24,8 @@
["r" rev]]]
[tool
[compiler
- [reference {"+" [Constant]}
- [variable {"+" []}]]
+ [reference {"+" Constant}
+ [variable {"+"}]]
[language
[lux
["[0]" analysis]]]]]]]
diff --git a/stdlib/source/test/lux/control/parser/binary.lux b/stdlib/source/test/lux/control/parser/binary.lux
index 950434ab7..73e3a8db8 100644
--- a/stdlib/source/test/lux/control/parser/binary.lux
+++ b/stdlib/source/test/lux/control/parser/binary.lux
@@ -1,14 +1,14 @@
(.module:
[library
- [lux {"-" [primitive]}
- ["_" test {"+" [Test]}]
+ [lux {"-" primitive}
+ ["_" test {"+" Test}]
["[0]" type]
[abstract
- [equivalence {"+" [Equivalence]}]
- [predicate {"+" [Predicate]}]
- [monad {"+" [do]}]]
+ [equivalence {"+" Equivalence}]
+ [predicate {"+" Predicate}]
+ [monad {"+" do}]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" maybe]
["[0]" try]
["[0]" exception]
@@ -19,7 +19,7 @@
["[0]" bit]
["[0]" name]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]
+ ["%" format {"+" format}]
[encoding
["[0]" utf8]]]
["[0]" format "_"
@@ -31,7 +31,7 @@
[macro
["[0]" code]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]
["[0]" i64]
diff --git a/stdlib/source/test/lux/control/parser/cli.lux b/stdlib/source/test/lux/control/parser/cli.lux
index 30d0a4460..ecd2c599b 100644
--- a/stdlib/source/test/lux/control/parser/cli.lux
+++ b/stdlib/source/test/lux/control/parser/cli.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try]
["<>" parser]]
diff --git a/stdlib/source/test/lux/control/parser/code.lux b/stdlib/source/test/lux/control/parser/code.lux
index 41f981498..70afee9b7 100644
--- a/stdlib/source/test/lux/control/parser/code.lux
+++ b/stdlib/source/test/lux/control/parser/code.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" function]
["[0]" try]
@@ -17,7 +17,7 @@
[macro
["[0]" code]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[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 8f6a0b82c..19cc94603 100644
--- a/stdlib/source/test/lux/control/parser/environment.lux
+++ b/stdlib/source/test/lux/control/parser/environment.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try]
["[0]" exception]]
diff --git a/stdlib/source/test/lux/control/parser/json.lux b/stdlib/source/test/lux/control/parser/json.lux
index 70817caf2..04d52c647 100644
--- a/stdlib/source/test/lux/control/parser/json.lux
+++ b/stdlib/source/test/lux/control/parser/json.lux
@@ -1,11 +1,11 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" maybe]
["[0]" try]
["[0]" exception]
@@ -17,11 +17,11 @@
["[0]" list ("[1]#[0]" functor)]
["[0]" set]
["[0]" dictionary]
- ["[0]" row {"+" [row]} ("[1]#[0]" functor)]]
+ ["[0]" row {"+" row} ("[1]#[0]" functor)]]
[format
["[0]" json]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]
["[0]" frac]]]]]
diff --git a/stdlib/source/test/lux/control/parser/synthesis.lux b/stdlib/source/test/lux/control/parser/synthesis.lux
index 854206355..f82b020a9 100644
--- a/stdlib/source/test/lux/control/parser/synthesis.lux
+++ b/stdlib/source/test/lux/control/parser/synthesis.lux
@@ -1,11 +1,11 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- ["[0]" monad {"+" [do]}]]
+ ["[0]" monad {"+" do}]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["<>" parser]
["[0]" try]
["[0]" exception]]
@@ -16,19 +16,19 @@
[collection
["[0]" list ("[1]#[0]" functor)]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]
["[0]" i64]
["[0]" frac]]]
[tool
[compiler
- [reference {"+" []}
- ["[0]" variable {"+" [Variable]}]]
+ [reference {"+" }
+ ["[0]" variable {"+" Variable}]]
[language
[lux
- [analysis {"+" [Environment]}]
- ["[0]" synthesis {"+" [Synthesis]}]]]]]]]
+ [analysis {"+" Environment}]
+ ["[0]" synthesis {"+" Synthesis}]]]]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/control/parser/text.lux b/stdlib/source/test/lux/control/parser/text.lux
index cd5b8a0ad..c82159de1 100644
--- a/stdlib/source/test/lux/control/parser/text.lux
+++ b/stdlib/source/test/lux/control/parser/text.lux
@@ -1,17 +1,17 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" maybe]
- ["[0]" try {"+" [Try]}]
- ["[0]" exception {"+" [Exception]}]
+ ["[0]" try {"+" Try}]
+ ["[0]" exception {"+" Exception}]
["[0]" function]]
[data
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]
+ ["%" format {"+" format}]
["[0]" unicode "_"
["[1]" set]
["[1]/[0]" block]]]
@@ -22,7 +22,7 @@
["[0]" finger]]]]
[math
["[0]" random]
- [number {"+" [hex]}
+ [number {"+" hex}
["n" nat]]]
[macro
["[0]" code]]]]
diff --git a/stdlib/source/test/lux/control/parser/tree.lux b/stdlib/source/test/lux/control/parser/tree.lux
index f0bf2a2a0..8d3fe4ca3 100644
--- a/stdlib/source/test/lux/control/parser/tree.lux
+++ b/stdlib/source/test/lux/control/parser/tree.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try]
["[0]" exception]]
diff --git a/stdlib/source/test/lux/control/parser/type.lux b/stdlib/source/test/lux/control/parser/type.lux
index e7383e0fe..c1773baf1 100644
--- a/stdlib/source/test/lux/control/parser/type.lux
+++ b/stdlib/source/test/lux/control/parser/type.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux {"-" [primitive]}
- ["_" test {"+" [Test]}]
+ [lux {"-" primitive}
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try]
["[0]" exception]]
@@ -12,7 +12,7 @@
[collection
["[0]" list]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]
["[0]" type ("[1]#[0]" equivalence)]]]
diff --git a/stdlib/source/test/lux/control/parser/xml.lux b/stdlib/source/test/lux/control/parser/xml.lux
index 6551d4616..705b5cd27 100644
--- a/stdlib/source/test/lux/control/parser/xml.lux
+++ b/stdlib/source/test/lux/control/parser/xml.lux
@@ -1,10 +1,10 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
["[0]" type ("[1]#[0]" equivalence)]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try ("[1]#[0]" functor)]
["[0]" exception]]
@@ -19,7 +19,7 @@
[macro
["[0]" template]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/control/pipe.lux b/stdlib/source/test/lux/control/pipe.lux
index 11f95f63c..0745b3379 100644
--- a/stdlib/source/test/lux/control/pipe.lux
+++ b/stdlib/source/test/lux/control/pipe.lux
@@ -1,14 +1,14 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
["[0]" debug]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[data
["[0]" identity]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[math
["[0]" random]
[number
diff --git a/stdlib/source/test/lux/control/reader.lux b/stdlib/source/test/lux/control/reader.lux
index 0666930c0..7f1701082 100644
--- a/stdlib/source/test/lux/control/reader.lux
+++ b/stdlib/source/test/lux/control/reader.lux
@@ -1,11 +1,11 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
- ["$[0]" functor {"+" [Injection Comparison]}]
+ ["$[0]" functor {"+" Injection Comparison}]
["$[0]" apply]
["$[0]" monad]]]
[math
@@ -13,9 +13,9 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [Reader]}
+ ["[0]" / {"+" Reader}
[//
- ["[0]" io {"+" [IO]}]]]])
+ ["[0]" io {"+" IO}]]]])
(def: (injection value)
(Injection (All (_ a r) (Reader r a)))
diff --git a/stdlib/source/test/lux/control/region.lux b/stdlib/source/test/lux/control/region.lux
index 495a120e1..bede75ab5 100644
--- a/stdlib/source/test/lux/control/region.lux
+++ b/stdlib/source/test/lux/control/region.lux
@@ -1,20 +1,20 @@
(.module:
[library
[lux "*"
- [type {"+" [:sharing]}]
- ["_" test {"+" [Test]}]
+ [type {"+" :sharing}]
+ ["_" test {"+" Test}]
[abstract
- [equivalence {"+" [Equivalence]}]
- [functor {"+" [Functor]}]
- [apply {"+" [Apply]}]
- ["[0]" monad {"+" [Monad do]}]
+ [equivalence {"+" Equivalence}]
+ [functor {"+" Functor}]
+ [apply {"+" Apply}]
+ ["[0]" monad {"+" Monad do}]
["[0]" enum]
[\\specification
- ["$[0]" functor {"+" [Injection Comparison]}]
+ ["$[0]" functor {"+" Injection Comparison}]
["$[0]" apply]
["$[0]" monad]]]
[control
- ["[0]" try {"+" [Try]}]]
+ ["[0]" try {"+" Try}]]
[data
[collection
["[0]" list]]]
@@ -23,10 +23,10 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [Region]}
+ ["[0]" / {"+" Region}
[//
- ["[0]" thread {"+" [Thread]}]
- ["[0]" exception {"+" [Exception exception:]}]]]])
+ ["[0]" thread {"+" Thread}]
+ ["[0]" exception {"+" Exception exception:}]]]])
(exception: oops)
diff --git a/stdlib/source/test/lux/control/remember.lux b/stdlib/source/test/lux/control/remember.lux
index d8bb5fc9c..1d078daf2 100644
--- a/stdlib/source/test/lux/control/remember.lux
+++ b/stdlib/source/test/lux/control/remember.lux
@@ -1,30 +1,30 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
["[0]" meta]
[abstract
- ["[0]" monad {"+" [do]}]]
+ ["[0]" monad {"+" do}]]
[control
["[0]" io]
- ["[0]" try {"+" [Try]}]
+ ["[0]" try {"+" Try}]
["[0]" exception]
[parser
["<[0]>" code]]]
[data
["[0]" product]
["[0]" text
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[math
- [number {"+" [hex]}]
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]]
+ [number {"+" hex}]
+ ["[0]" random {"+" Random} ("[1]#[0]" monad)]]
[time
- ["[0]" date {"+" [Date]}]
+ ["[0]" date {"+" Date}]
["[0]" instant]
["[0]" duration]]
["[0]" macro
["[0]" code]
- ["[0]" syntax {"+" [syntax:]}]]]]
+ ["[0]" syntax {"+" syntax:}]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/control/security/capability.lux b/stdlib/source/test/lux/control/security/capability.lux
index 3d842884e..17bde11b3 100644
--- a/stdlib/source/test/lux/control/security/capability.lux
+++ b/stdlib/source/test/lux/control/security/capability.lux
@@ -1,11 +1,11 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- ["[0]" io {"+" [IO]}]
+ ["[0]" io {"+" IO}]
[concurrency
["[0]" async]]]
[math
diff --git a/stdlib/source/test/lux/control/security/policy.lux b/stdlib/source/test/lux/control/security/policy.lux
index 875938610..653072a81 100644
--- a/stdlib/source/test/lux/control/security/policy.lux
+++ b/stdlib/source/test/lux/control/security/policy.lux
@@ -1,12 +1,12 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [hash {"+" [Hash]}]
- [monad {"+" [do]}]
+ [hash {"+" Hash}]
+ [monad {"+" do}]
[\\specification
- ["$[0]" functor {"+" [Injection Comparison]}]
+ ["$[0]" functor {"+" Injection Comparison}]
["$[0]" apply]
["$[0]" monad]]]
[data
@@ -16,7 +16,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [Context Privacy Can_Conceal Can_Reveal Privilege Private]}]])
+ ["[0]" / {"+" Context Privacy Can_Conceal Can_Reveal Privilege Private}]])
(def: (injection can_conceal)
(All (_ label)
diff --git a/stdlib/source/test/lux/control/state.lux b/stdlib/source/test/lux/control/state.lux
index 6bf554706..855243412 100644
--- a/stdlib/source/test/lux/control/state.lux
+++ b/stdlib/source/test/lux/control/state.lux
@@ -1,15 +1,15 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
- ["$[0]" functor {"+" [Injection Comparison]}]
+ ["$[0]" functor {"+" Injection Comparison}]
["$[0]" apply]
["$[0]" monad]]]
[control
- [pipe {"+" [let>]}]
+ [pipe {"+" let>}]
["[0]" io]]
[data
["[0]" product]]
@@ -18,7 +18,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [State]}]])
+ ["[0]" / {"+" State}]])
(def: (with_conditions [state output] computation)
(-> [Nat Nat] (State Nat Nat) Bit)
diff --git a/stdlib/source/test/lux/control/thread.lux b/stdlib/source/test/lux/control/thread.lux
index 003f27eb5..965cf437d 100644
--- a/stdlib/source/test/lux/control/thread.lux
+++ b/stdlib/source/test/lux/control/thread.lux
@@ -1,11 +1,11 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
- ["$[0]" functor {"+" [Injection Comparison]}]
+ ["$[0]" functor {"+" Injection Comparison}]
["$[0]" apply]
["$[0]" monad]]]
[math
@@ -13,7 +13,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [Thread]}
+ ["[0]" / {"+" Thread}
[//
["[0]" io]]]])
diff --git a/stdlib/source/test/lux/control/try.lux b/stdlib/source/test/lux/control/try.lux
index 74dfeb37f..8d99083ab 100644
--- a/stdlib/source/test/lux/control/try.lux
+++ b/stdlib/source/test/lux/control/try.lux
@@ -1,11 +1,11 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
- ["$[0]" functor {"+" [Injection Comparison]}]
+ ["$[0]" functor {"+" Injection Comparison}]
["$[0]" apply]
["$[0]" monad]
["$[0]" equivalence]]]
@@ -15,11 +15,11 @@
[data
["[0]" text ("[1]#[0]" equivalence)]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [Try]}]])
+ ["[0]" / {"+" Try}]])
(def: injection
(Injection Try)
diff --git a/stdlib/source/test/lux/control/writer.lux b/stdlib/source/test/lux/control/writer.lux
index 2f427a4a9..53acf1e05 100644
--- a/stdlib/source/test/lux/control/writer.lux
+++ b/stdlib/source/test/lux/control/writer.lux
@@ -1,13 +1,13 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [equivalence {"+" [Equivalence]}]
- [monoid {"+" [Monoid]}]
- [monad {"+" [do]}]
+ [equivalence {"+" Equivalence}]
+ [monoid {"+" Monoid}]
+ [monad {"+" do}]
[\\specification
- ["$[0]" functor {"+" [Injection Comparison]}]
+ ["$[0]" functor {"+" Injection Comparison}]
["$[0]" apply]
["$[0]" monad]]]
[control
@@ -20,7 +20,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [Writer]}]])
+ ["[0]" / {"+" Writer}]])
(def: (injection monoid value)
(All (_ w) (-> (Monoid w) (Injection (Writer w))))
diff --git a/stdlib/source/test/lux/data.lux b/stdlib/source/test/lux/data.lux
index eda9b9ee5..573697f2a 100644
--- a/stdlib/source/test/lux/data.lux
+++ b/stdlib/source/test/lux/data.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[math
["[0]" random]]]]
["[0]" / "_"
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux
index 70e778090..030404d54 100644
--- a/stdlib/source/test/lux/data/binary.lux
+++ b/stdlib/source/test/lux/data/binary.lux
@@ -1,26 +1,26 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- ["[0]" monad {"+" [do]}]
+ ["[0]" monad {"+" do}]
["[0]" enum]
[\\specification
["$[0]" equivalence]
["$[0]" monoid]]]
[control
- ["[0]" try {"+" [Try]}]
- ["[0]" exception {"+" [Exception]}]]
+ ["[0]" try {"+" Try}]
+ ["[0]" exception {"+" Exception}]]
[data
[collection
["[0]" list]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["[0]" i64]
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [Binary]}]])
+ ["[0]" / {"+" Binary}]])
(def: (succeed result)
(-> (Try Bit) Bit)
diff --git a/stdlib/source/test/lux/data/bit.lux b/stdlib/source/test/lux/data/bit.lux
index 4bd7e6956..02c5ccda9 100644
--- a/stdlib/source/test/lux/data/bit.lux
+++ b/stdlib/source/test/lux/data/bit.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" hash]
diff --git a/stdlib/source/test/lux/data/collection.lux b/stdlib/source/test/lux/data/collection.lux
index b6615368b..4d7de7ed5 100644
--- a/stdlib/source/test/lux/data/collection.lux
+++ b/stdlib/source/test/lux/data/collection.lux
@@ -1,7 +1,7 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]]]
+ ["_" test {"+" Test}]]]
["[0]" / "_"
["[1][0]" array]
["[1][0]" bits]
diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux
index 3d875ac3d..95cfc0176 100644
--- a/stdlib/source/test/lux/data/collection/array.lux
+++ b/stdlib/source/test/lux/data/collection/array.lux
@@ -1,14 +1,14 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" monoid]
["$[0]" mix]
- ["$[0]" functor {"+" [Injection]}]]]
+ ["$[0]" functor {"+" Injection}]]]
[control
["[0]" maybe]]
[data
@@ -17,11 +17,11 @@
["[0]" list]
["[0]" set]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [Array]}]])
+ ["[0]" / {"+" Array}]])
(def: injection
(Injection Array)
diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux
index 8c7d69241..47167599a 100644
--- a/stdlib/source/test/lux/data/collection/bits.lux
+++ b/stdlib/source/test/lux/data/collection/bits.lux
@@ -1,18 +1,18 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
["[0]" predicate]
[\\specification
["$[0]" equivalence]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [Bits]}]])
+ ["[0]" / {"+" Bits}]])
(def: (size min max)
(-> Nat Nat (Random Nat))
diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux
index 562b20c0e..088a5fd65 100644
--- a/stdlib/source/test/lux/data/collection/dictionary.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary.lux
@@ -1,13 +1,13 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [hash {"+" [Hash]}]
- [monad {"+" [do]}]
+ [hash {"+" Hash}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
- ["$[0]" functor {"+" [Injection]}]]]
+ ["$[0]" functor {"+" Injection}]]]
[control
["[0]" maybe ("[1]#[0]" functor)]
["[0]" try]
diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
index 3ade2fc0b..b039ceb8d 100644
--- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
@@ -1,11 +1,11 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
- [equivalence {"+" [Equivalence]}]
- [order {"+" [Order]}]
+ [monad {"+" do}]
+ [equivalence {"+" Equivalence}]
+ [order {"+" Order}]
[\\specification
["$[0]" equivalence]]]
[control
@@ -17,7 +17,7 @@
["[0]" set]
["[0]" list ("[1]#[0]" functor)]]]
[math
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
+ ["[0]" random {"+" Random} ("[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 f7079325e..2b400c832 100644
--- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
@@ -15,7 +15,7 @@
["[0]" set]
["[0]" list]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux
index 44316d6a5..5003567ee 100644
--- a/stdlib/source/test/lux/data/collection/list.lux
+++ b/stdlib/source/test/lux/data/collection/list.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
["[0]" enum]
[\\specification
["$[0]" equivalence]
@@ -25,7 +25,7 @@
[collection
["[0]" set]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]
["[0]" int]]]]]
diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux
index 7d5cf2f01..549f3777c 100644
--- a/stdlib/source/test/lux/data/collection/queue.lux
+++ b/stdlib/source/test/lux/data/collection/queue.lux
@@ -1,12 +1,12 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
- ["$[0]" functor {"+" [Injection]}]]]
+ ["$[0]" functor {"+" Injection}]]]
[data
["[0]" bit ("[1]#[0]" equivalence)]
[collection
diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux
index 06f2edef4..d5e7d86d3 100644
--- a/stdlib/source/test/lux/data/collection/queue/priority.lux
+++ b/stdlib/source/test/lux/data/collection/queue/priority.lux
@@ -1,19 +1,19 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- ["[0]" monad {"+" [do]}]]
+ ["[0]" monad {"+" do}]]
[control
["[0]" maybe ("[1]#[0]" functor)]]
[data
["[0]" bit ("[1]#[0]" equivalence)]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [Queue]}]])
+ ["[0]" / {"+" Queue}]])
(def: .public (random size)
(-> Nat (Random (Queue Nat)))
diff --git a/stdlib/source/test/lux/data/collection/row.lux b/stdlib/source/test/lux/data/collection/row.lux
index 1e2180361..8728a6df9 100644
--- a/stdlib/source/test/lux/data/collection/row.lux
+++ b/stdlib/source/test/lux/data/collection/row.lux
@@ -1,18 +1,18 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" monoid]
["$[0]" mix]
- ["$[0]" functor {"+" [Injection]}]
+ ["$[0]" functor {"+" Injection}]
["$[0]" apply]
["$[0]" monad]]]
[control
- ["[0]" try {"+" [Try]}]
+ ["[0]" try {"+" Try}]
["[0]" exception]]
[data
["[0]" bit ("[1]#[0]" equivalence)]
diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux
index 2c9a8aca5..22dc1b37e 100644
--- a/stdlib/source/test/lux/data/collection/sequence.lux
+++ b/stdlib/source/test/lux/data/collection/sequence.lux
@@ -1,17 +1,17 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
- [equivalence {"+" [Equivalence]}]
+ [monad {"+" do}]
+ [equivalence {"+" Equivalence}]
["[0]" enum]
[\\specification
["$[0]" functor]
["$[0]" comonad]]]
[data
["[0]" text
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
["[0]" list ("[1]#[0]" functor)]]]
[math
diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux
index 7cf9debe0..726265db3 100644
--- a/stdlib/source/test/lux/data/collection/set.lux
+++ b/stdlib/source/test/lux/data/collection/set.lux
@@ -1,10 +1,10 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [hash {"+" [Hash]}]
- [monad {"+" [do]}]
+ [hash {"+" Hash}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" hash]
@@ -14,7 +14,7 @@
[collection
["[0]" list]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux
index b281e85bd..57353ec6d 100644
--- a/stdlib/source/test/lux/data/collection/set/multi.lux
+++ b/stdlib/source/test/lux/data/collection/set/multi.lux
@@ -1,10 +1,10 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [hash {"+" [Hash]}]
- [monad {"+" [do]}]
+ [hash {"+" Hash}]
+ [monad {"+" do}]
["[0]" predicate]
[\\specification
["$[0]" equivalence]
@@ -15,7 +15,7 @@
["[0]" set]
["[0]" list ("[1]#[0]" mix)]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux
index 33ddfc89d..ce65cbfa5 100644
--- a/stdlib/source/test/lux/data/collection/set/ordered.lux
+++ b/stdlib/source/test/lux/data/collection/set/ordered.lux
@@ -1,10 +1,10 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
- [order {"+" [Order]}]
+ [monad {"+" do}]
+ [order {"+" Order}]
[\\specification
["$[0]" equivalence]]]
[data
@@ -12,11 +12,11 @@
[collection
["[0]" list]]]
[math
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
+ ["[0]" random {"+" Random} ("[1]#[0]" monad)]
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [Set]}
+ ["[0]" / {"+" Set}
["[0]" //]]])
(def: size
diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux
index 3ca1e508a..46feb6817 100644
--- a/stdlib/source/test/lux/data/collection/stack.lux
+++ b/stdlib/source/test/lux/data/collection/stack.lux
@@ -1,12 +1,12 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
- ["$[0]" functor {"+" [Injection]}]]]
+ ["$[0]" functor {"+" Injection}]]]
[control
["[0]" maybe]]
[data
diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux
index 9cba03540..92447eb1e 100644
--- a/stdlib/source/test/lux/data/collection/tree.lux
+++ b/stdlib/source/test/lux/data/collection/tree.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- ["[0]" monad {"+" [do]}]
+ ["[0]" monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" mix]
@@ -13,11 +13,11 @@
[collection
["[0]" list ("[1]#[0]" functor mix)]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [Tree]}]])
+ ["[0]" / {"+" Tree}]])
(def: .public (tree gen_value)
(All (_ a) (-> (Random a) (Random [Nat (Tree a)])))
diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux
index 5285a8eca..3724c7e13 100644
--- a/stdlib/source/test/lux/data/collection/tree/finger.lux
+++ b/stdlib/source/test/lux/data/collection/tree/finger.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" maybe ("[1]#[0]" functor)]]
[data
@@ -14,7 +14,7 @@
["[0]" random]
[number
["n" nat]]]
- [type {"+" [:by_example]}]]]
+ [type {"+" :by_example}]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux
index bda2162f9..5b462d763 100644
--- a/stdlib/source/test/lux/data/collection/tree/zipper.lux
+++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" functor]
@@ -22,7 +22,7 @@
["n" nat]]]]]
["[0]" //]
[\\library
- ["[0]" / {"+" [Zipper]}
+ ["[0]" / {"+" Zipper}
["tree" //]]])
(def: move
diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux
index cf2f1053c..9e82ba23d 100644
--- a/stdlib/source/test/lux/data/color.lux
+++ b/stdlib/source/test/lux/data/color.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" hash]
@@ -14,7 +14,7 @@
[macro
["[0]" template]]
["[0]" math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]
["[0]" int]
diff --git a/stdlib/source/test/lux/data/color/named.lux b/stdlib/source/test/lux/data/color/named.lux
index 939a95ffe..bb8eeb2d7 100644
--- a/stdlib/source/test/lux/data/color/named.lux
+++ b/stdlib/source/test/lux/data/color/named.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[data
[collection
["[0]" list]
@@ -11,7 +11,7 @@
[macro
["[0]" template]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/data/format/binary.lux b/stdlib/source/test/lux/data/format/binary.lux
index bb09a2f77..0b58d31bc 100644
--- a/stdlib/source/test/lux/data/format/binary.lux
+++ b/stdlib/source/test/lux/data/format/binary.lux
@@ -1,16 +1,16 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [equivalence {"+" [Equivalence]}]
- [monad {"+" [do]}]
+ [equivalence {"+" Equivalence}]
+ [monad {"+" do}]
[\\specification
["$[0]" monoid]]]
[data
["[0]" binary ("[1]#[0]" equivalence)]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux
index 35381fc7a..f12831ab8 100644
--- a/stdlib/source/test/lux/data/format/json.lux
+++ b/stdlib/source/test/lux/data/format/json.lux
@@ -1,10 +1,10 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
["[0]" meta]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" codec]]]
@@ -14,22 +14,22 @@
["[0]" product]
["[0]" bit]
["[0]" text
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
["[0]" row]
["[0]" dictionary]
["[0]" set]
["[0]" list ("[1]#[0]" functor)]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]
["[0]" frac]]]
["[0]" macro
- ["[0]" syntax {"+" [syntax:]}]
+ ["[0]" syntax {"+" syntax:}]
["[0]" code]]]]
[\\library
- ["[0]" / {"+" [JSON]} ("#[0]" equivalence)]])
+ ["[0]" / {"+" JSON} ("#[0]" equivalence)]])
(def: .public random
(Random /.JSON)
diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux
index 4ada18f50..e01670420 100644
--- a/stdlib/source/test/lux/data/format/tar.lux
+++ b/stdlib/source/test/lux/data/format/tar.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" maybe]
["[0]" try]
@@ -14,7 +14,7 @@
["[0]" product]
["[0]" binary ("[1]#[0]" equivalence monoid)]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]
+ ["%" format {"+" format}]
[encoding
["[0]" utf8]]
["[0]" unicode "_"
@@ -26,10 +26,10 @@
["[0]" format "_"
["[1]" binary]]]
[time
- ["[0]" instant {"+" [Instant]}]
+ ["[0]" instant {"+" Instant}]
["[0]" duration]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]
["i" int]]]]]
diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux
index e6772262f..3f94d894f 100644
--- a/stdlib/source/test/lux/data/format/xml.lux
+++ b/stdlib/source/test/lux/data/format/xml.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux {"-" [char]}
- ["_" test {"+" [Test]}]
+ [lux {"-" char}
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [Monad do]}]
+ [monad {"+" Monad do}]
[\\specification
["$[0]" equivalence]
["$[0]" codec]]]
@@ -16,16 +16,16 @@
[data
["[0]" name]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
["[0]" dictionary]
["[0]" list ("[1]#[0]" functor)]]]
[math
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
+ ["[0]" random {"+" Random} ("[1]#[0]" monad)]
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" [XML]}]])
+ ["[0]" / {"+" XML}]])
(def: char_range
Text
diff --git a/stdlib/source/test/lux/data/identity.lux b/stdlib/source/test/lux/data/identity.lux
index 584f7f5e0..5a7b3790c 100644
--- a/stdlib/source/test/lux/data/identity.lux
+++ b/stdlib/source/test/lux/data/identity.lux
@@ -1,16 +1,16 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
- ["$[0]" functor {"+" [Injection Comparison]}]
+ ["$[0]" functor {"+" Injection Comparison}]
["$[0]" apply]
["$[0]" monad]
["$[0]" comonad]]]]]
[\\library
- ["[0]" / {"+" [Identity]}]])
+ ["[0]" / {"+" Identity}]])
(def: injection
(Injection Identity)
diff --git a/stdlib/source/test/lux/data/name.lux b/stdlib/source/test/lux/data/name.lux
index 76761b0ae..a069d846e 100644
--- a/stdlib/source/test/lux/data/name.lux
+++ b/stdlib/source/test/lux/data/name.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" hash]
@@ -14,7 +14,7 @@
[data
["[0]" text ("[1]#[0]" equivalence)]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/data/product.lux b/stdlib/source/test/lux/data/product.lux
index c4e666117..cb8ba7ac0 100644
--- a/stdlib/source/test/lux/data/product.lux
+++ b/stdlib/source/test/lux/data/product.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[math
diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux
index 761bda10c..11d66187b 100644
--- a/stdlib/source/test/lux/data/sum.lux
+++ b/stdlib/source/test/lux/data/sum.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux
index ff8ed74dd..076d00df3 100644
--- a/stdlib/source/test/lux/data/text.lux
+++ b/stdlib/source/test/lux/data/text.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux {"-" [char]}
- ["_" test {"+" [Test]}]
+ [lux {"-" char}
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" hash]
diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux
index 018ce9a22..b835fbb01 100644
--- a/stdlib/source/test/lux/data/text/buffer.lux
+++ b/stdlib/source/test/lux/data/text/buffer.lux
@@ -1,14 +1,14 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[data
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux
index 2644c2e43..9147ec9aa 100644
--- a/stdlib/source/test/lux/data/text/encoding.lux
+++ b/stdlib/source/test/lux/data/text/encoding.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" codec]]]
[control
@@ -17,7 +17,7 @@
[macro
["[0]" template]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/data/text/encoding/utf8.lux b/stdlib/source/test/lux/data/text/encoding/utf8.lux
index aa9b9f93b..29dae385b 100644
--- a/stdlib/source/test/lux/data/text/encoding/utf8.lux
+++ b/stdlib/source/test/lux/data/text/encoding/utf8.lux
@@ -1,14 +1,14 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
[\\specification
["$[0]" codec]]]
[data
["[0]" text]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux
index 43dde1c22..9e7ddbcf6 100644
--- a/stdlib/source/test/lux/data/text/escape.lux
+++ b/stdlib/source/test/lux/data/text/escape.lux
@@ -1,11 +1,11 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
["[0]" debug]
["[0]" meta]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try]
["[0]" exception]
@@ -13,17 +13,17 @@
["<[0]>" code]]]
[data
["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text {"+" [Char]} ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]
+ ["[0]" text {"+" Char} ("[1]#[0]" equivalence)
+ ["%" format {"+" format}]]
[collection
- ["[0]" set {"+" [Set]}]]]
+ ["[0]" set {"+" Set}]]]
[macro
- [syntax {"+" [syntax:]}]
+ [syntax {"+" syntax:}]
["[0]" code]
["[0]" template]]
[math
- ["[0]" random {"+" [Random]}]
- [number {"+" [hex]}
+ ["[0]" random {"+" Random}]
+ [number {"+" hex}
["n" nat]]]]]
[\\library
["[0]" /
diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux
index 2bfc7a74e..aa3a6b2cd 100644
--- a/stdlib/source/test/lux/data/text/format.lux
+++ b/stdlib/source/test/lux/data/text/format.lux
@@ -1,10 +1,10 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
- [equivalence {"+" [Equivalence]}]
+ [monad {"+" do}]
+ [equivalence {"+" Equivalence}]
[functor
[\\specification
["$[0]" contravariant]]]]
@@ -26,7 +26,7 @@
["[0]" duration]
["[0]" date]]
[math
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
+ ["[0]" random {"+" Random} ("[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 cfc58a897..2eb5ad7e0 100644
--- a/stdlib/source/test/lux/data/text/regex.lux
+++ b/stdlib/source/test/lux/data/text/regex.lux
@@ -1,23 +1,23 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
pipe
["[0]" try]
[parser
- ["<[0]>" text {"+" [Parser]}]
+ ["<[0]>" text {"+" Parser}]
["<[0]>" code]]]
[data
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
["[0]" macro
- [syntax {"+" [syntax:]}]
+ [syntax {"+" syntax:}]
["[0]" code]]
[math
- [number {"+" [hex]}]
+ [number {"+" hex}]
["[0]" random]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux
index e01250a30..e16ce9462 100644
--- a/stdlib/source/test/lux/data/text/unicode/block.lux
+++ b/stdlib/source/test/lux/data/text/unicode/block.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" hash]
@@ -16,8 +16,8 @@
[macro
["[0]" template]]
[math
- ["[0]" random {"+" [Random]}]
- [number {"+" [hex]}
+ ["[0]" random {"+" Random}]
+ [number {"+" hex}
["n" nat]]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux
index fe145fd50..cda724eda 100644
--- a/stdlib/source/test/lux/data/text/unicode/set.lux
+++ b/stdlib/source/test/lux/data/text/unicode/set.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[data
@@ -12,7 +12,7 @@
[collection
["[0]" set ("[1]#[0]" equivalence)]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
["[0]" / "_"
diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux
index 4a229b335..d422caa8d 100644
--- a/stdlib/source/test/lux/debug.lux
+++ b/stdlib/source/test/lux/debug.lux
@@ -1,10 +1,10 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
["@" target]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try ("[1]#[0]" functor)]
["[0]" exception]
@@ -12,25 +12,25 @@
["<[0]>" code]]]
[data
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
["[0]" list ("[1]#[0]" functor)]]
[format
- [json {"+" [JSON]}]
- [xml {"+" [XML]}]]]
+ [json {"+" JSON}]
+ [xml {"+" XML}]]]
["[0]" macro
- [syntax {"+" [syntax:]}]
+ [syntax {"+" syntax:}]
["[0]" code]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
- [ratio {"+" [Ratio]}]]]
- [time {"+" [Time]}
- [instant {"+" [Instant]}]
- [date {"+" [Date]}]
- [duration {"+" [Duration]}]
- [month {"+" [Month]}]
- [day {"+" [Day]}]]]]
+ [ratio {"+" Ratio}]]]
+ [time {"+" Time}
+ [instant {"+" Instant}]
+ [date {"+" Date}]
+ [duration {"+" Duration}]
+ [month {"+" Month}]
+ [day {"+" Day}]]]]
[\\library
["[0]" /]]
["$[0]" // "_"
diff --git a/stdlib/source/test/lux/documentation.lux b/stdlib/source/test/lux/documentation.lux
index f46fb8abc..e686dcd21 100644
--- a/stdlib/source/test/lux/documentation.lux
+++ b/stdlib/source/test/lux/documentation.lux
@@ -1,7 +1,7 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
["[0]" meta]
[control
["[0]" try]
@@ -14,7 +14,7 @@
[format
["md" markdown]]]
["[0]" macro
- [syntax {"+" [syntax:]}]
+ [syntax {"+" syntax:}]
["[0]" template]
["[0]" code]]]]
[\\library
diff --git a/stdlib/source/test/lux/extension.lux b/stdlib/source/test/lux/extension.lux
index 80134f010..bf955b152 100644
--- a/stdlib/source/test/lux/extension.lux
+++ b/stdlib/source/test/lux/extension.lux
@@ -11,7 +11,7 @@
["[0]" php]
["[0]" scheme]]
[abstract
- ["[0]" monad {"+" [do]}]]
+ ["[0]" monad {"+" do}]]
[control
["[0]" try]
["<>" parser
@@ -21,7 +21,7 @@
[data
["[0]" product]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
["[0]" row]
["[0]" list ("[1]#[0]" functor)]]]
@@ -40,9 +40,9 @@
[phase
[analysis
["[0]" type]]]]]]]
- ["_" test {"+" [Test]}]]]
+ ["_" test {"+" Test}]]]
[\\library
- ["[0]" / {"+" [analysis: synthesis: generation: directive:]}]])
+ ["[0]" / {"+" analysis: synthesis: generation: directive:}]])
(def: my_analysis "my analysis")
(def: my_synthesis "my synthesis")
diff --git a/stdlib/source/test/lux/ffi.js.lux b/stdlib/source/test/lux/ffi.js.lux
index d51c3c1c7..0285334b9 100644
--- a/stdlib/source/test/lux/ffi.js.lux
+++ b/stdlib/source/test/lux/ffi.js.lux
@@ -1,16 +1,16 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try]]
[data
["[0]" bit ("[1]#[0]" equivalence)]
["[0]" text ("[1]#[0]" equivalence)]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["[0]" nat]
["[0]" frac]]]]]
diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux
index f3feb2b75..9f5ea29e5 100644
--- a/stdlib/source/test/lux/ffi.jvm.lux
+++ b/stdlib/source/test/lux/ffi.jvm.lux
@@ -1,13 +1,13 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
["[0]" type ("[1]#[0]" equivalence)]
["[0]" meta]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" try]
["[0]" exception]
[parser
@@ -15,15 +15,15 @@
[data
["[0]" bit ("[1]#[0]" equivalence)]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
- ["[0]" array {"+" [Array]}]]]
+ ["[0]" array {"+" Array}]]]
["[0]" macro
- [syntax {"+" [syntax:]}]
+ [syntax {"+" syntax:}]
["[0]" code]
["[0]" template]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]
["i" int ("[1]#[0]" equivalence)]
diff --git a/stdlib/source/test/lux/ffi.lua.lux b/stdlib/source/test/lux/ffi.lua.lux
index 4b4bfcf1e..a46dd6ded 100644
--- a/stdlib/source/test/lux/ffi.lua.lux
+++ b/stdlib/source/test/lux/ffi.lua.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" io]]
[math
diff --git a/stdlib/source/test/lux/ffi.old.lux b/stdlib/source/test/lux/ffi.old.lux
index 294106143..b105ea38a 100644
--- a/stdlib/source/test/lux/ffi.old.lux
+++ b/stdlib/source/test/lux/ffi.old.lux
@@ -1,15 +1,15 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [equivalence {"+" [Equivalence]}]
- [monad {"+" [do]}]]
+ [equivalence {"+" Equivalence}]
+ [monad {"+" do}]]
[control
- [pipe {"+" [case>]}]]
+ [pipe {"+" case>}]]
[data
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[macro
["[0]" template]]
[math
diff --git a/stdlib/source/test/lux/ffi.php.lux b/stdlib/source/test/lux/ffi.php.lux
index 23af523ba..7b8cbd419 100644
--- a/stdlib/source/test/lux/ffi.php.lux
+++ b/stdlib/source/test/lux/ffi.php.lux
@@ -1,15 +1,15 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try]]
[data
["[0]" text ("[1]#[0]" equivalence)]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["[0]" nat]
["[0]" frac]]]]]
diff --git a/stdlib/source/test/lux/ffi.py.lux b/stdlib/source/test/lux/ffi.py.lux
index 33463f0dc..af1d4071c 100644
--- a/stdlib/source/test/lux/ffi.py.lux
+++ b/stdlib/source/test/lux/ffi.py.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[math
["[0]" random]
[number
diff --git a/stdlib/source/test/lux/ffi.rb.lux b/stdlib/source/test/lux/ffi.rb.lux
index 166733346..493036bb1 100644
--- a/stdlib/source/test/lux/ffi.rb.lux
+++ b/stdlib/source/test/lux/ffi.rb.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[math
["[0]" random]]]]
[\\library
diff --git a/stdlib/source/test/lux/ffi.scm.lux b/stdlib/source/test/lux/ffi.scm.lux
index 23af523ba..7b8cbd419 100644
--- a/stdlib/source/test/lux/ffi.scm.lux
+++ b/stdlib/source/test/lux/ffi.scm.lux
@@ -1,15 +1,15 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try]]
[data
["[0]" text ("[1]#[0]" equivalence)]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["[0]" nat]
["[0]" frac]]]]]
diff --git a/stdlib/source/test/lux/locale.lux b/stdlib/source/test/lux/locale.lux
index 02e482b41..9142cb982 100644
--- a/stdlib/source/test/lux/locale.lux
+++ b/stdlib/source/test/lux/locale.lux
@@ -1,17 +1,17 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" hash]]]
[math
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]]
+ ["[0]" random {"+" Random} ("[1]#[0]" monad)]]
[data
["[0]" text ("[1]#[0]" equivalence)
- ["[0]" encoding {"+" [Encoding]}]]
+ ["[0]" encoding {"+" Encoding}]]
[collection
["[0]" list]]]]]
["[0]" / "_"
@@ -19,8 +19,8 @@
["[1][0]" territory]]
[\\library
["[0]" /
- ["[0]" language {"+" [Language]}]
- ["[0]" territory {"+" [Territory]}]]])
+ ["[0]" language {"+" Language}]
+ ["[0]" territory {"+" Territory}]]])
(def: random_language
(Random Language)
diff --git a/stdlib/source/test/lux/locale/language.lux b/stdlib/source/test/lux/locale/language.lux
index fd6d93b90..ee30005a4 100644
--- a/stdlib/source/test/lux/locale/language.lux
+++ b/stdlib/source/test/lux/locale/language.lux
@@ -1,10 +1,10 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
- [hash {"+" [Hash]}]
+ [monad {"+" do}]
+ [hash {"+" Hash}]
[\\specification
["$[0]" hash]]]
[control
@@ -12,12 +12,12 @@
[data
["[0]" text]
[collection
- ["[0]" set {"+" [Set]}]
+ ["[0]" set {"+" Set}]
["[0]" list ("[1]#[0]" functor mix)]]]
[macro
["[0]" template]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/locale/territory.lux b/stdlib/source/test/lux/locale/territory.lux
index 724f43388..c1c724751 100644
--- a/stdlib/source/test/lux/locale/territory.lux
+++ b/stdlib/source/test/lux/locale/territory.lux
@@ -1,10 +1,10 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
- [hash {"+" [Hash]}]
+ [monad {"+" do}]
+ [hash {"+" Hash}]
[\\specification
["$[0]" hash]]]
[control
@@ -12,12 +12,12 @@
[data
["[0]" text]
[collection
- ["[0]" set {"+" [Set]}]
+ ["[0]" set {"+" Set}]
["[0]" list ("[1]#[0]" functor mix)]]]
[macro
["[0]" template]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/macro.lux b/stdlib/source/test/lux/macro.lux
index d4bc81738..cdd48544b 100644
--- a/stdlib/source/test/lux/macro.lux
+++ b/stdlib/source/test/lux/macro.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try ("[1]#[0]" functor)]
[parser
@@ -12,18 +12,18 @@
["[0]" bit ("[1]#[0]" equivalence)]
["[0]" name]
["[0]" text
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
["[0]" list]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["[0]" nat]]]
["[0]" meta
["[0]" location]]]]
[\\library
["[0]" /
- [syntax {"+" [syntax:]}]
+ [syntax {"+" syntax:}]
["[0]" code ("[1]#[0]" equivalence)]
["[0]" template]]]
["[0]" / "_"
diff --git a/stdlib/source/test/lux/macro/code.lux b/stdlib/source/test/lux/macro/code.lux
index 20d6741c3..99ff3103e 100644
--- a/stdlib/source/test/lux/macro/code.lux
+++ b/stdlib/source/test/lux/macro/code.lux
@@ -1,20 +1,20 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
- ["[0]" try {"+" [Try]}]]
+ ["[0]" try {"+" Try}]]
[data
["[0]" product]
["[0]" text]
[collection
["[0]" list ("[1]#[0]" functor)]]]
[math
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
+ ["[0]" random {"+" Random} ("[1]#[0]" monad)]
[number
["n" nat]]]
[meta
diff --git a/stdlib/source/test/lux/macro/local.lux b/stdlib/source/test/lux/macro/local.lux
index 26e003577..8cbc19a0c 100644
--- a/stdlib/source/test/lux/macro/local.lux
+++ b/stdlib/source/test/lux/macro/local.lux
@@ -1,10 +1,10 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
["[0]" meta]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try]
["[0]" exception]
@@ -18,10 +18,10 @@
[dictionary
["[0]" plist]]]]
["[0]" macro
- [syntax {"+" [syntax:]}]
+ [syntax {"+" syntax:}]
["[0]" code]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/macro/syntax.lux b/stdlib/source/test/lux/macro/syntax.lux
index 5ba0701b9..68c333664 100644
--- a/stdlib/source/test/lux/macro/syntax.lux
+++ b/stdlib/source/test/lux/macro/syntax.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
[parser
["<[0]>" code]]]
diff --git a/stdlib/source/test/lux/macro/syntax/check.lux b/stdlib/source/test/lux/macro/syntax/check.lux
index baf86ac5b..8c967b516 100644
--- a/stdlib/source/test/lux/macro/syntax/check.lux
+++ b/stdlib/source/test/lux/macro/syntax/check.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
@@ -11,7 +11,7 @@
["<>" parser
["<[0]>" code]]]
[math
- ["[0]" random {"+" [Random]}]]
+ ["[0]" random {"+" Random}]]
[macro
["[0]" code ("[1]#[0]" equivalence)]]]]
[\\library
diff --git a/stdlib/source/test/lux/macro/syntax/declaration.lux b/stdlib/source/test/lux/macro/syntax/declaration.lux
index 9102faed6..d72a0cbbe 100644
--- a/stdlib/source/test/lux/macro/syntax/declaration.lux
+++ b/stdlib/source/test/lux/macro/syntax/declaration.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
@@ -11,7 +11,7 @@
[parser
["<[0]>" code]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/macro/syntax/definition.lux b/stdlib/source/test/lux/macro/syntax/definition.lux
index 4b1057c64..5d287a442 100644
--- a/stdlib/source/test/lux/macro/syntax/definition.lux
+++ b/stdlib/source/test/lux/macro/syntax/definition.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
@@ -14,7 +14,7 @@
[macro
["[0]" code ("[1]#[0]" equivalence)]]
[math
- ["[0]" random {"+" [Random]}]]
+ ["[0]" random {"+" Random}]]
[meta
["[0]" location]]]]
[\\library
diff --git a/stdlib/source/test/lux/macro/syntax/export.lux b/stdlib/source/test/lux/macro/syntax/export.lux
index 91707f1ab..f1dc6df01 100644
--- a/stdlib/source/test/lux/macro/syntax/export.lux
+++ b/stdlib/source/test/lux/macro/syntax/export.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" maybe]
["[0]" try ("[1]#[0]" functor)]
@@ -12,7 +12,7 @@
[macro
["[0]" code ("[1]#[0]" equivalence)]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/macro/syntax/input.lux b/stdlib/source/test/lux/macro/syntax/input.lux
index 26e721986..09f344b11 100644
--- a/stdlib/source/test/lux/macro/syntax/input.lux
+++ b/stdlib/source/test/lux/macro/syntax/input.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
@@ -14,7 +14,7 @@
[collection
["[0]" list]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/macro/syntax/type/variable.lux b/stdlib/source/test/lux/macro/syntax/type/variable.lux
index 329ed3557..94daf4218 100644
--- a/stdlib/source/test/lux/macro/syntax/type/variable.lux
+++ b/stdlib/source/test/lux/macro/syntax/type/variable.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
@@ -11,7 +11,7 @@
[parser
["<[0]>" code]]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/macro/template.lux b/stdlib/source/test/lux/macro/template.lux
index 655b70602..f65cdaa27 100644
--- a/stdlib/source/test/lux/macro/template.lux
+++ b/stdlib/source/test/lux/macro/template.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try]
["[0]" exception]
@@ -13,10 +13,10 @@
[collection
["[0]" list]]]
["[0]" macro
- [syntax {"+" [syntax:]}]
+ [syntax {"+" syntax:}]
["[0]" code]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["[0]" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/math.lux b/stdlib/source/test/lux/math.lux
index 17f53064b..3ab07886c 100644
--- a/stdlib/source/test/lux/math.lux
+++ b/stdlib/source/test/lux/math.lux
@@ -1,13 +1,13 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[macro
["[0]" template]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]
["i" int]
diff --git a/stdlib/source/test/lux/math/infix.lux b/stdlib/source/test/lux/math/infix.lux
index 3b1532d75..9496618bb 100644
--- a/stdlib/source/test/lux/math/infix.lux
+++ b/stdlib/source/test/lux/math/infix.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[data
["[0]" bit ("[1]#[0]" equivalence)]]
[math
diff --git a/stdlib/source/test/lux/math/logic/continuous.lux b/stdlib/source/test/lux/math/logic/continuous.lux
index e741a4411..bf2a3d4aa 100644
--- a/stdlib/source/test/lux/math/logic/continuous.lux
+++ b/stdlib/source/test/lux/math/logic/continuous.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" monoid]]]
[math
diff --git a/stdlib/source/test/lux/math/logic/fuzzy.lux b/stdlib/source/test/lux/math/logic/fuzzy.lux
index 55a79cda9..1325dd34c 100644
--- a/stdlib/source/test/lux/math/logic/fuzzy.lux
+++ b/stdlib/source/test/lux/math/logic/fuzzy.lux
@@ -1,10 +1,10 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [equivalence {"+" [Equivalence]}]
- [monad {"+" [do]}]
+ [equivalence {"+" Equivalence}]
+ [monad {"+" do}]
[\\specification
[functor
["$[0]" contravariant]]]]
@@ -14,12 +14,12 @@
["[0]" list]
["[0]" set]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]
["r" rev]]]]]
[\\library
- ["[0]" / {"+" [Fuzzy]}
+ ["[0]" / {"+" Fuzzy}
["/[1]" // "_"
["[1]" continuous]]]])
diff --git a/stdlib/source/test/lux/math/modular.lux b/stdlib/source/test/lux/math/modular.lux
index b3d4ebd2f..265b1e23a 100644
--- a/stdlib/source/test/lux/math/modular.lux
+++ b/stdlib/source/test/lux/math/modular.lux
@@ -1,10 +1,10 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
["[0]" type ("[1]#[0]" equivalence)]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
["[0]" predicate]
[\\specification
["$[0]" equivalence]
@@ -18,7 +18,7 @@
["[0]" product]
["[0]" bit ("[1]#[0]" equivalence)]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["i" int]]]]]
["$[0]" // "_"
diff --git a/stdlib/source/test/lux/math/modulus.lux b/stdlib/source/test/lux/math/modulus.lux
index 6f43194e6..2fb139f81 100644
--- a/stdlib/source/test/lux/math/modulus.lux
+++ b/stdlib/source/test/lux/math/modulus.lux
@@ -1,19 +1,19 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
["[0]" meta]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try]
["[0]" exception]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["i" int]]]
[macro
- [syntax {"+" [syntax:]}]
+ [syntax {"+" syntax:}]
["[0]" code]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/math/number.lux b/stdlib/source/test/lux/math/number.lux
index e93816a7a..5ab96f21f 100644
--- a/stdlib/source/test/lux/math/number.lux
+++ b/stdlib/source/test/lux/math/number.lux
@@ -1,7 +1,7 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[control
["[0]" try]]
[data
diff --git a/stdlib/source/test/lux/math/number/complex.lux b/stdlib/source/test/lux/math/number/complex.lux
index 18448f514..be67c8022 100644
--- a/stdlib/source/test/lux/math/number/complex.lux
+++ b/stdlib/source/test/lux/math/number/complex.lux
@@ -1,10 +1,10 @@
(.module:
[library
[lux "*"
- ["%" data/text/format {"+" [format]}]
- ["_" test {"+" [Test]}]
+ ["%" data/text/format {"+" format}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" order]
@@ -13,7 +13,7 @@
[collection
["[0]" list ("[1]#[0]" functor)]]]
["[0]" math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\library
["[0]" /
[//
diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux
index f3dd864ad..048e7159e 100644
--- a/stdlib/source/test/lux/math/number/frac.lux
+++ b/stdlib/source/test/lux/math/number/frac.lux
@@ -1,11 +1,11 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
["@" target]
["[0]" ffi]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" hash]
@@ -15,7 +15,7 @@
[data
["[0]" bit ("[1]#[0]" equivalence)]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\library
["[0]" /
[// "*"
diff --git a/stdlib/source/test/lux/math/number/i16.lux b/stdlib/source/test/lux/math/number/i16.lux
index ab692a934..6141bcda4 100644
--- a/stdlib/source/test/lux/math/number/i16.lux
+++ b/stdlib/source/test/lux/math/number/i16.lux
@@ -1,13 +1,13 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\library
["[0]" /
["/[1]" // "_"
diff --git a/stdlib/source/test/lux/math/number/i32.lux b/stdlib/source/test/lux/math/number/i32.lux
index d7985b92e..beb97b194 100644
--- a/stdlib/source/test/lux/math/number/i32.lux
+++ b/stdlib/source/test/lux/math/number/i32.lux
@@ -1,13 +1,13 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\library
["[0]" /
["/[1]" // "_"
diff --git a/stdlib/source/test/lux/math/number/i64.lux b/stdlib/source/test/lux/math/number/i64.lux
index 9c40721a9..66ed44a50 100644
--- a/stdlib/source/test/lux/math/number/i64.lux
+++ b/stdlib/source/test/lux/math/number/i64.lux
@@ -1,20 +1,20 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[data
["[0]" bit ("[1]#[0]" equivalence)]]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" hash]
["$[0]" monoid]]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\library
["[0]" / ("#[0]" equivalence)
- [// {"+" [hex]}
+ [// {"+" hex}
["n" nat]
["i" int]]]])
diff --git a/stdlib/source/test/lux/math/number/i8.lux b/stdlib/source/test/lux/math/number/i8.lux
index 564080d7e..a8cfc3f3f 100644
--- a/stdlib/source/test/lux/math/number/i8.lux
+++ b/stdlib/source/test/lux/math/number/i8.lux
@@ -1,13 +1,13 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\library
["[0]" /
["/[1]" // "_"
diff --git a/stdlib/source/test/lux/math/number/int.lux b/stdlib/source/test/lux/math/number/int.lux
index 9ba73e445..cf06bea2a 100644
--- a/stdlib/source/test/lux/math/number/int.lux
+++ b/stdlib/source/test/lux/math/number/int.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" hash]
@@ -15,7 +15,7 @@
[data
["[0]" bit ("[1]#[0]" equivalence)]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\library
["[0]" /
[//
diff --git a/stdlib/source/test/lux/math/number/nat.lux b/stdlib/source/test/lux/math/number/nat.lux
index 9a5da5d6d..4f1383325 100644
--- a/stdlib/source/test/lux/math/number/nat.lux
+++ b/stdlib/source/test/lux/math/number/nat.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" hash]
diff --git a/stdlib/source/test/lux/math/number/ratio.lux b/stdlib/source/test/lux/math/number/ratio.lux
index 2d3ba322d..7801cbb43 100644
--- a/stdlib/source/test/lux/math/number/ratio.lux
+++ b/stdlib/source/test/lux/math/number/ratio.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" order]
@@ -14,7 +14,7 @@
[data
["[0]" bit ("[1]#[0]" equivalence)]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\library
["[0]" /
[//
diff --git a/stdlib/source/test/lux/math/number/rev.lux b/stdlib/source/test/lux/math/number/rev.lux
index 90ef03c5f..24855aede 100644
--- a/stdlib/source/test/lux/math/number/rev.lux
+++ b/stdlib/source/test/lux/math/number/rev.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" hash]
@@ -18,7 +18,7 @@
["[0]" random]]]]
[\\library
["[0]" /
- [// {"+" [hex]}
+ [// {"+" hex}
["n" nat]
["f" frac]
["[0]" i64 ("[1]#[0]" hash)]]]])
diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux
index 2c92a430b..ba5a0cc1a 100644
--- a/stdlib/source/test/lux/meta.lux
+++ b/stdlib/source/test/lux/meta.lux
@@ -1,31 +1,31 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
["[0]" type ("[1]#[0]" equivalence)]
[abstract
- [equivalence {"+" [Equivalence]}]
- [monad {"+" [do]}]
+ [equivalence {"+" Equivalence}]
+ [monad {"+" do}]
[\\specification
- ["$[0]" functor {"+" [Injection Comparison]}]
+ ["$[0]" functor {"+" Injection Comparison}]
["$[0]" apply]
["$[0]" monad]]]
[control
["[0]" maybe]
- ["[0]" try {"+" [Try]} ("[1]#[0]" functor)]]
+ ["[0]" try {"+" Try} ("[1]#[0]" functor)]]
[data
["[0]" product]
["[0]" bit ("[1]#[0]" equivalence)]
["[0]" name ("[1]#[0]" equivalence)]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
["[0]" list ("[1]#[0]" functor monoid)]
["[0]" set]]]
[meta
["[0]" location]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/meta/location.lux b/stdlib/source/test/lux/meta/location.lux
index c1dc2fbe4..c7cf687dc 100644
--- a/stdlib/source/test/lux/meta/location.lux
+++ b/stdlib/source/test/lux/meta/location.lux
@@ -1,15 +1,15 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[data
["[0]" text]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\library
["[0]" /]]
["$[0]" /// "_"
diff --git a/stdlib/source/test/lux/program.lux b/stdlib/source/test/lux/program.lux
index f652e4ebf..a578b3f22 100644
--- a/stdlib/source/test/lux/program.lux
+++ b/stdlib/source/test/lux/program.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" io]
["[0]" try]
@@ -15,7 +15,7 @@
[collection
["[0]" list]]]
[macro
- [syntax {"+" [syntax:]}]]
+ [syntax {"+" syntax:}]]
[math
["[0]" random]]]]
[\\library
diff --git a/stdlib/source/test/lux/static.lux b/stdlib/source/test/lux/static.lux
index 98b8c32eb..3543f2eb2 100644
--- a/stdlib/source/test/lux/static.lux
+++ b/stdlib/source/test/lux/static.lux
@@ -1,12 +1,12 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
["@" target]
["[0]" meta]
[data
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[macro
["[0]" code]]
[math
diff --git a/stdlib/source/test/lux/target.lux b/stdlib/source/test/lux/target.lux
index b031ba476..0bb703601 100644
--- a/stdlib/source/test/lux/target.lux
+++ b/stdlib/source/test/lux/target.lux
@@ -1,12 +1,12 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[data
["[0]" text]
[collection
["[0]" list]
- ["[0]" set {"+" [Set]}]]]
+ ["[0]" set {"+" Set}]]]
[math
[number
["n" nat]]]]]
diff --git a/stdlib/source/test/lux/target/jvm.lux b/stdlib/source/test/lux/target/jvm.lux
index d4d1aa460..509fddb6d 100644
--- a/stdlib/source/test/lux/target/jvm.lux
+++ b/stdlib/source/test/lux/target/jvm.lux
@@ -1,10 +1,10 @@
(.module:
[library
- [lux {"-" [Type Label type primitive int]}
- ["[0]" ffi {"+" [import:]}]
+ [lux {"-" Type Label type primitive int}
+ ["[0]" ffi {"+" import:}]
["@" target]
[abstract
- ["[0]" monad {"+" [do]}]]
+ ["[0]" monad {"+" do}]]
[control
["[0]" function]
["[0]" io]
@@ -15,7 +15,7 @@
[data
["[0]" bit ("[1]#[0]" equivalence)]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
["[0]" format "_"
["[1]" binary]]
[collection
@@ -25,34 +25,34 @@
["[0]" set]
["[0]" list ("[1]#[0]" functor)]]]
[math
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
+ ["[0]" random {"+" Random} ("[1]#[0]" monad)]
[number
["n" nat]
["i" int]
["f" frac]
- ["[0]" i32 {"+" [I32]}]
+ ["[0]" i32 {"+" I32}]
["[0]" i64]]]
- ["_" test {"+" [Test]}]]]
+ ["_" test {"+" Test}]]]
[\\library
["[0]" / "_"
- ["[1][0]" loader {"+" [Library]}]
+ ["[1][0]" loader {"+" Library}]
["[1][0]" version]
["[1][0]" modifier ("[1]#[0]" monoid)]
["[1][0]" field]
- ["[1][0]" method {"+" [Method]}]
+ ["[1][0]" method {"+" Method}]
["[1][0]" class]
["[1][0]" attribute
["[1]/[0]" code]]
["[1][0]" constant
- ["[1]/[0]" pool {"+" [Resource]}]]
+ ["[1]/[0]" pool {"+" Resource}]]
[encoding
["[1][0]" name]
["[1][0]" signed]
["[1][0]" unsigned]]
- ["[1]" bytecode {"+" [Label Bytecode]}
+ ["[1]" bytecode {"+" Label Bytecode}
["[1][0]" instruction]]
- ["[1][0]" type {"+" [Type]}
- ["[0]" category {"+" [Value Object Class]}]]]])
+ ["[1][0]" type {"+" Type}
+ ["[0]" category {"+" Value Object Class}]]]])
(def: method_modifier
($_ /modifier#composite
diff --git a/stdlib/source/test/lux/test.lux b/stdlib/source/test/lux/test.lux
index 98556c778..fad4845ac 100644
--- a/stdlib/source/test/lux/test.lux
+++ b/stdlib/source/test/lux/test.lux
@@ -2,13 +2,13 @@
[library
[lux "*"
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" io]
["[0]" exception]
[concurrency
["[0]" async]
- ["[0]" atom {"+" [Atom]}]]]
+ ["[0]" atom {"+" Atom}]]]
[data
["[0]" text ("[1]#[0]" equivalence)]
[collection
diff --git a/stdlib/source/test/lux/time.lux b/stdlib/source/test/lux/time.lux
index e1d0ffce5..915d50e9c 100644
--- a/stdlib/source/test/lux/time.lux
+++ b/stdlib/source/test/lux/time.lux
@@ -1,23 +1,23 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" order]
["$[0]" enum]
["$[0]" codec]]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" try ("[1]#[0]" functor)]
["[0]" exception]
[parser
["<[0]>" text]]]
[data
["[0]" text
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[math
["[0]" random]
[number
diff --git a/stdlib/source/test/lux/time/date.lux b/stdlib/source/test/lux/time/date.lux
index 1c4365552..13ba625a9 100644
--- a/stdlib/source/test/lux/time/date.lux
+++ b/stdlib/source/test/lux/time/date.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" order]
@@ -16,9 +16,9 @@
["<[0]>" text]]]
[data
[text
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]
["i" int]]]]]
diff --git a/stdlib/source/test/lux/time/day.lux b/stdlib/source/test/lux/time/day.lux
index 0f8f50821..0fe9d0244 100644
--- a/stdlib/source/test/lux/time/day.lux
+++ b/stdlib/source/test/lux/time/day.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
["[0]" predicate]
[\\specification
["$[0]" equivalence]
@@ -19,7 +19,7 @@
["[0]" list]
["[0]" set]]]
[math
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
+ ["[0]" random {"+" Random} ("[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 58a2ad1f1..d8db79e2e 100644
--- a/stdlib/source/test/lux/time/duration.lux
+++ b/stdlib/source/test/lux/time/duration.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" order]
@@ -13,7 +13,7 @@
[data
["[0]" bit ("[1]#[0]" equivalence)]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]
["i" int]]]]]
diff --git a/stdlib/source/test/lux/time/instant.lux b/stdlib/source/test/lux/time/instant.lux
index 8c5d5f8d7..3e5c16cc2 100644
--- a/stdlib/source/test/lux/time/instant.lux
+++ b/stdlib/source/test/lux/time/instant.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" order]
@@ -19,8 +19,8 @@
[math
["[0]" random]]
[time
- ["[0]" duration {"+" [Duration]}]
- ["[0]" day {"+" [Day]} ("[1]#[0]" enum)]]]]
+ ["[0]" duration {"+" Duration}]
+ ["[0]" day {"+" Day} ("[1]#[0]" enum)]]]]
[\\library
["[0]" /]])
diff --git a/stdlib/source/test/lux/time/month.lux b/stdlib/source/test/lux/time/month.lux
index b724ea855..31e294260 100644
--- a/stdlib/source/test/lux/time/month.lux
+++ b/stdlib/source/test/lux/time/month.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
["[0]" predicate]
[\\specification
["$[0]" equivalence]
@@ -19,7 +19,7 @@
["[0]" set]
["[0]" list ("[1]#[0]" functor mix)]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/time/year.lux b/stdlib/source/test/lux/time/year.lux
index fab28f99b..541a76d48 100644
--- a/stdlib/source/test/lux/time/year.lux
+++ b/stdlib/source/test/lux/time/year.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" order]
@@ -14,9 +14,9 @@
[data
["[0]" bit ("[1]#[0]" equivalence)]
[text
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]
["i" int]]]]]
diff --git a/stdlib/source/test/lux/tool.lux b/stdlib/source/test/lux/tool.lux
index 05a724bf8..643698695 100644
--- a/stdlib/source/test/lux/tool.lux
+++ b/stdlib/source/test/lux/tool.lux
@@ -1,7 +1,7 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]]]
+ ["_" test {"+" Test}]]]
["[0]" / "_"
[compiler
[language
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 164931430..dfd2b7416 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
@@ -1,6 +1,6 @@
(.module:
[lux "*"
- ["_" test {"+" [Test]}]]
+ ["_" test {"+" Test}]]
["[0]" / "_"
["[1][0]" primitive]
["[1][0]" structure]
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 cbc2b15aa..76f904817 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
@@ -1,12 +1,12 @@
(.module:
[lux "*"
[abstract
- ["[0]" monad {"+" [do]}]]
+ ["[0]" monad {"+" do}]]
[data
- ["%" text/format {"+" [format]}]
+ ["%" text/format {"+" format}]
["[0]" name]]
- ["r" math/random {"+" [Random]} ("[1]#[0]" monad)]
- ["_" test {"+" [Test]}]
+ ["r" math/random {"+" Random} ("[1]#[0]" monad)]
+ ["_" test {"+" Test}]
[control
pipe
["[0]" maybe]]
@@ -32,7 +32,7 @@
["[1][0]" type]
["/[1]" // "_"
["/[1]" //
- ["[1][0]" analysis {"+" [Analysis Variant Tag Operation]}]
+ ["[1][0]" analysis {"+" Analysis Variant Tag Operation}]
[///
["[0]" phase]
[meta
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 9e41573a6..f86c8bcfe 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
@@ -1,12 +1,12 @@
(.module:
[lux "*"
[abstract
- ["[0]" monad {"+" [do]}]]
+ ["[0]" monad {"+" do}]]
[data
- ["%" text/format {"+" [format]}]
+ ["%" text/format {"+" format}]
["[0]" name]]
- ["r" math/random {"+" [Random]}]
- ["_" test {"+" [Test]}]
+ ["r" math/random {"+" Random}]
+ ["_" test {"+" Test}]
[control
pipe
["[0]" maybe]
@@ -31,7 +31,7 @@
["[1][0]" type]
["/[1]" // "_"
["/[1]" //
- ["[1][0]" analysis {"+" [Analysis Operation]}]
+ ["[1][0]" analysis {"+" Analysis Operation}]
[///
["[1][0]" reference]
["[0]" phase]
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux
index 734078a84..7dc11195c 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux
@@ -1,17 +1,17 @@
(.module:
- [lux {"-" [primitive]}
+ [lux {"-" primitive}
["@" target]
[abstract
- ["[0]" monad {"+" [do]}]]
+ ["[0]" monad {"+" do}]]
[data
- ["%" text/format {"+" [format]}]
+ ["%" text/format {"+" format}]
["[0]" name]]
- ["r" math/random {"+" [Random]} ("[1]#[0]" monad)]
- ["_" test {"+" [Test]}]
+ ["r" math/random {"+" Random} ("[1]#[0]" monad)]
+ ["_" test {"+" Test}]
[control
pipe
- ["[0]" try {"+" [Try]}]
- ["[0]" exception {"+" [exception:]}]]
+ ["[0]" try {"+" Try}]
+ ["[0]" exception {"+" exception:}]]
[macro
["[0]" code]]]
[\\
@@ -24,9 +24,9 @@
["[1][0]" analysis]]
["/[1]" // "_"
["[0]" version]
- ["[1][0]" analysis {"+" [Analysis Operation]}
- [macro {"+" [Expander]}]
- [evaluation {"+" [Eval]}]]
+ ["[1][0]" analysis {"+" Analysis Operation}
+ [macro {"+" Expander}]
+ [evaluation {"+" Eval}]]
[///
["[0]" phase]
[meta
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 96bcf8507..61195abbd 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
@@ -1,14 +1,14 @@
(.module:
[lux "*"
[abstract
- ["[0]" monad {"+" [do]}]]
+ ["[0]" monad {"+" do}]]
[data
["[0]" name ("[1]#[0]" equivalence)]]
- ["r" math/random {"+" [Random]}]
- ["_" test {"+" [Test]}]
+ ["r" math/random {"+" Random}]
+ ["_" test {"+" Test}]
[control
pipe
- ["[0]" try {"+" [Try]}]]
+ ["[0]" try {"+" Try}]]
[data
["[0]" text ("[1]#[0]" equivalence)]
[number
@@ -26,7 +26,7 @@
["[1][0]" type]
["/[1]" // "_"
["/[1]" //
- ["[1][0]" analysis {"+" [Analysis Variant Tag Operation]}]
+ ["[1][0]" analysis {"+" Analysis Variant Tag Operation}]
[///
["[1][0]" reference]
["[0]" phase]
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/structure.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/structure.lux
index 463be39c2..6f63bf89c 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/structure.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/structure.lux
@@ -1,12 +1,12 @@
(.module:
[lux "*"
[abstract
- ["[0]" monad {"+" [do]}]]
+ ["[0]" monad {"+" do}]]
[data
- ["%" text/format {"+" [format]}]
+ ["%" text/format {"+" format}]
["[0]" name]]
- ["r" math/random {"+" [Random]}]
- ["_" test {"+" [Test]}]
+ ["r" math/random {"+" Random}]
+ ["_" test {"+" Test}]
[control
pipe
["[0]" maybe]
@@ -33,7 +33,7 @@
["[1][0]" type]
["/[1]" // "_"
["/[1]" //
- ["[1][0]" analysis {"+" [Analysis Variant Tag Operation]}]
+ ["[1][0]" analysis {"+" Analysis Variant Tag Operation}]
[///
["[0]" phase]
[meta
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
index c7bc89971..5430e455c 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
@@ -1,15 +1,15 @@
(.module:
- [lux {"-" [i64 int primitive]}
+ [lux {"-" i64 int primitive}
[abstract
- ["[0]" monad {"+" [do]}]]
+ ["[0]" monad {"+" do}]]
[data
- ["%" text/format {"+" [format]}]
+ ["%" text/format {"+" format}]
["[0]" name]]
- ["r" math/random {"+" [Random]}]
- ["_" test {"+" [Test]}]
+ ["r" math/random {"+" Random}]
+ ["_" test {"+" Test}]
[control
pipe
- [io {"+" [IO]}]
+ [io {"+" IO}]
["[0]" try]
[concurrency
["[0]" atom]]]
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux
index 2c9954765..3fbc13bda 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux
@@ -1,6 +1,6 @@
(.module:
[lux "*"
- ["_" test {"+" [Test]}]]
+ ["_" test {"+" Test}]]
["[0]" / "_"
["[1][0]" primitive]
["[1][0]" structure]
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 876b9d819..d4c935a28 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
@@ -1,16 +1,16 @@
(.module:
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [hash {"+" [Hash]}]
- ["[0]" monad {"+" [do]}]]
+ [hash {"+" Hash}]
+ ["[0]" monad {"+" do}]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" try ("[1]#[0]" functor)]]
[data
["[0]" sum]
["[0]" text
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[number
["n" nat]
["[0]" int]
@@ -20,7 +20,7 @@
["[0]" list ("[1]#[0]" functor mix monoid)]
["[0]" set]]]
[math
- ["[0]" random {"+" [Random]}]]]
+ ["[0]" random {"+" Random}]]]
["[0]" // "_"
["[1][0]" primitive]]
[\\
@@ -30,11 +30,11 @@
[extension
["[1][0]" bundle]]
["/[1]" //
- ["[0]" analysis {"+" [Branch Match Analysis]}]
- ["[0]" synthesis {"+" [Path Synthesis]}]
+ ["[0]" analysis {"+" Branch Match Analysis}]
+ ["[0]" synthesis {"+" Path Synthesis}]
[///
["[1][0]" reference
- [variable {"+" [Register]}]]
+ [variable {"+" Register}]]
["[0]" phase]
[meta
["[0]" archive]]]]]]]])
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 d7faa474e..20284ae47 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
@@ -1,22 +1,22 @@
(.module:
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- ["[0]" monad {"+" [do]}]]
+ ["[0]" monad {"+" do}]]
[control
["[0]" try]]
[data
["[0]" product]
["[0]" text
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[number
["n" nat]]
[collection
["[0]" list ("[1]#[0]" functor mix monoid)]
- ["[0]" dictionary {"+" [Dictionary]}]
+ ["[0]" dictionary {"+" Dictionary}]
["[0]" set]]]
[math
- ["[0]" random {"+" [Random]}]]]
+ ["[0]" random {"+" Random}]]]
["[0]" // "_"
["[1][0]" primitive]]
[\\
@@ -26,12 +26,12 @@
[extension
["[1][0]" bundle]]
["/[1]" //
- ["[0]" analysis {"+" [Analysis]}]
- ["[0]" synthesis {"+" [Synthesis]}]
+ ["[0]" analysis {"+" Analysis}]
+ ["[0]" synthesis {"+" Synthesis}]
[///
- [arity {"+" [Arity]}]
+ [arity {"+" Arity}]
["[0]" reference
- ["[0]" variable {"+" [Variable]}]]
+ ["[0]" variable {"+" Variable}]]
["[0]" phase]
[meta
["[0]" archive]]]]]]]])
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 bbd047ca5..7bcc5f59a 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
@@ -1,8 +1,8 @@
(.module:
- [lux {"-" [primitive structure loop function]}
- ["_" test {"+" [Test]}]
+ [lux {"-" primitive structure loop function}
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try]
["[0]" exception]]
@@ -12,16 +12,16 @@
[collection
["[0]" list ("[1]#[0]" functor)]]]
[math
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]]]
+ ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]
[\\
["[0]" /
[////
- ["[0]" analysis {"+" [Environment]}]
- ["/[1]" synthesis {"+" [Member Path Synthesis]}]
+ ["[0]" analysis {"+" Environment}]
+ ["/[1]" synthesis {"+" Member Path Synthesis}]
[///
- [arity {"+" [Arity]}]
- ["[0]" reference {"+" [Constant]}
- ["[0]" variable {"+" [Register Variable]}]]]]]])
+ [arity {"+" Arity}]
+ ["[0]" reference {"+" Constant}
+ ["[0]" variable {"+" Register Variable}]]]]]])
(type: (Scenario a)
(-> Register Arity Register (Random [Register [a a]])))
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 5940e03d2..ee21bb16c 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
@@ -1,18 +1,18 @@
(.module:
- [lux {"-" [primitive]}
- [abstract ["[0]" monad {"+" [do]}]]
+ [lux {"-" primitive}
+ [abstract ["[0]" monad {"+" do}]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" try]]
[data
- ["%" text/format {"+" [format]}]
+ ["%" text/format {"+" format}]
["[0]" name]
[number
["n" nat]]
[collection
["[0]" list]]]
- ["r" math/random {"+" [Random]} ("[1]#[0]" monad)]
- ["_" test {"+" [Test]}]]
+ ["r" math/random {"+" Random} ("[1]#[0]" monad)]
+ ["_" test {"+" Test}]]
[\\
["[0]" / "_"
["/[1]" //
@@ -20,8 +20,8 @@
[extension
["[1][0]" bundle]]
["/[1]" //
- ["[1][0]" analysis {"+" [Analysis]}]
- ["[1][0]" synthesis {"+" [Synthesis]}]
+ ["[1][0]" analysis {"+" Analysis}]
+ ["[1][0]" synthesis {"+" Synthesis}]
[///
["[0]" phase]
[meta
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 99c2d430d..02d079c4d 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
@@ -1,12 +1,12 @@
(.module:
[lux "*"
[abstract
- ["[0]" monad {"+" [do]}]]
+ ["[0]" monad {"+" do}]]
[data
- ["%" text/format {"+" [format]}]
+ ["%" text/format {"+" format}]
["[0]" name]]
- ["r" math/random {"+" [Random]}]
- ["_" test {"+" [Test]}]
+ ["r" math/random {"+" Random}]
+ ["_" test {"+" Test}]
[control
pipe
["[0]" try]]
@@ -26,8 +26,8 @@
[extension
["[1][0]" bundle]]
["/[1]" //
- ["[1][0]" analysis {"+" [Analysis]}]
- ["[1][0]" synthesis {"+" [Synthesis]}]
+ ["[1][0]" analysis {"+" Analysis}]
+ ["[1][0]" synthesis {"+" Synthesis}]
[///
["[0]" phase]
[meta
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 b941d73e6..81c088aa2 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
@@ -1,27 +1,27 @@
(.module:
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- ["[0]" monad {"+" [do]}]]
+ ["[0]" monad {"+" do}]]
[math
- ["[0]" random {"+" [Random]}]]
+ ["[0]" random {"+" Random}]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" try]]
[data
["[0]" product]
["[0]" text
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[number
["n" nat]]
[collection
["[0]" list ("[1]#[0]" functor mix)]
- ["[0]" dictionary {"+" [Dictionary]}]]]]
+ ["[0]" dictionary {"+" Dictionary}]]]]
[\\
["[0]" /
[////
["[0]" analysis]
- ["[0]" synthesis {"+" [Side Member Path Synthesis]}]
+ ["[0]" synthesis {"+" Side Member Path Synthesis}]
[///
[reference
["[0]" variable]]]]]])
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 08cd0035a..84d47becc 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux
@@ -1,13 +1,13 @@
(.module:
[lux "*"
- [abstract/monad {"+" [do]}]
+ [abstract/monad {"+" do}]
[data
- ["%" text/format {"+" [format]}]
+ ["%" text/format {"+" format}]
["[0]" name]
[number
["n" nat]]]
- ["r" math/random {"+" [Random]} ("[1]#[0]" monad)]
- ["_" test {"+" [Test]}]
+ ["r" math/random {"+" Random} ("[1]#[0]" monad)]
+ ["_" test {"+" Test}]
[control
["[0]" try]
[parser
@@ -16,7 +16,7 @@
["[0]" text]
[collection
["[0]" list]
- ["[0]" dictionary {"+" [Dictionary]}]]]
+ ["[0]" dictionary {"+" Dictionary}]]]
[macro
["[0]" code]]
[meta
diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux
index b1abd1dc7..ffd3671cb 100644
--- a/stdlib/source/test/lux/type.lux
+++ b/stdlib/source/test/lux/type.lux
@@ -1,13 +1,13 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- ["[0]" monad {"+" [do]}]
+ ["[0]" monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" maybe]]
[data
["[0]" bit ("[1]#[0]" equivalence)]
@@ -18,7 +18,7 @@
[macro
["[0]" code ("[1]#[0]" equivalence)]]
[math
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
+ ["[0]" random {"+" Random} ("[1]#[0]" monad)]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/type/abstract.lux b/stdlib/source/test/lux/type/abstract.lux
index ee1b7fc4a..1f30874d4 100644
--- a/stdlib/source/test/lux/type/abstract.lux
+++ b/stdlib/source/test/lux/type/abstract.lux
@@ -1,10 +1,10 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
["[0]" meta]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try]
["[0]" exception]
@@ -13,7 +13,7 @@
[data
["[0]" text ("[1]#[0]" equivalence)]]
["[0]" macro
- [syntax {"+" [syntax:]}]
+ [syntax {"+" syntax:}]
["[0]" code]
["[0]" template]]
["[0]" math
diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux
index 8b7011176..ce181e56b 100644
--- a/stdlib/source/test/lux/type/check.lux
+++ b/stdlib/source/test/lux/type/check.lux
@@ -1,29 +1,29 @@
(.module:
[library
- [lux {"-" [type]}
- ["_" test {"+" [Test]}]
+ [lux {"-" type}
+ ["_" test {"+" Test}]
["[0]" type ("[1]#[0]" equivalence)]
[abstract
- ["[0]" monad {"+" [do]}]
+ ["[0]" monad {"+" do}]
[\\specification
- ["$[0]" functor {"+" [Injection Comparison]}]
+ ["$[0]" functor {"+" Injection Comparison}]
["$[0]" apply]
["$[0]" monad]]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" function]
["[0]" try]
- ["[0]" exception {"+" [exception:]}]]
+ ["[0]" exception {"+" exception:}]]
[data
["[0]" bit ("[1]#[0]" equivalence)]
["[0]" product]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
["[0]" list ("[1]#[0]" functor monoid)]
["[0]" set]]]
[math
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
+ ["[0]" random {"+" Random} ("[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 522e82882..33c5b37aa 100644
--- a/stdlib/source/test/lux/type/dynamic.lux
+++ b/stdlib/source/test/lux/type/dynamic.lux
@@ -1,17 +1,17 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" try]
["[0]" exception]]
[data
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/type/implicit.lux b/stdlib/source/test/lux/type/implicit.lux
index c1853f0b1..18a62de2b 100644
--- a/stdlib/source/test/lux/type/implicit.lux
+++ b/stdlib/source/test/lux/type/implicit.lux
@@ -1,19 +1,19 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [equivalence {"+" []}]
- [functor {"+" []}]
- [monoid {"+" []}]
- [monad {"+" [do]}]
+ [equivalence {"+" }]
+ [functor {"+" }]
+ [monoid {"+" }]
+ [monad {"+" do}]
["[0]" enum]]
[data
["[0]" bit ("[1]#[0]" equivalence)]
[collection
["[0]" list]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/type/poly.lux b/stdlib/source/test/lux/type/poly.lux
index 996a86320..36c870891 100644
--- a/stdlib/source/test/lux/type/poly.lux
+++ b/stdlib/source/test/lux/type/poly.lux
@@ -1,7 +1,7 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]]]
+ ["_" test {"+" Test}]]]
[\\library
["[0]" /]]
["[0]" / "_"
diff --git a/stdlib/source/test/lux/type/poly/equivalence.lux b/stdlib/source/test/lux/type/poly/equivalence.lux
index 3fa9e59f3..927189171 100644
--- a/stdlib/source/test/lux/type/poly/equivalence.lux
+++ b/stdlib/source/test/lux/type/poly/equivalence.lux
@@ -1,11 +1,11 @@
(.module:
[library
- [lux {"-" [Variant Record]}
- ["_" test {"+" [Test]}]
+ [lux {"-" Variant Record}
+ ["_" test {"+" Test}]
["@" target]
[abstract
- [monad {"+" [do]}]
- [equivalence {"+" [Equivalence]}
+ [monad {"+" do}]
+ [equivalence {"+" Equivalence}
[\\poly
["[0]" /]]]
[\\specification
@@ -18,7 +18,7 @@
[collection
["[0]" list]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]
["i" int]]]]])
diff --git a/stdlib/source/test/lux/type/poly/functor.lux b/stdlib/source/test/lux/type/poly/functor.lux
index 4aec871cf..935812444 100644
--- a/stdlib/source/test/lux/type/poly/functor.lux
+++ b/stdlib/source/test/lux/type/poly/functor.lux
@@ -3,12 +3,12 @@
[lux "*"
["@" target]
[abstract
- [monad {"+" [do]}]
- [functor {"+" [Functor]}
+ [monad {"+" do}]
+ [functor {"+" Functor}
[\\poly
["[0]" /]]]]
- ["r" math/random {"+" [Random]}]
- ["_" test {"+" [Test]}]
+ ["r" math/random {"+" Random}]
+ ["_" test {"+" Test}]
[control
["[0]" state]]
[data
diff --git a/stdlib/source/test/lux/type/poly/json.lux b/stdlib/source/test/lux/type/poly/json.lux
index b9d16c2ed..4b028a9cc 100644
--- a/stdlib/source/test/lux/type/poly/json.lux
+++ b/stdlib/source/test/lux/type/poly/json.lux
@@ -1,13 +1,13 @@
(.module:
[library
- [lux {"-" [Variant Record]}
- ["_" test {"+" [Test]}]
+ [lux {"-" Variant Record}
+ ["_" test {"+" Test}]
["@" target]
["[0]" debug]
[abstract
codec
- [monad {"+" [do]}]
- ["[0]" equivalence {"+" [Equivalence]}
+ [monad {"+" do}]
+ ["[0]" equivalence {"+" Equivalence}
["poly/[1]" \\poly]]
[\\specification
["$[0]" equivalence]
@@ -17,22 +17,22 @@
["[0]" try]
["p" parser
... TODO: Get rid of this import ASAP
- [json {"+" []}]]]
+ [json {"+"}]]]
[data
["[0]" bit]
["[0]" text]
[format
- [json {"+" [JSON]}
+ [json {"+" JSON}
[\\poly
["[0]" /]]]]
[collection
- [row {"+" [row]}]
+ [row {"+" row}]
["d" dictionary]
["[0]" list]]]
[type
["[0]" unit]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]
["[0]" frac]]]
diff --git a/stdlib/source/test/lux/type/quotient.lux b/stdlib/source/test/lux/type/quotient.lux
index a06999879..5a473fca6 100644
--- a/stdlib/source/test/lux/type/quotient.lux
+++ b/stdlib/source/test/lux/type/quotient.lux
@@ -1,16 +1,16 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- ["[0]" monad {"+" [do]}]
+ ["[0]" monad {"+" do}]
[\\specification
["$[0]" equivalence]]]
[data
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat ("[1]#[0]" equivalence)]]]]]
[\\library
diff --git a/stdlib/source/test/lux/type/refinement.lux b/stdlib/source/test/lux/type/refinement.lux
index 6dbe2447f..25e5dfc84 100644
--- a/stdlib/source/test/lux/type/refinement.lux
+++ b/stdlib/source/test/lux/type/refinement.lux
@@ -1,10 +1,10 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [predicate {"+" [Predicate]}]
- [monad {"+" [do]}]]
+ [predicate {"+" Predicate}]
+ [monad {"+" do}]]
[control
["[0]" maybe ("[1]#[0]" monad)]]
[data
diff --git a/stdlib/source/test/lux/type/resource.lux b/stdlib/source/test/lux/type/resource.lux
index a8514fcfc..aad93d0a2 100644
--- a/stdlib/source/test/lux/type/resource.lux
+++ b/stdlib/source/test/lux/type/resource.lux
@@ -1,30 +1,30 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
["[0]" meta]
[abstract
["[0]" monad
- [indexed {"+" [do]}]]]
+ [indexed {"+" do}]]]
[control
- ["[0]" io {"+" [IO]}]
+ ["[0]" io {"+" IO}]
["[0]" try]
- ["[0]" exception {"+" [Exception]}]
+ ["[0]" exception {"+" Exception}]
[concurrency
- ["[0]" async {"+" [Async]}]]
+ ["[0]" async {"+" Async}]]
[parser
["<[0]>" code]]]
[data
- ["[0]" identity {"+" [Identity]}]
+ ["[0]" identity {"+" Identity}]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
["[0]" macro
- [syntax {"+" [syntax:]}]
+ [syntax {"+" syntax:}]
["[0]" code]]
[math
["[0]" random]]]]
[\\library
- ["[0]" / {"+" [Res]}]])
+ ["[0]" / {"+" Res}]])
(def: pure
Test
diff --git a/stdlib/source/test/lux/type/unit.lux b/stdlib/source/test/lux/type/unit.lux
index 3d5e6f74a..76f9a4747 100644
--- a/stdlib/source/test/lux/type/unit.lux
+++ b/stdlib/source/test/lux/type/unit.lux
@@ -1,21 +1,21 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
["[0]" debug]
["[0]" meta]
[abstract
- [monad {"+" [do]}]
- [equivalence {"+" [Equivalence]}]
+ [monad {"+" do}]
+ [equivalence {"+" Equivalence}]
[\\specification
["$[0]" equivalence]
["$[0]" order]
["$[0]" enum]]]
[macro
- [syntax {"+" [syntax:]}]
+ [syntax {"+" syntax:}]
["[0]" code]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["i" int]
["[0]" ratio ("[1]#[0]" equivalence)]]]]]
diff --git a/stdlib/source/test/lux/type/variance.lux b/stdlib/source/test/lux/type/variance.lux
index d223fa976..916351dbf 100644
--- a/stdlib/source/test/lux/type/variance.lux
+++ b/stdlib/source/test/lux/type/variance.lux
@@ -1,11 +1,11 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[math
- ["[0]" random {"+" [Random]}]]]]
+ ["[0]" random {"+" Random}]]]]
[\\library
["[0]" /
["/[1]" // "_"
diff --git a/stdlib/source/test/lux/world.lux b/stdlib/source/test/lux/world.lux
index 5c348cb1e..21e737184 100644
--- a/stdlib/source/test/lux/world.lux
+++ b/stdlib/source/test/lux/world.lux
@@ -1,7 +1,7 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]]]
+ ["_" test {"+" Test}]]]
["[0]" / "_"
["[1][0]" file]
["[1][0]" shell]
diff --git a/stdlib/source/test/lux/world/console.lux b/stdlib/source/test/lux/world/console.lux
index da25ac18a..8a6cd353d 100644
--- a/stdlib/source/test/lux/world/console.lux
+++ b/stdlib/source/test/lux/world/console.lux
@@ -1,16 +1,16 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" io]
- ["[0]" try {"+" [Try]}]
- ["[0]" exception {"+" [exception:]}]]
+ ["[0]" try {"+" Try}]
+ ["[0]" exception {"+" exception:}]]
[data
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]]
+ ["%" format {"+" format}]]]
[math
["[0]" random]]]]
[\\library
diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux
index 304116241..adac8bfeb 100644
--- a/stdlib/source/test/lux/world/file.lux
+++ b/stdlib/source/test/lux/world/file.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" io]]
[math
diff --git a/stdlib/source/test/lux/world/file/watch.lux b/stdlib/source/test/lux/world/file/watch.lux
index 5f4ae714d..30e5e84da 100644
--- a/stdlib/source/test/lux/world/file/watch.lux
+++ b/stdlib/source/test/lux/world/file/watch.lux
@@ -1,23 +1,23 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [predicate {"+" [Predicate]}]
- [monad {"+" [do]}]]
+ [predicate {"+" Predicate}]
+ [monad {"+" do}]]
[control
- ["[0]" try {"+" [Try]}]
+ ["[0]" try {"+" Try}]
["[0]" exception]
[concurrency
- ["[0]" async {"+" [Async]}]]]
+ ["[0]" async {"+" Async}]]]
[data
- ["[0]" binary {"+" [Binary]} ("[1]#[0]" equivalence)]
+ ["[0]" binary {"+" Binary} ("[1]#[0]" equivalence)]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" [format]}]]
+ ["%" format {"+" format}]]
[collection
["[0]" list]]]
[math
- ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]]]]
+ ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]]
[\\library
["[0]" /
["/[1]" //]]]
diff --git a/stdlib/source/test/lux/world/input/keyboard.lux b/stdlib/source/test/lux/world/input/keyboard.lux
index dcd14099c..8306acbf3 100644
--- a/stdlib/source/test/lux/world/input/keyboard.lux
+++ b/stdlib/source/test/lux/world/input/keyboard.lux
@@ -1,20 +1,20 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
["[0]" maybe]]
[data
["[0]" bit ("[1]#[0]" equivalence)]
[collection
["[0]" list]
- ["[0]" set {"+" [Set]}]]]
+ ["[0]" set {"+" Set}]]]
[macro
["[0]" template]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/world/net/http/client.lux b/stdlib/source/test/lux/world/net/http/client.lux
index 6dee42643..4772af49f 100644
--- a/stdlib/source/test/lux/world/net/http/client.lux
+++ b/stdlib/source/test/lux/world/net/http/client.lux
@@ -1,25 +1,25 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- [pipe {"+" [do>]}]
- ["[0]" io {"+" [IO]}]
+ [pipe {"+" do>}]
+ ["[0]" io {"+" IO}]
["[0]" try]
["[0]" function]]
[data
["[0]" binary]
["[0]" product]
["[0]" text
- ["%" format {"+" [format]}]
+ ["%" format {"+" format}]
[encoding
["[0]" utf8]]]
[collection
["[0]" dictionary]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["[0]" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/world/net/http/status.lux b/stdlib/source/test/lux/world/net/http/status.lux
index fb987aad6..739f071d9 100644
--- a/stdlib/source/test/lux/world/net/http/status.lux
+++ b/stdlib/source/test/lux/world/net/http/status.lux
@@ -1,11 +1,11 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[data
[collection
["[0]" list]
- ["[0]" set {"+" [Set]}]]]
+ ["[0]" set {"+" Set}]]]
[macro
["[0]" template]]
[math
diff --git a/stdlib/source/test/lux/world/output/video/resolution.lux b/stdlib/source/test/lux/world/output/video/resolution.lux
index efd6e44dc..775e4dd94 100644
--- a/stdlib/source/test/lux/world/output/video/resolution.lux
+++ b/stdlib/source/test/lux/world/output/video/resolution.lux
@@ -1,9 +1,9 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]
+ [monad {"+" do}]
[\\specification
["$[0]" equivalence]
["$[0]" hash]]]
@@ -12,9 +12,9 @@
[data
[collection
["[0]" list]
- ["[0]" set {"+" [Set]}]]]
+ ["[0]" set {"+" Set}]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/world/program.lux b/stdlib/source/test/lux/world/program.lux
index f65951af0..d76639679 100644
--- a/stdlib/source/test/lux/world/program.lux
+++ b/stdlib/source/test/lux/world/program.lux
@@ -1,30 +1,30 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- [pipe {"+" [case>]}]
+ [pipe {"+" case>}]
["[0]" io]
["[0]" maybe ("[1]#[0]" functor)]
["[0]" try]
["[0]" exception]
[parser
- [environment {"+" [Environment]}]]]
+ [environment {"+" Environment}]]]
[data
["[0]" text ("[1]#[0]" equivalence)]
[collection
["[0]" dictionary]
["[0]" list]]]
[math
- ["[0]" random {"+" [Random]}]
+ ["[0]" random {"+" Random}]
[number
["n" nat]]]]]
[\\library
["[0]" /
[//
- [file {"+" [Path]}]]]]
+ [file {"+" Path}]]]]
[\\specification
["$[0]" /]])
diff --git a/stdlib/source/test/lux/world/shell.lux b/stdlib/source/test/lux/world/shell.lux
index 6525997bc..5e2dab77b 100644
--- a/stdlib/source/test/lux/world/shell.lux
+++ b/stdlib/source/test/lux/world/shell.lux
@@ -1,17 +1,17 @@
(.module:
[library
[lux "*"
- ["_" test {"+" [Test]}]
+ ["_" test {"+" Test}]
[abstract
- [monad {"+" [do]}]]
+ [monad {"+" do}]]
[control
- ["[0]" try {"+" [Try]}]
- ["[0]" exception {"+" [exception:]}]
- ["[0]" io {"+" [IO]}]
+ ["[0]" try {"+" Try}]
+ ["[0]" exception {"+" exception:}]
+ ["[0]" io {"+" IO}]
[concurrency
- ["[0]" async {"+" [Async]}]]
+ ["[0]" async {"+" Async}]]
[parser
- ["[0]" environment {"+" [Environment]}]]]
+ ["[0]" environment {"+" Environment}]]]
[data
["[0]" text ("[1]#[0]" equivalence)]
[collection
@@ -24,7 +24,7 @@
[\\library
["[0]" /
[//
- [file {"+" [Path]}]]]]
+ [file {"+" Path}]]]]
[\\specification
["$[0]" /]])