aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/aedifex.lux8
-rw-r--r--stdlib/source/test/aedifex/artifact.lux12
-rw-r--r--stdlib/source/test/aedifex/artifact/extension.lux10
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot.lux10
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/build.lux8
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/stamp.lux10
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/time.lux10
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version.lux12
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux12
-rw-r--r--stdlib/source/test/aedifex/artifact/time.lux10
-rw-r--r--stdlib/source/test/aedifex/artifact/time/date.lux8
-rw-r--r--stdlib/source/test/aedifex/artifact/time/time.lux8
-rw-r--r--stdlib/source/test/aedifex/artifact/type.lux8
-rw-r--r--stdlib/source/test/aedifex/artifact/versioning.lux10
-rw-r--r--stdlib/source/test/aedifex/cache.lux30
-rw-r--r--stdlib/source/test/aedifex/cli.lux12
-rw-r--r--stdlib/source/test/aedifex/command.lux6
-rw-r--r--stdlib/source/test/aedifex/command/auto.lux30
-rw-r--r--stdlib/source/test/aedifex/command/build.lux28
-rw-r--r--stdlib/source/test/aedifex/command/clean.lux22
-rw-r--r--stdlib/source/test/aedifex/command/deploy.lux22
-rw-r--r--stdlib/source/test/aedifex/command/deps.lux20
-rw-r--r--stdlib/source/test/aedifex/command/install.lux24
-rw-r--r--stdlib/source/test/aedifex/command/pom.lux8
-rw-r--r--stdlib/source/test/aedifex/command/test.lux16
-rw-r--r--stdlib/source/test/aedifex/command/version.lux18
-rw-r--r--stdlib/source/test/aedifex/dependency.lux8
-rw-r--r--stdlib/source/test/aedifex/dependency/deployment.lux34
-rw-r--r--stdlib/source/test/aedifex/dependency/resolution.lux24
-rw-r--r--stdlib/source/test/aedifex/dependency/status.lux14
-rw-r--r--stdlib/source/test/aedifex/hash.lux12
-rw-r--r--stdlib/source/test/aedifex/input.lux18
-rw-r--r--stdlib/source/test/aedifex/local.lux10
-rw-r--r--stdlib/source/test/aedifex/metadata.lux8
-rw-r--r--stdlib/source/test/aedifex/metadata/artifact.lux12
-rw-r--r--stdlib/source/test/aedifex/metadata/snapshot.lux20
-rw-r--r--stdlib/source/test/aedifex/package.lux14
-rw-r--r--stdlib/source/test/aedifex/parser.lux24
-rw-r--r--stdlib/source/test/aedifex/pom.lux8
-rw-r--r--stdlib/source/test/aedifex/profile.lux22
-rw-r--r--stdlib/source/test/aedifex/project.lux10
-rw-r--r--stdlib/source/test/aedifex/repository.lux30
-rw-r--r--stdlib/source/test/aedifex/repository/identity.lux6
-rw-r--r--stdlib/source/test/aedifex/repository/local.lux6
-rw-r--r--stdlib/source/test/aedifex/repository/origin.lux6
-rw-r--r--stdlib/source/test/aedifex/repository/remote.lux18
-rw-r--r--stdlib/source/test/aedifex/runtime.lux8
-rw-r--r--stdlib/source/test/lux.lux24
-rw-r--r--stdlib/source/test/lux/abstract.lux6
-rw-r--r--stdlib/source/test/lux/abstract/apply.lux8
-rw-r--r--stdlib/source/test/lux/abstract/codec.lux14
-rw-r--r--stdlib/source/test/lux/abstract/comonad.lux8
-rw-r--r--stdlib/source/test/lux/abstract/comonad/cofree.lux12
-rw-r--r--stdlib/source/test/lux/abstract/enum.lux8
-rw-r--r--stdlib/source/test/lux/abstract/equivalence.lux10
-rw-r--r--stdlib/source/test/lux/abstract/functor.lux8
-rw-r--r--stdlib/source/test/lux/abstract/functor/contravariant.lux4
-rw-r--r--stdlib/source/test/lux/abstract/hash.lux10
-rw-r--r--stdlib/source/test/lux/abstract/interval.lux12
-rw-r--r--stdlib/source/test/lux/abstract/mix.lux8
-rw-r--r--stdlib/source/test/lux/abstract/monad.lux8
-rw-r--r--stdlib/source/test/lux/abstract/monad/free.lux12
-rw-r--r--stdlib/source/test/lux/abstract/monoid.lux10
-rw-r--r--stdlib/source/test/lux/abstract/order.lux10
-rw-r--r--stdlib/source/test/lux/abstract/predicate.lux10
-rw-r--r--stdlib/source/test/lux/control.lux8
-rw-r--r--stdlib/source/test/lux/control/concatenative.lux8
-rw-r--r--stdlib/source/test/lux/control/concurrency/actor.lux22
-rw-r--r--stdlib/source/test/lux/control/concurrency/async.lux12
-rw-r--r--stdlib/source/test/lux/control/concurrency/atom.lux6
-rw-r--r--stdlib/source/test/lux/control/concurrency/frp.lux16
-rw-r--r--stdlib/source/test/lux/control/concurrency/semaphore.lux14
-rw-r--r--stdlib/source/test/lux/control/concurrency/stm.lux14
-rw-r--r--stdlib/source/test/lux/control/concurrency/thread.lux10
-rw-r--r--stdlib/source/test/lux/control/continuation.lux8
-rw-r--r--stdlib/source/test/lux/control/exception.lux12
-rw-r--r--stdlib/source/test/lux/control/function.lux12
-rw-r--r--stdlib/source/test/lux/control/function/contract.lux6
-rw-r--r--stdlib/source/test/lux/control/function/memo.lux16
-rw-r--r--stdlib/source/test/lux/control/function/mixin.lux14
-rw-r--r--stdlib/source/test/lux/control/function/mutual.lux10
-rw-r--r--stdlib/source/test/lux/control/io.lux10
-rw-r--r--stdlib/source/test/lux/control/lazy.lux12
-rw-r--r--stdlib/source/test/lux/control/maybe.lux8
-rw-r--r--stdlib/source/test/lux/control/parser.lux20
-rw-r--r--stdlib/source/test/lux/control/parser/analysis.lux14
-rw-r--r--stdlib/source/test/lux/control/parser/binary.lux18
-rw-r--r--stdlib/source/test/lux/control/parser/cli.lux6
-rw-r--r--stdlib/source/test/lux/control/parser/code.lux8
-rw-r--r--stdlib/source/test/lux/control/parser/environment.lux6
-rw-r--r--stdlib/source/test/lux/control/parser/json.lux12
-rw-r--r--stdlib/source/test/lux/control/parser/synthesis.lux18
-rw-r--r--stdlib/source/test/lux/control/parser/text.lux16
-rw-r--r--stdlib/source/test/lux/control/parser/tree.lux6
-rw-r--r--stdlib/source/test/lux/control/parser/type.lux8
-rw-r--r--stdlib/source/test/lux/control/parser/xml.lux8
-rw-r--r--stdlib/source/test/lux/control/pipe.lux8
-rw-r--r--stdlib/source/test/lux/control/reader.lux12
-rw-r--r--stdlib/source/test/lux/control/region.lux24
-rw-r--r--stdlib/source/test/lux/control/remember.lux18
-rw-r--r--stdlib/source/test/lux/control/security/capability.lux8
-rw-r--r--stdlib/source/test/lux/control/security/policy.lux12
-rw-r--r--stdlib/source/test/lux/control/state.lux12
-rw-r--r--stdlib/source/test/lux/control/thread.lux10
-rw-r--r--stdlib/source/test/lux/control/try.lux12
-rw-r--r--stdlib/source/test/lux/control/writer.lux14
-rw-r--r--stdlib/source/test/lux/data.lux10
-rw-r--r--stdlib/source/test/lux/data/binary.lux14
-rw-r--r--stdlib/source/test/lux/data/bit.lux6
-rw-r--r--stdlib/source/test/lux/data/collection.lux6
-rw-r--r--stdlib/source/test/lux/data/collection/array.lux12
-rw-r--r--stdlib/source/test/lux/data/collection/bits.lux10
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary.lux10
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary/ordered.lux12
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary/plist.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/list.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/queue.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/queue/priority.lux10
-rw-r--r--stdlib/source/test/lux/data/collection/row.lux10
-rw-r--r--stdlib/source/test/lux/data/collection/sequence.lux10
-rw-r--r--stdlib/source/test/lux/data/collection/set.lux10
-rw-r--r--stdlib/source/test/lux/data/collection/set/multi.lux10
-rw-r--r--stdlib/source/test/lux/data/collection/set/ordered.lux12
-rw-r--r--stdlib/source/test/lux/data/collection/stack.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/tree.lux10
-rw-r--r--stdlib/source/test/lux/data/collection/tree/finger.lux8
-rw-r--r--stdlib/source/test/lux/data/collection/tree/zipper.lux8
-rw-r--r--stdlib/source/test/lux/data/color.lux8
-rw-r--r--stdlib/source/test/lux/data/color/named.lux8
-rw-r--r--stdlib/source/test/lux/data/format/binary.lux10
-rw-r--r--stdlib/source/test/lux/data/format/json.lux14
-rw-r--r--stdlib/source/test/lux/data/format/tar.lux16
-rw-r--r--stdlib/source/test/lux/data/format/xml.lux12
-rw-r--r--stdlib/source/test/lux/data/identity.lux10
-rw-r--r--stdlib/source/test/lux/data/name.lux8
-rw-r--r--stdlib/source/test/lux/data/product.lux6
-rw-r--r--stdlib/source/test/lux/data/sum.lux6
-rw-r--r--stdlib/source/test/lux/data/text.lux10
-rw-r--r--stdlib/source/test/lux/data/text/buffer.lux10
-rw-r--r--stdlib/source/test/lux/data/text/encoding.lux10
-rw-r--r--stdlib/source/test/lux/data/text/encoding/utf8.lux6
-rw-r--r--stdlib/source/test/lux/data/text/escape.lux20
-rw-r--r--stdlib/source/test/lux/data/text/format.lux12
-rw-r--r--stdlib/source/test/lux/data/text/regex.lux14
-rw-r--r--stdlib/source/test/lux/data/text/unicode/block.lux10
-rw-r--r--stdlib/source/test/lux/data/text/unicode/set.lux12
-rw-r--r--stdlib/source/test/lux/debug.lux32
-rw-r--r--stdlib/source/test/lux/documentation.lux6
-rw-r--r--stdlib/source/test/lux/extension.lux10
-rw-r--r--stdlib/source/test/lux/ffi.js.lux8
-rw-r--r--stdlib/source/test/lux/ffi.jvm.lux16
-rw-r--r--stdlib/source/test/lux/ffi.lua.lux6
-rw-r--r--stdlib/source/test/lux/ffi.old.lux12
-rw-r--r--stdlib/source/test/lux/ffi.php.lux8
-rw-r--r--stdlib/source/test/lux/ffi.py.lux6
-rw-r--r--stdlib/source/test/lux/ffi.rb.lux6
-rw-r--r--stdlib/source/test/lux/ffi.scm.lux8
-rw-r--r--stdlib/source/test/lux/locale.lux16
-rw-r--r--stdlib/source/test/lux/locale/language.lux12
-rw-r--r--stdlib/source/test/lux/locale/territory.lux12
-rw-r--r--stdlib/source/test/lux/macro.lux14
-rw-r--r--stdlib/source/test/lux/macro/code.lux10
-rw-r--r--stdlib/source/test/lux/macro/local.lux10
-rw-r--r--stdlib/source/test/lux/macro/syntax.lux10
-rw-r--r--stdlib/source/test/lux/macro/syntax/annotations.lux10
-rw-r--r--stdlib/source/test/lux/macro/syntax/check.lux10
-rw-r--r--stdlib/source/test/lux/macro/syntax/declaration.lux8
-rw-r--r--stdlib/source/test/lux/macro/syntax/definition.lux12
-rw-r--r--stdlib/source/test/lux/macro/syntax/export.lux8
-rw-r--r--stdlib/source/test/lux/macro/syntax/input.lux10
-rw-r--r--stdlib/source/test/lux/macro/syntax/type/variable.lux8
-rw-r--r--stdlib/source/test/lux/macro/template.lux10
-rw-r--r--stdlib/source/test/lux/math.lux12
-rw-r--r--stdlib/source/test/lux/math/infix.lux6
-rw-r--r--stdlib/source/test/lux/math/logic/continuous.lux6
-rw-r--r--stdlib/source/test/lux/math/logic/fuzzy.lux14
-rw-r--r--stdlib/source/test/lux/math/modular.lux12
-rw-r--r--stdlib/source/test/lux/math/modulus.lux10
-rw-r--r--stdlib/source/test/lux/math/number.lux6
-rw-r--r--stdlib/source/test/lux/math/number/complex.lux10
-rw-r--r--stdlib/source/test/lux/math/number/frac.lux10
-rw-r--r--stdlib/source/test/lux/math/number/i16.lux10
-rw-r--r--stdlib/source/test/lux/math/number/i32.lux10
-rw-r--r--stdlib/source/test/lux/math/number/i64.lux10
-rw-r--r--stdlib/source/test/lux/math/number/i8.lux10
-rw-r--r--stdlib/source/test/lux/math/number/int.lux8
-rw-r--r--stdlib/source/test/lux/math/number/nat.lux6
-rw-r--r--stdlib/source/test/lux/math/number/ratio.lux8
-rw-r--r--stdlib/source/test/lux/math/number/rev.lux8
-rw-r--r--stdlib/source/test/lux/meta.lux18
-rw-r--r--stdlib/source/test/lux/meta/annotation.lux10
-rw-r--r--stdlib/source/test/lux/meta/location.lux10
-rw-r--r--stdlib/source/test/lux/program.lux8
-rw-r--r--stdlib/source/test/lux/static.lux6
-rw-r--r--stdlib/source/test/lux/target.lux6
-rw-r--r--stdlib/source/test/lux/target/jvm.lux30
-rw-r--r--stdlib/source/test/lux/test.lux6
-rw-r--r--stdlib/source/test/lux/time.lux12
-rw-r--r--stdlib/source/test/lux/time/date.lux10
-rw-r--r--stdlib/source/test/lux/time/day.lux8
-rw-r--r--stdlib/source/test/lux/time/duration.lux8
-rw-r--r--stdlib/source/test/lux/time/instant.lux10
-rw-r--r--stdlib/source/test/lux/time/month.lux8
-rw-r--r--stdlib/source/test/lux/time/year.lux10
-rw-r--r--stdlib/source/test/lux/tool.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux8
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux14
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux14
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux24
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux14
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/structure.lux14
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux14
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux24
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux24
-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.lux20
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux20
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux16
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux12
-rw-r--r--stdlib/source/test/lux/type.lux12
-rw-r--r--stdlib/source/test/lux/type/abstract.lux8
-rw-r--r--stdlib/source/test/lux/type/check.lux16
-rw-r--r--stdlib/source/test/lux/type/dynamic.lux10
-rw-r--r--stdlib/source/test/lux/type/implicit.lux14
-rw-r--r--stdlib/source/test/lux/type/poly.lux6
-rw-r--r--stdlib/source/test/lux/type/poly/equivalence.lux12
-rw-r--r--stdlib/source/test/lux/type/poly/functor.lux10
-rw-r--r--stdlib/source/test/lux/type/poly/json.lux18
-rw-r--r--stdlib/source/test/lux/type/quotient.lux10
-rw-r--r--stdlib/source/test/lux/type/refinement.lux8
-rw-r--r--stdlib/source/test/lux/type/resource.lux20
-rw-r--r--stdlib/source/test/lux/type/unit.lux12
-rw-r--r--stdlib/source/test/lux/type/variance.lux10
-rw-r--r--stdlib/source/test/lux/world.lux16
-rw-r--r--stdlib/source/test/lux/world/console.lux12
-rw-r--r--stdlib/source/test/lux/world/file.lux8
-rw-r--r--stdlib/source/test/lux/world/file/watch.lux18
-rw-r--r--stdlib/source/test/lux/world/input/keyboard.lux10
-rw-r--r--stdlib/source/test/lux/world/net/http/client.lux14
-rw-r--r--stdlib/source/test/lux/world/net/http/status.lux6
-rw-r--r--stdlib/source/test/lux/world/output/video/resolution.lux10
-rw-r--r--stdlib/source/test/lux/world/program.lux14
-rw-r--r--stdlib/source/test/lux/world/shell.lux18
244 files changed, 1445 insertions, 1445 deletions
diff --git a/stdlib/source/test/aedifex.lux b/stdlib/source/test/aedifex.lux
index dc04f13de..1860eeab7 100644
--- a/stdlib/source/test/aedifex.lux
+++ b/stdlib/source/test/aedifex.lux
@@ -1,11 +1,11 @@
(.module:
[library
- [lux #*
- [program (#+ program:)]
- ["_" test (#+ Test)]
+ [lux "*"
+ [program {"+" [program:]}]
+ ["_" test {"+" [Test]}]
[control
["." io]]]]
- ["." / #_
+ ["." / "_"
["#." artifact]
["#." cli]
["#." command]
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index da1941245..d1ecac072 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -1,10 +1,10 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
- [hash (#+ Hash)]
+ [monad {"+" [do]}]
+ [hash {"+" [Hash]}]
[\\specification
["$." equivalence]
["$." order]
@@ -12,12 +12,12 @@
[data
["." text ("#\." equivalence)]]
[math
- ["." random (#+ Random)]]
+ ["." random {"+" [Random]}]]
[world
["." file]
[net
["." uri]]]]]
- ["." / #_
+ ["." / "_"
["#." extension]
["#." snapshot]
["#." time]
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index 93355ea60..4a99544db 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -1,21 +1,21 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[data
["." text ("#\." equivalence)]
[collection
["." set]
["." list]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\program
["." /
- ["/#" // #_
+ ["/#" // "_"
["#" type]]]])
(def: .public test
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index 40fc5e137..e04b49e71 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -11,8 +11,8 @@
[parser
["<.>" xml]]]
[math
- ["." random (#+ Random) ("#\." monad)]]]]
- ["$." / #_
+ ["." random {"+" [Random]} ("#\." monad)]]]]
+ ["$." / "_"
["#." build]
["#." stamp]
["#." time]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
index ab169fe29..e3e0c62cd 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -11,7 +11,7 @@
[parser
["<.>" xml]]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\program
["." /]])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index e1903c937..82217bd62 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -11,12 +11,12 @@
[parser
["<.>" xml]]]
[math
- ["." random (#+ Random)]]
+ ["." random {"+" [Random]}]]
[time
["." instant]]]]
[\\program
["." /]]
- ["$." // #_
+ ["$." // "_"
["#." time]
["#." build]])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index 22436060e..f11fe6f12 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -11,10 +11,10 @@
[parser
["<.>" text]]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\program
["." /]]
- ["$." /// #_
+ ["$." /// "_"
["#." time]])
(def: .public random
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index f027e0e46..162b05348 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -11,12 +11,12 @@
[parser
["<.>" xml]]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\program
["." /]]
- ["." / #_
+ ["." / "_"
["#." value]]
- ["$." /// #_
+ ["$." /// "_"
["#." type]
["#." time]])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index 370ea21ab..e63453f84 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -12,15 +12,15 @@
["<.>" text]]]
[data
["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
[number
["n" nat]
["i" int]]]
[time
["." instant]]]]
- ["$." /// #_
+ ["$." /// "_"
["#." stamp]]
[\\program
["." /
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index c4f74df92..a7d3f1463 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -13,12 +13,12 @@
[time
["." instant ("#\." equivalence)]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["i" int]]]]]
[\\program
["." /]]
- ["." / #_
+ ["." / "_"
["#." date]
["#." time]])
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index 15eb29aba..6762ed541 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -12,7 +12,7 @@
[parser
["<.>" text]]]
[math
- ["." random (#+ Random)]
+ ["." 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 7e8317b78..d156d5f03 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["." time]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try ("#\." functor)]
[parser
["<.>" text]]]
[math
- ["." random (#+ Random)]
+ ["." 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 be1fdfc80..e0d537c1b 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[data
["." text]
[collection
["." set]
["." list]]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
[number
["n" nat]]]]]
[\\program
diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux
index 95019139f..a9ef8d07b 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -11,10 +11,10 @@
[parser
["<.>" xml]]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\program
["." /]]
- ["$." // #_
+ ["$." // "_"
["#." time]
["#." snapshot
["#/." version]]])
diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux
index 0390e441d..748af575a 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
- ["." monad (#+ do)]]
+ ["." monad {"+" [do]}]]
[control
["." try]
[concurrency
- ["." async (#+ Async)]]
+ ["." async {"+" [Async]}]]
[parser
["." environment]]]
[data
- [binary (#+ Binary)]
+ [binary {"+" [Binary]}]
["." text]
[format
- [xml (#+ XML)]]
+ [xml {"+" [XML]}]]
[collection
["." set]
["." dictionary]]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
[number
["n" nat]]]
[world
@@ -34,15 +34,15 @@
["_." binary]]]]]
[\\program
["." /
- ["/#" // #_
- ["#" profile (#+ Profile)]
- ["#." package (#+ Package)]
+ ["/#" // "_"
+ ["#" profile {"+" [Profile]}]
+ ["#." package {"+" [Package]}]
["#." pom]
- ["#." dependency (#+ Dependency)
- ["#/." resolution (#+ Resolution)]]
- ["#." artifact (#+ Artifact)
- ["#/." type (#+ Type)]]
- ["#." repository #_
+ ["#." dependency {"+" [Dependency]}
+ ["#/." resolution {"+" [Resolution]}]]
+ ["#." artifact {"+" [Artifact]}
+ ["#/." type {"+" [Type]}]]
+ ["#." repository "_"
["#/." origin]]]]])
(def: type
diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux
index 9712d8a93..8a51928af 100644
--- a/stdlib/source/test/aedifex/cli.lux
+++ b/stdlib/source/test/aedifex/cli.lux
@@ -1,13 +1,13 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." try]
[parser
["." cli]]]
@@ -16,10 +16,10 @@
[collection
["." list]]]
[math
- ["." random (#+ Random) ("#\." monad)]]]]
+ ["." random {"+" [Random]} ("#\." monad)]]]]
[\\program
["." /
- ["/#" // #_
+ ["/#" // "_"
["#" profile]]]])
(def: compilation
diff --git a/stdlib/source/test/aedifex/command.lux b/stdlib/source/test/aedifex/command.lux
index 8fbca7e56..704376f9c 100644
--- a/stdlib/source/test/aedifex/command.lux
+++ b/stdlib/source/test/aedifex/command.lux
@@ -1,8 +1,8 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]]]
- ["." / #_
+ [lux "*"
+ ["_" test {"+" [Test]}]]]
+ ["." / "_"
["#." version]
["#." pom]
diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux
index 91506ca06..894e647be 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." try]
[parser
["." environment]]
[concurrency
- ["." atom (#+ Atom)]
- ["." async (#+ Async)]]]
+ ["." atom {"+" [Atom]}]
+ ["." async {"+" [Async]}]]]
[data
["." binary]
["." text
- ["%" format (#+ format)]
+ ["%" format {"+" [format]}]
[encoding
["." utf8]]]
[collection
@@ -27,22 +27,22 @@
[time
["." instant]]
[world
- [console (#+ Console)]
- ["." shell (#+ Exit Shell)]
- ["." program (#+ Program)]
+ [console {"+" [Console]}]
+ ["." shell {"+" [Exit Shell]}]
+ ["." program {"+" [Program]}]
["." file
["." watch]]]]]
- ["." // #_
+ ["." // "_"
["$." version]
["$." build]]
[\\program
["." /
- ["//#" /// #_
- [command (#+ Command)]
- ["#" profile (#+ Profile)]
+ ["//#" /// "_"
+ [command {"+" [Command]}]
+ ["#" profile {"+" [Profile]}]
["#." 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 95363b079..3009e5011 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
- [pipe (#+ case>)]
- [io (#+ IO)]
+ [pipe {"+" [case>]}]
+ [io {"+" [IO]}]
["." try]
["." exception]
[concurrency
- ["." async (#+ Async)]]
+ ["." async {"+" [Async]}]]
[parser
["." environment]]]
[data
@@ -18,24 +18,24 @@
[collection
["." dictionary]]]
[math
- ["." random (#+ Random)]]
+ ["." random {"+" [Random]}]]
[world
["." file]
- ["." shell (#+ Shell)]
+ ["." shell {"+" [Shell]}]
["." program]]]]
- ["." // #_
+ ["." // "_"
["@." version]
- ["$/#" // #_
+ ["$/#" // "_"
["#." package]]]
[\\program
["." /
- ["//#" /// #_
- ["#" profile (#+ Profile)]
+ ["//#" /// "_"
+ ["#" profile {"+" [Profile]}]
["#." action]
["#." artifact
["#/." type]]
- ["#." dependency (#+ Dependency)
- ["#/." resolution (#+ Resolution)]]]]])
+ ["#." dependency {"+" [Dependency]}
+ ["#/." 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 59908a364..7d7e613fe 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- ["." monad (#+ do)]]
+ ["." monad {"+" [do]}]]
[control
- ["." try (#+ Try)]
+ ["." try {"+" [Try]}]
[concurrency
- ["." async (#+ Async)]]]
+ ["." async {"+" [Async]}]]]
[data
- [binary (#+ Binary)]
+ [binary {"+" [Binary]}]
["." product]
["." text ("#\." equivalence)
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
["." list ("#\." functor)]
["." set]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]
[world
- ["." file (#+ Path)]]]]
+ ["." file {"+" [Path]}]]]]
[//
["@." version]
[//
@@ -32,9 +32,9 @@
["$." binary]]]]]]
[\\program
["." /
- ["//#" /// #_
+ ["//#" /// "_"
["#" profile]
- ["#." action (#+ Action)]]]])
+ ["#." 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 b36998b6f..77af48126 100644
--- a/stdlib/source/test/aedifex/command/deploy.lux
+++ b/stdlib/source/test/aedifex/command/deploy.lux
@@ -1,23 +1,23 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." maybe]
- ["." try (#+ Try)]
+ ["." try {"+" [Try]}]
[concurrency
- ["." async (#+ Async)]]
+ ["." async {"+" [Async]}]]
[parser
["." environment]]]
[data
["." binary ("#\." equivalence)]
["." text ("#\." equivalence)
- ["%" format (#+ format)]
+ ["%" format {"+" [format]}]
[encoding
["." utf8]]]
- ["." format #_
+ ["." format "_"
["#" binary]
["." tar]
["." xml]]
@@ -27,7 +27,7 @@
["." random]]
[world
["." file]
- ["." program (#+ Program)]]]]
+ ["." program {"+" [Program]}]]]]
[program
[compositor
["." export]]]
@@ -39,14 +39,14 @@
["$." repository]]]
[\\program
["." /
- ["//#" /// #_
+ ["//#" /// "_"
["#" profile]
["#." action]
["#." pom]
["#." hash]
- ["#." repository (#+ Repository)
+ ["#." repository {"+" [Repository]}
["#/." remote]]
- ["#." artifact (#+ Artifact)
+ ["#." artifact {"+" [Artifact]}
["#/." 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 95f757f7d..3047ccb2b 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
["." predicate]]
[control
["." try]
@@ -13,7 +13,7 @@
["." environment]]]
[data
["." text ("#\." equivalence)
- ["%" format (#+ format)]
+ ["%" format {"+" [format]}]
[encoding
["." utf8]]]
[collection
@@ -22,22 +22,22 @@
[format
["." xml]]]
[math
- ["." random (#+ Random)]]
+ ["." random {"+" [Random]}]]
[world
["." program]
["." file]]]]
- ["." // #_
+ ["." // "_"
["@." version]
- ["$/#" // #_
+ ["$/#" // "_"
["#." package]
["#." artifact]
- ["#." dependency #_
+ ["#." dependency "_"
["#/." resolution]]]]
[\\program
["." /
- ["/#" // #_
+ ["/#" // "_"
["#." clean]
- ["/#" // #_
+ ["/#" // "_"
["#" profile]
["#." action]
["#." pom]
diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux
index 93d304d36..76f8cf768 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- ["." monad (#+ do)]]
+ ["." monad {"+" [do]}]]
[control
- ["." try (#+ Try) ("#\." functor)]
+ ["." try {"+" [Try]} ("#\." functor)]
["." exception]
[concurrency
- ["." async (#+ Async)]]
+ ["." async {"+" [Async]}]]
[parser
["." environment]]]
[data
["." binary]
["." text ("#\." equivalence)
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
- ["." set (#+ Set)]]]
+ ["." set {"+" [Set]}]]]
[math
["." random]]
[world
["." file]
- ["." program (#+ Program)]]]]
+ ["." program {"+" [Program]}]]]]
[//
["$." version]
[//
@@ -29,14 +29,14 @@
["$." artifact]]]
[\\program
["." /
- ["/#" // #_
- ["/#" // #_
+ ["/#" // "_"
+ ["/#" // "_"
["#" profile]
- ["#." action (#+ Action)]
+ ["#." action {"+" [Action]}]
["#." local]
["#." artifact
["#/." extension]]
- ["#." repository #_
+ ["#." repository "_"
["#/." local]]]]]])
(def: .public (make_sources! fs sources)
diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux
index 211ce1ad5..1bac5cf69 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try ("#\." functor)]
[concurrency
@@ -25,7 +25,7 @@
["@." profile]]]
[\\program
["." /
- ["//#" /// #_
+ ["//#" /// "_"
["#" profile]
["#." action]
["#." pom]]]])
diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux
index 3e3cf85d7..0496428a6 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try]
["." exception]
@@ -22,17 +22,17 @@
["." file]
["." shell]
["." program]]]]
- ["." // #_
+ ["." // "_"
["@." version]
["@." build]
- ["$/#" // #_
+ ["$/#" // "_"
["#." package]]]
[\\program
["." /
- ["/#" // #_
+ ["/#" // "_"
["#." build]
- ["/#" // #_
- ["#" profile (#+ Profile)]
+ ["/#" // "_"
+ ["#" profile {"+" [Profile]}]
["#." action]
["#." artifact
["#/." type]]
diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux
index c1ab3814e..74223d02f 100644
--- a/stdlib/source/test/aedifex/command/version.lux
+++ b/stdlib/source/test/aedifex/command/version.lux
@@ -1,28 +1,28 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." maybe]
["." try]
- ["." exception (#+ exception:)]
+ ["." exception {"+" [exception:]}]
[concurrency
- ["." async (#+ Async)]]]
+ ["." async {"+" [Async]}]]]
[data
["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
[math
["." random]]
[tool
[compiler
["." version]
- ["." language #_
- ["#/." lux #_
+ ["." language "_"
+ ["#/." lux "_"
["#" version]]]]]
[world
- ["." console (#+ Console Mock)]]]]
+ ["." console {"+" [Console Mock]}]]]]
[///
["@." profile]]
[\\program
diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux
index 86d951f99..0f3eb7db0 100644
--- a/stdlib/source/test/aedifex/dependency.lux
+++ b/stdlib/source/test/aedifex/dependency.lux
@@ -1,15 +1,15 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." order]
["$." hash]]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[//
["@." artifact]]
[\\program
diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux
index f87aca761..e9bcc67a4 100644
--- a/stdlib/source/test/aedifex/dependency/deployment.lux
+++ b/stdlib/source/test/aedifex/dependency/deployment.lux
@@ -1,49 +1,49 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
- ["." hash (#+ Hash)]]
+ [monad {"+" [do]}]
+ ["." hash {"+" [Hash]}]]
[control
- ["." io (#+ IO)]
+ ["." io {"+" [IO]}]
["." maybe ("#\." functor)]
["." try ("#\." functor)]
[concurrency
- ["." atom (#+ Atom)]
+ ["." atom {"+" [Atom]}]
["." async]]]
[data
["." product]
- ["." binary (#+ Binary) ("#\." equivalence)]
+ ["." binary {"+" [Binary]} ("#\." equivalence)]
["." text
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
- ["." dictionary (#+ Dictionary)]
+ ["." dictionary {"+" [Dictionary]}]
["." set]
["." list ("#\." mix)]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]
[world
- [net (#+ URL)
- ["." uri (#+ URI)]
- ["." http #_
+ [net {"+" [URL]}
+ ["." uri {"+" [URI]}]
+ ["." http "_"
["#" client]
["#/." status]
["@#" /]]]]]]
["$." //
- ["#/" // #_
+ ["#/" // "_"
["#." package]]]
[\\program
["." /
- [// (#+ Dependency)
+ [// {"+" [Dependency]}
["." resolution]
[//
["." profile]
["." metadata]
- ["." package (#+ Package)]
- ["." artifact (#+ Artifact) ("#\." equivalence)
+ ["." package {"+" [Package]}]
+ ["." artifact {"+" [Artifact]} ("#\." equivalence)
["#/." type]
["#/." extension]]
["." repository
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 9f1826f9c..79e0bde5b 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
["." predicate]
[\\specification
["$." equivalence]]]
@@ -13,10 +13,10 @@
[concurrency
["." async]]]
[data
- [binary (#+ Binary)]
+ [binary {"+" [Binary]}]
["." product]
["." text
- ["%" format (#+ format)]
+ ["%" format {"+" [format]}]
[encoding
["." utf8]]]
[format
@@ -26,8 +26,8 @@
["." set]
["." list]]]
[math
- ["." random (#+ Random)]]]]
- ["$." /// #_
+ ["." random {"+" [Random]}]]]]
+ ["$." /// "_"
["#." package]
["#." repository]
["#." artifact]
@@ -35,17 +35,17 @@
["#." version]]]
[\\program
["." /
- ["//#" /// #_
+ ["//#" /// "_"
["#" profile]
- ["#." package (#+ Package)]
+ ["#." package {"+" [Package]}]
["#." hash]
- ["#." dependency (#+ Dependency) ("#\." equivalence)
+ ["#." dependency {"+" [Dependency]} ("#\." equivalence)
["#/." status]]
["#." pom]
- ["#." artifact (#+ Artifact)
+ ["#." artifact {"+" [Artifact]}
["#/." type]
["#/." extension]]
- ["#." repository (#+ Mock)
+ ["#." repository {"+" [Mock]}
["#/." origin]]]]])
(def: random
diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux
index aad21027d..65bd7161e 100644
--- a/stdlib/source/test/aedifex/dependency/status.lux
+++ b/stdlib/source/test/aedifex/dependency/status.lux
@@ -1,21 +1,21 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[data
- ["." binary #_
+ ["." binary "_"
["#T" \\test]]]
[math
- ["." random (#+ Random) ("#\." monad)]]]]
- ["$." /// #_
+ ["." random {"+" [Random]} ("#\." monad)]]]]
+ ["$." /// "_"
["#." hash]]
[\\program
["." /
- ["//#" /// #_
+ ["//#" /// "_"
["#." hash]]]])
(def: .public random
diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux
index 46eab9c88..45e693c07 100644
--- a/stdlib/source/test/aedifex/hash.lux
+++ b/stdlib/source/test/aedifex/hash.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." codec]]]
@@ -11,11 +11,11 @@
["." try]
["." exception]]
[data
- ["." binary (#+ Binary)]
+ ["." binary {"+" [Binary]}]
[text
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\program
diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux
index 905075adc..39dec3ced 100644
--- a/stdlib/source/test/aedifex/input.lux
+++ b/stdlib/source/test/aedifex/input.lux
@@ -1,20 +1,20 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
- ["." try (#+ Try)]
+ ["." try {"+" [Try]}]
[concurrency
- ["." async (#+ Async)]]]
+ ["." async {"+" [Async]}]]]
[data
[text
["%" format]
[encoding
["." utf8]]]
[collection
- ["." set (#+ Set)]]]
+ ["." set {"+" [Set]}]]]
[math
["." random]]
[world
@@ -23,13 +23,13 @@
["$." profile]]
[\\program
["." /
- ["/#" // #_
- ["#" profile (#+ Profile)]
+ ["/#" // "_"
+ ["#" profile {"+" [Profile]}]
["#." project]
["#." action]
["#." 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 a8c0702bb..33c27fba7 100644
--- a/stdlib/source/test/aedifex/local.lux
+++ b/stdlib/source/test/aedifex/local.lux
@@ -1,18 +1,18 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[data
["." text]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[//
["@." artifact]]
[\\program
["." /
- ["/#" // #_
+ ["/#" // "_"
["#." artifact]]]])
(def: .public test
diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux
index a19f6dfa7..ad9460154 100644
--- a/stdlib/source/test/aedifex/metadata.lux
+++ b/stdlib/source/test/aedifex/metadata.lux
@@ -1,14 +1,14 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[data
["." text ("#\." equivalence)]]
[math
["." random]]]]
- ["." / #_
+ ["." / "_"
["#." artifact]
["#." snapshot]
[//
diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux
index e5e903e65..1d6aae530 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -21,7 +21,7 @@
[macro
["." code]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]
["." time
@@ -36,9 +36,9 @@
[\\program
["." /
["/#" //
- ["/#" // #_
+ ["/#" // "_"
["#." artifact]
- ["#." repository #_
+ ["#." repository "_"
["#/." local]]]]]])
(def: .public random
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index 5308c10ca..a8d518aac 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -21,32 +21,32 @@
[macro
["." code]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
[number
["n" nat]]]
["." time
["." date]
["." year]
["." month]
- ["." instant (#+ Instant)]
+ ["." instant {"+" [Instant]}]
["." duration]]
[world
["." file]
["." program]]]]
- ["$." /// #_
+ ["$." /// "_"
["#." artifact
["#/." type]
["#/." time]
- ["#/." snapshot #_
+ ["#/." snapshot "_"
["#/." version]]]]
[\\program
["." /
["/#" //
- ["/#" // #_
+ ["/#" // "_"
[artifact
- [versioning (#+ Versioning)]
+ [versioning {"+" [Versioning]}]
["#." snapshot]]
- ["#." repository #_
+ ["#." repository "_"
["#/." local]]]]]])
(def: random_instant
diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux
index 7b2ac3865..8bd1d6fde 100644
--- a/stdlib/source/test/aedifex/package.lux
+++ b/stdlib/source/test/aedifex/package.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -14,11 +14,11 @@
[encoding
["." utf8]]]
[format
- ["." xml (#+ XML)]]
+ ["." xml {"+" [XML]}]]
[collection
- ["." set (#+ Set)]]]
+ ["." set {"+" [Set]}]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]
[world
@@ -31,7 +31,7 @@
["$." binary]]]]]
[\\program
["." /
- ["/#" // #_
+ ["/#" // "_"
["#" profile]
["#." hash ("#\." equivalence)]
["#." pom]
diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux
index be05cdda9..7d15e6dda 100644
--- a/stdlib/source/test/aedifex/parser.lux
+++ b/stdlib/source/test/aedifex/parser.lux
@@ -1,23 +1,23 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
- [hash (#+ Hash)]]
+ [monad {"+" [do]}]
+ [hash {"+" [Hash]}]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." try]
[parser
["<.>" code]]]
[data
["." text]
[collection
- ["." set (#+ Set)]
- ["." dictionary (#+ Dictionary)]
+ ["." set {"+" [Set]}]
+ ["." dictionary {"+" [Dictionary]}]
["." list ("#\." functor)]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]
[macro
@@ -26,11 +26,11 @@
["@." profile]]
[\\program
["." /
- ["/#" // #_
+ ["/#" // "_"
["#" profile]
- ["#." project (#+ Project)]
- ["#." artifact (#+ Artifact)]
- ["#." dependency (#+ Dependency)]
+ ["#." project {"+" [Project]}]
+ ["#." artifact {"+" [Artifact]}]
+ ["#." dependency {"+" [Dependency]}]
["#." format]]]])
(def: name
diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux
index e413b69ed..f53bb2404 100644
--- a/stdlib/source/test/aedifex/pom.lux
+++ b/stdlib/source/test/aedifex/pom.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try]
["." exception]
@@ -19,7 +19,7 @@
["@." profile]]
[\\program
["." /
- ["/#" // #_
+ ["/#" // "_"
["#" profile]]]])
(def: .public test
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index 39aaa4fa3..48f28903e 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -1,25 +1,25 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
- [hash (#+ Hash)]
+ [monad {"+" [do]}]
+ [hash {"+" [Hash]}]
[\\specification
["$." equivalence]
["$." monoid]]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." try]
[parser
["." cli]]]
[data
["." text ("#\." equivalence)]
[collection
- ["." set (#+ Set)]
- ["." dictionary (#+ Dictionary)]]]
+ ["." set {"+" [Set]}]
+ ["." dictionary {"+" [Dictionary]}]]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
[number
["n" nat]]]]]
[//
@@ -27,12 +27,12 @@
["@." dependency]]
[\\program
["." /
- ["/#" // #_
+ ["/#" // "_"
["#." runtime]
- ["#." dependency (#+ Dependency)]
+ ["#." dependency {"+" [Dependency]}]
["#." 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 c11444355..2e7eab542 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." monoid]]]
@@ -14,14 +14,14 @@
["." product]
["." text ("#\." equivalence)]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
[number
["n" nat]]]]]
[//
["@." profile]]
[\\program
["." /
- ["/#" // #_
+ ["/#" // "_"
["#" profile]]]])
(def: profile
diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux
index 8e8b4c945..9412b5fd5 100644
--- a/stdlib/source/test/aedifex/repository.lux
+++ b/stdlib/source/test/aedifex/repository.lux
@@ -1,28 +1,28 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [equivalence (#+ Equivalence)]
- [hash (#+ Hash)]
- ["." monad (#+ do)]]
+ [equivalence {"+" [Equivalence]}]
+ [hash {"+" [Hash]}]
+ ["." monad {"+" [do]}]]
[control
["." io]
["." try]
- ["." exception (#+ exception:)]]
+ ["." exception {"+" [exception:]}]]
[data
["." product]
- ["." binary (#+ Binary)]
+ ["." binary {"+" [Binary]}]
["." text
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
- ["." dictionary (#+ Dictionary)]]]
+ ["." dictionary {"+" [Dictionary]}]]]
[math
- ["." random (#+ Random)]]
+ ["." random {"+" [Random]}]]
[world
[net
- ["." uri (#+ URI)]]]]]
- ["." / #_
+ ["." uri {"+" [URI]}]]]]]
+ ["." / "_"
["#." identity]
["#." origin]
["#." local]
@@ -34,9 +34,9 @@
[\\program
["." /
["." remote]
- ["/#" // #_
- ["#." artifact (#+ Version Artifact)
- ["#/." extension (#+ Extension)]]]]])
+ ["/#" // "_"
+ ["#." artifact {"+" [Version Artifact]}
+ ["#/." 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 6158d2397..045136c43 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
[\\specification
["$." equivalence]]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\program
["." /]])
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index 34ae887d7..eb7b9777d 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try ("#\." functor)]
[parser
diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux
index 80c2946bc..6567471a1 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
[\\specification
["$." equivalence]]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\program
["." /]])
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index 3218f15cd..a38e68104 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
- ["." io (#+ IO)]
+ ["." io {"+" [IO]}]
["." maybe ("#\." functor)]
["." try ("#\." monad)]
["." exception]
@@ -13,22 +13,22 @@
[data
["." binary ("#\." equivalence)]
["." text ("#\." equivalence)
- ["%" format (#+ format)]
+ ["%" format {"+" [format]}]
[encoding
["." utf8]]]
[collection
["." dictionary]]]
[math
- ["." random (#+ Random)]]
+ ["." random {"+" [Random]}]]
[world
- [net (#+ URL)
- ["." http #_
+ [net {"+" [URL]}
+ ["." http "_"
["#" client]
["#/." status]
["@#" /]]]]]]
[\\program
["." /
- ["/#" // #_
+ ["/#" // "_"
["#." identity]]]])
(def: (url_body url)
diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux
index d4f116242..4653f7c11 100644
--- a/stdlib/source/test/aedifex/runtime.lux
+++ b/stdlib/source/test/aedifex/runtime.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -14,7 +14,7 @@
["." list ("#\." functor)]
["." set]]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
[number
["n" nat]]]]]
[\\program
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index bdc83f437..25e19caa8 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -4,38 +4,38 @@
<target> <target>']
(.module:
[library
- ["/" lux #*
- [program (#+ program:)]
- ["_" test (#+ Test)]
+ ["/" lux "*"
+ [program {"+" [program:]}]
+ ["_" test {"+" [Test]}]
["@" target]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." io]
["." maybe ("#\." functor)]
[concurrency
- ["." atom (#+ Atom)]]
+ ["." atom {"+" [Atom]}]]
[parser
["<.>" code]]]
[data
["." product]
["." bit ("#\." equivalence)]
["." text ("#\." equivalence)
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
["." list ("#\." functor)]
- ["." set (#+ Set) ("#\." equivalence)]
+ ["." set {"+" [Set]} ("#\." equivalence)]
[dictionary
["." plist]]]]
["." macro
- [syntax (#+ syntax:)]
+ [syntax {"+" [syntax:]}]
["." code ("#\." equivalence)]
["." template]]
["." math
["." random ("#\." functor)]
[number
- [i8 (#+)]
- [i16 (#+)]
+ [i8 {"+" []}]
+ [i16 {"+" []}]
["n" nat]
["i" int]
["r" rev]
@@ -44,7 +44,7 @@
["." meta
["." location ("#\." equivalence)]]]]
... TODO: Must have 100% coverage on tests.
- ["." / #_
+ ["." / "_"
["#." abstract]
["#." control]
["#." data]
@@ -65,7 +65,7 @@
["#." world]
["#." ffi]
["#." extension]
- ["#." target #_
+ ["#." target "_"
<target>]]))
... TODO: Get rid of this ASAP
diff --git a/stdlib/source/test/lux/abstract.lux b/stdlib/source/test/lux/abstract.lux
index d65330a22..b3d642001 100644
--- a/stdlib/source/test/lux/abstract.lux
+++ b/stdlib/source/test/lux/abstract.lux
@@ -1,8 +1,8 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]]]
- ["." / #_
+ [lux "*"
+ ["_" test {"+" [Test]}]]]
+ ["." / "_"
["#." apply]
["#." codec]
["#." comonad
diff --git a/stdlib/source/test/lux/abstract/apply.lux b/stdlib/source/test/lux/abstract/apply.lux
index 75da1dc47..9eeb5f008 100644
--- a/stdlib/source/test/lux/abstract/apply.lux
+++ b/stdlib/source/test/lux/abstract/apply.lux
@@ -1,8 +1,8 @@
(.module:
[library
- [lux #*
+ [lux "*"
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." maybe]]
[data
@@ -12,9 +12,9 @@
["." random]
[number
["n" nat]]]
- ["_" test (#+ Test)]]]
+ ["_" test {"+" [Test]}]]]
[\\library
- ["." / (#+ Apply)]])
+ ["." / {"+" [Apply]}]])
(def: .public test
Test
diff --git a/stdlib/source/test/lux/abstract/codec.lux b/stdlib/source/test/lux/abstract/codec.lux
index 32668c30f..53fc7a327 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try]]
[data
["." bit ("#\." equivalence)]
[format
- ["." json (#+ JSON)]]]
+ ["." json {"+" [JSON]}]]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\library
- ["." / (#+ Codec)
+ ["." / {"+" [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 05067e786..66c97e94a 100644
--- a/stdlib/source/test/lux/abstract/comonad.lux
+++ b/stdlib/source/test/lux/abstract/comonad.lux
@@ -1,15 +1,15 @@
(.module:
[library
- [lux #*
+ [lux "*"
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[data
- ["." identity (#+ Identity)]]
+ ["." identity {"+" [Identity]}]]
[math
["." random]
[number
["n" nat]]]
- ["_" test (#+ Test)]]]
+ ["_" test {"+" [Test]}]]]
[\\library
["." /]])
diff --git a/stdlib/source/test/lux/abstract/comonad/cofree.lux b/stdlib/source/test/lux/abstract/comonad/cofree.lux
index 226b152bc..b4d530273 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [functor (#+ Functor)]
- [comonad (#+ CoMonad)]
+ [functor {"+" [Functor]}]
+ [comonad {"+" [CoMonad]}]
[\\specification
- ["$." functor (#+ Injection Comparison)]
+ ["$." functor {"+" [Injection Comparison]}]
["$." comonad]]]
[control
["//" continuation]]
[data
[collection
["." list]
- ["." sequence (#+ Sequence) ("#\." comonad)]]]
+ ["." sequence {"+" [Sequence]} ("#\." comonad)]]]
[math
["." random]]]]
[\\library
diff --git a/stdlib/source/test/lux/abstract/enum.lux b/stdlib/source/test/lux/abstract/enum.lux
index afb40be03..3b1fc2483 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." maybe ("#\." functor)]]
[data
@@ -11,7 +11,7 @@
[collection
["." list ("#\." mix)]]]
[math
- ["." random (#+ Random)]
+ ["." 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 89fa542a1..e2165cd9e 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
[functor
["$." contravariant]]]]
[data
["." bit ("#\." equivalence)]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]
["i" int]]]]]
[\\library
- ["." / (#+ Equivalence)]])
+ ["." / {"+" [Equivalence]}]])
(def: .public test
Test
diff --git a/stdlib/source/test/lux/abstract/functor.lux b/stdlib/source/test/lux/abstract/functor.lux
index c2d48f298..d2aa86a6f 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." maybe]]
[data
@@ -14,7 +14,7 @@
[number
["n" nat]]]]]
[\\library
- ["." / (#+ Functor)]])
+ ["." / {"+" [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 26d7032a2..c36043918 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)]]]
+ [lux "*"
+ ["_" test {"+" [Test]}]]]
[\\library
["." /]])
diff --git a/stdlib/source/test/lux/abstract/hash.lux b/stdlib/source/test/lux/abstract/hash.lux
index 4d5fa9eaf..27e06e7f8 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
[functor
["$." contravariant]]]]
@@ -14,9 +14,9 @@
[number
["." nat]]]]]
[\\library
- ["." / (#+ Hash)
+ ["." / {"+" [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 6be3c331b..d38bcac05 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
["." order]
[\\specification
["$." equivalence]]]
[control
- [pipe (#+ case>)]]
+ [pipe {"+" [case>]}]]
[data
[collection
["." set]
["." list]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
- ["." / (#+ Interval) ("\." equivalence)]])
+ ["." / {"+" [Interval]} ("\." 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 a93f24cc9..f4236cfd7 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[data
[collection
["." list]]]
@@ -12,7 +12,7 @@
[number
["n" nat]]]]]
[\\library
- ["." / (#+ Mix)]])
+ ["." / {"+" [Mix]}]])
(def: .public test
Test
diff --git a/stdlib/source/test/lux/abstract/monad.lux b/stdlib/source/test/lux/abstract/monad.lux
index db0829989..2ad25583e 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[data
- ["." identity (#+ Identity)]
+ ["." identity {"+" [Identity]}]
[collection
["." list ("#\." functor mix)]]]
[math
@@ -11,7 +11,7 @@
[number
["n" nat]]]]]
[\\library
- ["." / (#+ Monad do)]])
+ ["." / {"+" [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 15c0bd8da..9fa406919 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [functor (#+ Functor)]
- [apply (#+ Apply)]
- [monad (#+ Monad do)]
+ [functor {"+" [Functor]}]
+ [apply {"+" [Apply]}]
+ [monad {"+" [Monad do]}]
[\\specification
- ["$." functor (#+ Injection Comparison)]
+ ["$." functor {"+" [Injection Comparison]}]
["$." apply]
["$." monad]]]
[data
diff --git a/stdlib/source/test/lux/abstract/monoid.lux b/stdlib/source/test/lux/abstract/monoid.lux
index 95d932e81..bfca808a9 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["." nat]
["." int]]]]]
[\\library
["." /
[//
- [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 564b731e8..e81919f19 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
[functor
["$." contravariant]]]]
[data
["." bit ("#\." equivalence)]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
["." /
[//
- [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 098136df4..4f313cd44 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [equivalence (#+ Equivalence)]
- [monad (#+ do)]
+ [equivalence {"+" [Equivalence]}]
+ [monad {"+" [do]}]
[\\specification
["$." monoid]
[functor
@@ -16,7 +16,7 @@
[collection
["." list]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/control.lux b/stdlib/source/test/lux/control.lux
index 1c7f71963..4ed818b2a 100644
--- a/stdlib/source/test/lux/control.lux
+++ b/stdlib/source/test/lux/control.lux
@@ -1,10 +1,10 @@
(.module:
[library
- [lux (#- function)
- ["_" test (#+ Test)]]]
- ["." / #_
+ [lux {"-" [function]}
+ ["_" test {"+" [Test]}]]]
+ ["." / "_"
["#." concatenative]
- ["#." concurrency #_
+ ["#." concurrency "_"
["#/." actor]
["#/." atom]
["#/." frp]
diff --git a/stdlib/source/test/lux/control/concatenative.lux b/stdlib/source/test/lux/control/concatenative.lux
index 97b7a48f6..6ca9ab296 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[data
["." sum]
["." name]
@@ -18,7 +18,7 @@
["r" rev]
["f" frac]]]]]
[\\library
- ["." / (#+ word: => ||>)]])
+ ["." / {"+" [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 ecdeb98dc..d7b0bec38 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
- ["." try (#+ Try)]
- ["." exception (#+ exception:)]
- ["." io (#+ IO io)]]
+ ["." try {"+" [Try]}]
+ ["." exception {"+" [exception:]}]
+ ["." io {"+" [IO io]}]]
[data
[text
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
["." list]
- ["." row (#+ Row)]]]
+ ["." row {"+" [Row]}]]]
[math
["." random]
[number
["n" nat]]]]]
[\\library
- ["." / (#+ actor: message:)
+ ["." / {"+" [actor: message:]}
[//
- ["." atom (#+ Atom)]
- ["." async (#+ Async Resolver) ("#\." monad)]
+ ["." atom {"+" [Atom]}]
+ ["." async {"+" [Async Resolver]} ("#\." monad)]
["." 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 c6a858a5d..5ea37b8be 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["@" target]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
- ["$." functor (#+ Injection Comparison)]
+ ["$." functor {"+" [Injection Comparison]}]
["$." apply]
["$." monad]]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." io]]
[time
["." instant]
@@ -24,7 +24,7 @@
[\\library
["." /
[//
- ["." atom (#+ Atom)]]]])
+ ["." 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 1b0510c45..c20b717e4 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." io]]
[math
diff --git a/stdlib/source/test/lux/control/concurrency/frp.lux b/stdlib/source/test/lux/control/concurrency/frp.lux
index dd018d88e..2d111453c 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
- ["$." functor (#+ Injection Comparison)]
+ ["$." functor {"+" [Injection Comparison]}]
["$." apply]
["$." monad]]]
[control
["." try]
["." exception]
- ["." io (#+ IO io)]]
+ ["." io {"+" [IO io]}]]
[data
[collection
["." list ("#\." mix monoid)]
- ["." row (#+ Row)]]]
+ ["." row {"+" [Row]}]]]
[math
["." random]
[number
@@ -23,8 +23,8 @@
[\\library
["." /
[//
- ["." async (#+ Async) ("#\." monad)]
- ["." atom (#+ Atom atom)]]]])
+ ["." async {"+" [Async]} ("#\." monad)]
+ ["." 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 796a1604e..3ccf611a3 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["@" target]
[abstract
- ["." monad (#+ do)]
+ ["." monad {"+" [do]}]
["." enum]]
[control
["." io]
["." maybe]
["." try]
- ["." exception (#+ exception:)]
+ ["." exception {"+" [exception:]}]
[concurrency
- ["." async (#+ Async)]
- ["." atom (#+ Atom)]]]
+ ["." async {"+" [Async]}]
+ ["." atom {"+" [Atom]}]]]
[data
["." text ("#\." equivalence)
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
["." list ("#\." functor)]]]
[math
diff --git a/stdlib/source/test/lux/control/concurrency/stm.lux b/stdlib/source/test/lux/control/concurrency/stm.lux
index 8d56cbed2..5dee493c0 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- ["." monad (#+ Monad do)]
+ ["." monad {"+" [Monad do]}]
[\\specification
- ["$." functor (#+ Injection Comparison)]
+ ["$." functor {"+" [Injection Comparison]}]
["$." apply]
["$." monad]]]
[control
- ["." io (#+ IO)]]
+ ["." io {"+" [IO]}]]
[data
["." product]
[collection
@@ -21,9 +21,9 @@
[\\library
["." /
[//
- ["." atom (#+ Atom atom)]
+ ["." atom {"+" [Atom atom]}]
["." async]
- ["." frp (#+ Channel)]]]])
+ ["." 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 42c4c2d9f..7d3fa5f26 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." io]]
[time
- ["." instant (#+ Instant)]
+ ["." instant {"+" [Instant]}]
["." duration]]
[math
["." random]
@@ -17,7 +17,7 @@
[\\library
["." /
[//
- ["." atom (#+ Atom)]
+ ["." atom {"+" [Atom]}]
["." async]]]])
(def: .public test
diff --git a/stdlib/source/test/lux/control/continuation.lux b/stdlib/source/test/lux/control/continuation.lux
index e15992e9d..9ad0d8445 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
- ["$." functor (#+ Injection Comparison)]
+ ["$." functor {"+" [Injection Comparison]}]
["$." apply]
["$." monad]]]
[data
diff --git a/stdlib/source/test/lux/control/exception.lux b/stdlib/source/test/lux/control/exception.lux
index aacd0ab5a..6eb5052a7 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[data
["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
[math
["." random]
[number
["n" nat]]]]]
[\\library
- ["." / (#+ exception:)
+ ["." / {"+" [exception:]}
[//
- ["." try (#+ Try)]]]])
+ ["." 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 714d33949..b522b3c67 100644
--- a/stdlib/source/test/lux/control/function.lux
+++ b/stdlib/source/test/lux/control/function.lux
@@ -1,21 +1,21 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [equivalence (#+ Equivalence)]
- [monad (#+ do)]
+ [equivalence {"+" [Equivalence]}]
+ [monad {"+" [do]}]
[\\specification
["$." monoid]]]
[data
["." text ("#!." equivalence)]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
["." /]]
- ["." / #_
+ ["." / "_"
["#." contract]
["#." memo]
["#." mixin]
diff --git a/stdlib/source/test/lux/control/function/contract.lux b/stdlib/source/test/lux/control/function/contract.lux
index 0cc1612d2..c2352cb3d 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try]
["." exception]]
diff --git a/stdlib/source/test/lux/control/function/memo.lux b/stdlib/source/test/lux/control/function/memo.lux
index 1de41d45d..ed8fdf167 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
- ["." io (#+ IO)]
- ["." state (#+ State) ("#\." monad)]]
+ ["." io {"+" [IO]}]
+ ["." state {"+" [State]} ("#\." monad)]]
[data
["." product]
[collection
- ["." dictionary (#+ Dictionary)]
+ ["." dictionary {"+" [Dictionary]}]
["." list ("#\." functor mix)]]]
[math
["." random]
@@ -19,10 +19,10 @@
["." i64]]]
[time
["." instant]
- ["." duration (#+ Duration)]]]]
+ ["." duration {"+" [Duration]}]]]]
[\\library
["." /
- ["/#" // #_
+ ["/#" // "_"
["#" mixin]]]])
(def: (fibonacci recur input)
diff --git a/stdlib/source/test/lux/control/function/mixin.lux b/stdlib/source/test/lux/control/function/mixin.lux
index 51c1157bc..7f6d5d2ca 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [equivalence (#+ Equivalence)]
- [predicate (#+ Predicate)]
- [monad (#+ do)]
+ [equivalence {"+" [Equivalence]}]
+ [predicate {"+" [Predicate]}]
+ [monad {"+" [do]}]
[\\specification
["$." monoid]]]
[control
- ["." state (#+ State)]]
+ ["." state {"+" [State]}]]
[data
["." product]
[collection
["." list ("#\." functor mix)]]]
[math
- ["." random (#+ Random)]
+ ["." 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 2e24285ef..875c7eee5 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[data
["." bit ("#\." equivalence)]
[text
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
[math
- ["." random (#+ Random)]
+ ["." 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 51b5864ae..d5c57766a 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
- ["$." functor (#+ Injection Comparison)]
+ ["$." functor {"+" [Injection Comparison]}]
["$." apply]
["$." monad]]]
[math
@@ -13,7 +13,7 @@
[number
["n" nat]]]]]
[\\library
- ["." / (#+ IO)
+ ["." / {"+" [IO]}
[//
["." function]]]])
diff --git a/stdlib/source/test/lux/control/lazy.lux b/stdlib/source/test/lux/control/lazy.lux
index 31990bc79..1986837c4 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
- ["$." functor (#+ Injection Comparison)]
+ ["$." functor {"+" [Injection Comparison]}]
["$." apply]
["$." monad]
["$." equivalence]]]
[data
["." product]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
- ["." / (#+ Lazy)]])
+ ["." / {"+" [Lazy]}]])
(def: injection
(Injection Lazy)
diff --git a/stdlib/source/test/lux/control/maybe.lux b/stdlib/source/test/lux/control/maybe.lux
index 291d61adf..fc828fd7b 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." hash]
@@ -19,7 +19,7 @@
[collection
["." list]]]
[math
- ["." random (#+ Random)]
+ ["." 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 e20558de9..e62ad68c9 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
- [equivalence (#+ Equivalence)]
+ [monad {"+" [do]}]
+ [equivalence {"+" [Equivalence]}]
[\\specification
- ["$." functor (#+ Injection Comparison)]
+ ["$." functor {"+" [Injection Comparison]}]
["$." apply]
["$." monad]]]
[control
- ["." try (#+ Try)]
+ ["." try {"+" [Try]}]
[parser
["<.>" code]]]
[data
["." text ("#\." equivalence)
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
["." list ("#\." functor)]]]
[math
@@ -23,11 +23,11 @@
[number
["n" nat]]]
[macro
- [syntax (#+ syntax:)]
+ [syntax {"+" [syntax:]}]
["." code]]]]
[\\library
- ["." / (#+ Parser)]]
- ["." / #_
+ ["." / {"+" [Parser]}]]
+ ["." / "_"
["#." analysis]
["#." binary]
["#." cli]
diff --git a/stdlib/source/test/lux/control/parser/analysis.lux b/stdlib/source/test/lux/control/parser/analysis.lux
index 7cce374d0..2dd5dac5d 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." try]
["." exception]
["<>" parser]]
@@ -16,7 +16,7 @@
[collection
["." list]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]
["i" int]
@@ -24,8 +24,8 @@
["r" rev]]]
[tool
[compiler
- [reference (#+ Constant)
- [variable (#+)]]
+ [reference {"+" [Constant]}
+ [variable {"+" []}]]
[language
[lux
["." analysis]]]]]]]
diff --git a/stdlib/source/test/lux/control/parser/binary.lux b/stdlib/source/test/lux/control/parser/binary.lux
index cdb9a1572..38a89eed6 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]}]
["." type]
[abstract
- [equivalence (#+ Equivalence)]
- [predicate (#+ Predicate)]
- [monad (#+ do)]]
+ [equivalence {"+" [Equivalence]}]
+ [predicate {"+" [Predicate]}]
+ [monad {"+" [do]}]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." maybe]
["." try]
["." exception]
@@ -19,10 +19,10 @@
["." bit]
["." name]
["." text ("#\." equivalence)
- ["%" format (#+ format)]
+ ["%" format {"+" [format]}]
[encoding
["." utf8]]]
- ["." format #_
+ ["." format "_"
["#" binary]]
[collection
["." list]
@@ -31,7 +31,7 @@
[macro
["." code]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]
["." i64]
diff --git a/stdlib/source/test/lux/control/parser/cli.lux b/stdlib/source/test/lux/control/parser/cli.lux
index a70abb3b4..df24f43ed 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try]
["<>" parser]]
diff --git a/stdlib/source/test/lux/control/parser/code.lux b/stdlib/source/test/lux/control/parser/code.lux
index 2ade93b12..a30535def 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." function]
["." try]
@@ -17,7 +17,7 @@
[macro
["." code]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["." nat]
["." int]
diff --git a/stdlib/source/test/lux/control/parser/environment.lux b/stdlib/source/test/lux/control/parser/environment.lux
index a1652a95f..fd9526160 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try]
["." exception]]
diff --git a/stdlib/source/test/lux/control/parser/json.lux b/stdlib/source/test/lux/control/parser/json.lux
index 043f00979..6710713bd 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." maybe]
["." try]
["." exception]
@@ -17,11 +17,11 @@
["." list ("#\." functor)]
["." set]
["." dictionary]
- ["." row (#+ row) ("#\." functor)]]
+ ["." row {"+" [row]} ("#\." functor)]]
[format
["." json]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]
["." frac]]]]]
diff --git a/stdlib/source/test/lux/control/parser/synthesis.lux b/stdlib/source/test/lux/control/parser/synthesis.lux
index 82b851696..e47523481 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- ["." monad (#+ do)]]
+ ["." monad {"+" [do]}]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["<>" parser]
["." try]
["." exception]]
@@ -16,19 +16,19 @@
[collection
["." list ("#\." functor)]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]
["." i64]
["." frac]]]
[tool
[compiler
- [reference (#+)
- ["." variable (#+ Variable)]]
+ [reference {"+" []}
+ ["." variable {"+" [Variable]}]]
[language
[lux
- [analysis (#+ Environment)]
- ["." synthesis (#+ Synthesis)]]]]]]]
+ [analysis {"+" [Environment]}]
+ ["." synthesis {"+" [Synthesis]}]]]]]]]
[\\library
["." /]])
diff --git a/stdlib/source/test/lux/control/parser/text.lux b/stdlib/source/test/lux/control/parser/text.lux
index 23d9dc897..c3155c182 100644
--- a/stdlib/source/test/lux/control/parser/text.lux
+++ b/stdlib/source/test/lux/control/parser/text.lux
@@ -1,18 +1,18 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." maybe]
- ["." try (#+ Try)]
- ["." exception (#+ Exception)]
+ ["." try {"+" [Try]}]
+ ["." exception {"+" [Exception]}]
["." function]]
[data
["." text ("#\." equivalence)
- ["%" format (#+ format)]
- ["." unicode #_
+ ["%" format {"+" [format]}]
+ ["." unicode "_"
["#" set]
["#/." block]]]
[collection
@@ -22,7 +22,7 @@
["." finger]]]]
[math
["." random]
- [number (#+ hex)
+ [number {"+" [hex]}
["n" nat]]]
[macro
["." code]]]]
diff --git a/stdlib/source/test/lux/control/parser/tree.lux b/stdlib/source/test/lux/control/parser/tree.lux
index 996a16aa2..4c13753c8 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try]
["." exception]]
diff --git a/stdlib/source/test/lux/control/parser/type.lux b/stdlib/source/test/lux/control/parser/type.lux
index fd1706b0f..7d7d57b0c 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
["." try]
["." exception]]
@@ -12,7 +12,7 @@
[collection
["." list]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]
["." type ("#\." equivalence)]]]
diff --git a/stdlib/source/test/lux/control/parser/xml.lux b/stdlib/source/test/lux/control/parser/xml.lux
index ffc96e172..82e9a8a1b 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["." type ("#\." equivalence)]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try ("#\." functor)]
["." exception]]
@@ -19,7 +19,7 @@
[macro
["." template]]
[math
- ["." random (#+ Random)]
+ ["." 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 3ef82e309..baa9d51c5 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["." debug]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[data
["." identity]
["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
[math
["." random]
[number
diff --git a/stdlib/source/test/lux/control/reader.lux b/stdlib/source/test/lux/control/reader.lux
index 14b307b94..21818e60e 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
- ["$." functor (#+ Injection Comparison)]
+ ["$." functor {"+" [Injection Comparison]}]
["$." apply]
["$." monad]]]
[math
@@ -13,9 +13,9 @@
[number
["n" nat]]]]]
[\\library
- ["." / (#+ Reader)
+ ["." / {"+" [Reader]}
[//
- ["." io (#+ IO)]]]])
+ ["." 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 b6036672b..1a2491a56 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)]
+ [lux "*"
+ [type {"+" [:sharing]}]
+ ["_" test {"+" [Test]}]
[abstract
- [equivalence (#+ Equivalence)]
- [functor (#+ Functor)]
- [apply (#+ Apply)]
- ["." monad (#+ Monad do)]
+ [equivalence {"+" [Equivalence]}]
+ [functor {"+" [Functor]}]
+ [apply {"+" [Apply]}]
+ ["." monad {"+" [Monad do]}]
["." enum]
[\\specification
- ["$." functor (#+ Injection Comparison)]
+ ["$." functor {"+" [Injection Comparison]}]
["$." apply]
["$." monad]]]
[control
- ["." try (#+ Try)]]
+ ["." try {"+" [Try]}]]
[data
[collection
["." list]]]
@@ -23,10 +23,10 @@
[number
["n" nat]]]]]
[\\library
- ["." / (#+ Region)
+ ["." / {"+" [Region]}
[//
- ["." thread (#+ Thread)]
- ["." exception (#+ Exception exception:)]]]])
+ ["." thread {"+" [Thread]}]
+ ["." exception {"+" [Exception exception:]}]]]])
(exception: oops)
diff --git a/stdlib/source/test/lux/control/remember.lux b/stdlib/source/test/lux/control/remember.lux
index 07db4bf9a..a2ebf0aa7 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["." meta]
[abstract
- ["." monad (#+ do)]]
+ ["." monad {"+" [do]}]]
[control
["." io]
- ["." try (#+ Try)]
+ ["." try {"+" [Try]}]
["." exception]
[parser
["<.>" code]]]
[data
["." product]
["." text
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
[math
- [number (#+ hex)]
- ["." random (#+ Random) ("#\." monad)]]
+ [number {"+" [hex]}]
+ ["." random {"+" [Random]} ("#\." monad)]]
[time
- ["." date (#+ Date)]
+ ["." date {"+" [Date]}]
["." instant]
["." duration]]
["." macro
["." code]
- ["." syntax (#+ syntax:)]]]]
+ ["." syntax {"+" [syntax:]}]]]]
[\\library
["." /]])
diff --git a/stdlib/source/test/lux/control/security/capability.lux b/stdlib/source/test/lux/control/security/capability.lux
index 801dc3014..668f742d7 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
- ["." io (#+ IO)]
+ ["." io {"+" [IO]}]
[concurrency
["." async]]]
[math
diff --git a/stdlib/source/test/lux/control/security/policy.lux b/stdlib/source/test/lux/control/security/policy.lux
index ba2e62ed5..c8fdeac47 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [hash (#+ Hash)]
- [monad (#+ do)]
+ [hash {"+" [Hash]}]
+ [monad {"+" [do]}]
[\\specification
- ["$." functor (#+ Injection Comparison)]
+ ["$." functor {"+" [Injection Comparison]}]
["$." apply]
["$." monad]]]
[data
@@ -16,7 +16,7 @@
[number
["n" nat]]]]]
[\\library
- ["." / (#+ Context Privacy Can_Conceal Can_Reveal Privilege Private)]])
+ ["." / {"+" [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 74c4ca33f..ecc2ee1b4 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
- ["$." functor (#+ Injection Comparison)]
+ ["$." functor {"+" [Injection Comparison]}]
["$." apply]
["$." monad]]]
[control
- [pipe (#+ let>)]
+ [pipe {"+" [let>]}]
["." io]]
[data
["." product]]
@@ -18,7 +18,7 @@
[number
["n" nat]]]]]
[\\library
- ["." / (#+ State)]])
+ ["." / {"+" [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 5976ebded..7fea9aa31 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
- ["$." functor (#+ Injection Comparison)]
+ ["$." functor {"+" [Injection Comparison]}]
["$." apply]
["$." monad]]]
[math
@@ -13,7 +13,7 @@
[number
["n" nat]]]]]
[\\library
- ["." / (#+ Thread)
+ ["." / {"+" [Thread]}
[//
["." io]]]])
diff --git a/stdlib/source/test/lux/control/try.lux b/stdlib/source/test/lux/control/try.lux
index 1638e2351..8c954da6f 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
- ["$." functor (#+ Injection Comparison)]
+ ["$." functor {"+" [Injection Comparison]}]
["$." apply]
["$." monad]
["$." equivalence]]]
@@ -15,11 +15,11 @@
[data
["." text ("#\." equivalence)]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
- ["." / (#+ Try)]])
+ ["." / {"+" [Try]}]])
(def: injection
(Injection Try)
diff --git a/stdlib/source/test/lux/control/writer.lux b/stdlib/source/test/lux/control/writer.lux
index 27a7f32b7..6e4decb75 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [equivalence (#+ Equivalence)]
- [monoid (#+ Monoid)]
- [monad (#+ do)]
+ [equivalence {"+" [Equivalence]}]
+ [monoid {"+" [Monoid]}]
+ [monad {"+" [do]}]
[\\specification
- ["$." functor (#+ Injection Comparison)]
+ ["$." functor {"+" [Injection Comparison]}]
["$." apply]
["$." monad]]]
[control
@@ -20,7 +20,7 @@
[number
["n" nat]]]]]
[\\library
- ["." / (#+ Writer)]])
+ ["." / {"+" [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 71fb38097..5750b29f2 100644
--- a/stdlib/source/test/lux/data.lux
+++ b/stdlib/source/test/lux/data.lux
@@ -1,12 +1,12 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[math
["." random]]]]
- ["." / #_
+ ["." / "_"
["#." binary]
["#." bit]
["#." color
@@ -16,7 +16,7 @@
["#." product]
["#." sum]
["#." text]
- ["#." format #_
+ ["#." format "_"
["#/." binary]
["#/." json]
["#/." tar]
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux
index 9ab46a991..cc168c8a5 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- ["." monad (#+ do)]
+ ["." monad {"+" [do]}]
["." enum]
[\\specification
["$." equivalence]
["$." monoid]]]
[control
- ["." try (#+ Try)]
- ["." exception (#+ Exception)]]
+ ["." try {"+" [Try]}]
+ ["." exception {"+" [Exception]}]]
[data
[collection
["." list]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["." i64]
["n" nat]]]]]
[\\library
- ["." / (#+ Binary)]])
+ ["." / {"+" [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 58fe69ca7..11ecc92c3 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." hash]
diff --git a/stdlib/source/test/lux/data/collection.lux b/stdlib/source/test/lux/data/collection.lux
index 0c1e1932f..5f8047ac4 100644
--- a/stdlib/source/test/lux/data/collection.lux
+++ b/stdlib/source/test/lux/data/collection.lux
@@ -1,8 +1,8 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]]]
- ["." / #_
+ [lux "*"
+ ["_" test {"+" [Test]}]]]
+ ["." / "_"
["#." array]
["#." bits]
["#." list]
diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux
index 08064ff74..d2d44d635 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." monoid]
["$." mix]
- ["$." functor (#+ Injection)]]]
+ ["$." functor {"+" [Injection]}]]]
[control
["." maybe]]
[data
@@ -17,11 +17,11 @@
["." list]
["." set]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
- ["." / (#+ Array)]])
+ ["." / {"+" [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 3d28272fb..d3d7d1d05 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
["." predicate]
[\\specification
["$." equivalence]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
- ["." / (#+ Bits)]])
+ ["." / {"+" [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 60312b812..4004b8ca9 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [hash (#+ Hash)]
- [monad (#+ do)]
+ [hash {"+" [Hash]}]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
- ["$." functor (#+ Injection)]]]
+ ["$." functor {"+" [Injection]}]]]
[control
["." maybe ("#\." functor)]
["." try]
diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
index f409a55d9..78d0afcc1 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
- [equivalence (#+ Equivalence)]
- [order (#+ Order)]
+ [monad {"+" [do]}]
+ [equivalence {"+" [Equivalence]}]
+ [order {"+" [Order]}]
[\\specification
["$." equivalence]]]
[control
@@ -17,7 +17,7 @@
["." set]
["." list ("#\." functor)]]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." 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 a4ca3d573..18ca96820 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -15,7 +15,7 @@
["." set]
["." list]]]
[math
- ["." random (#+ Random)]
+ ["." 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 1f6749dc3..ab2809406 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
["." enum]
[\\specification
["$." equivalence]
@@ -25,7 +25,7 @@
[collection
["." set]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]
["." int]]]]]
diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux
index 064f1891e..52de12d28 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
- ["$." functor (#+ Injection)]]]
+ ["$." functor {"+" [Injection]}]]]
[data
["." bit ("#\." 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 da99e408d..7b1335d77 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- ["." monad (#+ do)]]
+ ["." monad {"+" [do]}]]
[control
["." maybe ("#\." functor)]]
[data
["." bit ("#\." equivalence)]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
- ["." / (#+ Queue)]])
+ ["." / {"+" [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 168fd9397..ca06073df 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." monoid]
["$." mix]
- ["$." functor (#+ Injection)]
+ ["$." functor {"+" [Injection]}]
["$." apply]
["$." monad]]]
[control
- ["." try (#+ Try)]
+ ["." try {"+" [Try]}]
["." exception]]
[data
["." bit ("#\." equivalence)]
diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux
index 4c349854b..f3a3f604c 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
- [equivalence (#+ Equivalence)]
+ [monad {"+" [do]}]
+ [equivalence {"+" [Equivalence]}]
["." enum]
[\\specification
["$." functor]
["$." comonad]]]
[data
["." text
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
["." list ("#\." functor)]]]
[math
diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux
index 2ed9fb511..c425492d8 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [hash (#+ Hash)]
- [monad (#+ do)]
+ [hash {"+" [Hash]}]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." hash]
@@ -14,7 +14,7 @@
[collection
["." list]]]
[math
- ["." random (#+ Random)]
+ ["." 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 6b03b9416..1037b0ed6 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [hash (#+ Hash)]
- [monad (#+ do)]
+ [hash {"+" [Hash]}]
+ [monad {"+" [do]}]
["." predicate]
[\\specification
["$." equivalence]
@@ -15,7 +15,7 @@
["." set]
["." list ("#\." mix)]]]
[math
- ["." random (#+ Random)]
+ ["." 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 a9b171d11..2b3074039 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
- [order (#+ Order)]
+ [monad {"+" [do]}]
+ [order {"+" [Order]}]
[\\specification
["$." equivalence]]]
[data
@@ -12,11 +12,11 @@
[collection
["." list]]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
[number
["n" nat]]]]]
[\\library
- ["." / (#+ Set)
+ ["." / {"+" [Set]}
["." //]]])
(def: size
diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux
index a6aa8c1dc..4fca1cb85 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
- ["$." functor (#+ Injection)]]]
+ ["$." functor {"+" [Injection]}]]]
[control
["." maybe]]
[data
diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux
index 826e2500d..66607cc37 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- ["." monad (#+ do)]
+ ["." monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." mix]
@@ -13,11 +13,11 @@
[collection
["." list ("#\." functor mix)]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
- ["." / (#+ Tree)]])
+ ["." / {"+" [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 5ec0569bb..754d1b20b 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." maybe ("#\." functor)]]
[data
@@ -14,7 +14,7 @@
["." random]
[number
["n" nat]]]
- [type (#+ :by_example)]]]
+ [type {"+" [:by_example]}]]]
[\\library
["." /]])
diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux
index d134be2ca..8e3d064bc 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." functor]
@@ -22,7 +22,7 @@
["n" nat]]]]]
["." //]
[\\library
- ["." / (#+ Zipper)
+ ["." / {"+" [Zipper]}
["tree" //]]])
(def: move
diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux
index 2665beb41..25d103c12 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." hash]
@@ -14,7 +14,7 @@
[macro
["." template]]
["." math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]
["." int]
diff --git a/stdlib/source/test/lux/data/color/named.lux b/stdlib/source/test/lux/data/color/named.lux
index 4e400e99c..c907a5cae 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[data
[collection
["." list]
@@ -11,7 +11,7 @@
[macro
["." template]]
[math
- ["." random (#+ Random)]
+ ["." 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 842186da7..6b0242605 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [equivalence (#+ Equivalence)]
- [monad (#+ do)]
+ [equivalence {"+" [Equivalence]}]
+ [monad {"+" [do]}]
[\\specification
["$." monoid]]]
[data
["." binary ("#\." equivalence)]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\library
["." /]])
diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux
index 9b885e9de..1da99c230 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["." meta]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." codec]]]
@@ -14,22 +14,22 @@
["." product]
["." bit]
["." text
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
["." row]
["." dictionary]
["." set]
["." list ("#\." functor)]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]
["." frac]]]
["." macro
- ["." syntax (#+ syntax:)]
+ ["." syntax {"+" [syntax:]}]
["." code]]]]
[\\library
- ["." / (#+ JSON) ("\." equivalence)]])
+ ["." / {"+" [JSON]} ("\." 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 a3fa4fa3f..2550c8836 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." maybe]
["." try]
@@ -14,22 +14,22 @@
["." product]
["." binary ("#\." equivalence monoid)]
["." text ("#\." equivalence)
- ["%" format (#+ format)]
+ ["%" format {"+" [format]}]
[encoding
["." utf8]]
- ["." unicode #_
+ ["." unicode "_"
["#" set]
["#/." block]]]
[collection
["." row]
["." list ("#\." mix)]]
- ["." format #_
+ ["." format "_"
["#" binary]]]
[time
- ["." instant (#+ Instant)]
+ ["." instant {"+" [Instant]}]
["." duration]]
[math
- ["." random (#+ Random)]
+ ["." 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 0d9f9ead4..8ef920a57 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
["$." equivalence]
["$." codec]]]
@@ -16,16 +16,16 @@
[data
["." name]
["." text ("#\." equivalence)
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
["." dictionary]
["." list ("#\." functor)]]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
[number
["n" nat]]]]]
[\\library
- ["." / (#+ XML)]])
+ ["." / {"+" [XML]}]])
(def: char_range
Text
diff --git a/stdlib/source/test/lux/data/identity.lux b/stdlib/source/test/lux/data/identity.lux
index f9a4e3a76..39b385da3 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
- ["$." functor (#+ Injection Comparison)]
+ ["$." functor {"+" [Injection Comparison]}]
["$." apply]
["$." monad]
["$." comonad]]]]]
[\\library
- ["." / (#+ Identity)]])
+ ["." / {"+" [Identity]}]])
(def: injection
(Injection Identity)
diff --git a/stdlib/source/test/lux/data/name.lux b/stdlib/source/test/lux/data/name.lux
index ef4057d1c..538645e61 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." hash]
@@ -14,7 +14,7 @@
[data
["." text ("#\." equivalence)]]
[math
- ["." random (#+ Random)]
+ ["." 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 b779678af..636ac785a 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[math
diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux
index 44588b3b6..8fd3fa194 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux
index aa30ee356..509cb5769 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
["$." equivalence]
["$." hash]
@@ -20,13 +20,13 @@
["." random]
[number
["n" nat]]]]]
- ["." / #_
+ ["." / "_"
["#." buffer]
["#." encoding]
["#." format]
["#." regex]
["#." escape]
- ["#." unicode #_
+ ["#." unicode "_"
["#" set]]]
[\\library
["." /]])
diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux
index aa88a2ac3..28e82be88 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[data
["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
[math
- ["." random (#+ Random)]
+ ["." 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 c17b7ce36..8ebeb97f6 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." codec]]]
[control
@@ -17,12 +17,12 @@
[macro
["." template]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
["." /]]
- ["." / #_
+ ["." / "_"
["#." utf8]])
(with_expansions [<encodings> (as_is [all/a
diff --git a/stdlib/source/test/lux/data/text/encoding/utf8.lux b/stdlib/source/test/lux/data/text/encoding/utf8.lux
index ef75a174a..b046a0dff 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
[\\specification
["$." codec]]]
[data
["." text]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\library
["." /]])
diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux
index 855064059..18c60e2f3 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["." debug]
["." meta]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try]
["." exception]
@@ -13,22 +13,22 @@
["<.>" code]]]
[data
["." bit ("#\." equivalence)]
- ["." text (#+ Char) ("#\." equivalence)
- ["%" format (#+ format)]]
+ ["." text {"+" [Char]} ("#\." equivalence)
+ ["%" format {"+" [format]}]]
[collection
- ["." set (#+ Set)]]]
+ ["." set {"+" [Set]}]]]
[macro
- [syntax (#+ syntax:)]
+ [syntax {"+" [syntax:]}]
["." code]
["." template]]
[math
- ["." random (#+ Random)]
- [number (#+ hex)
+ ["." random {"+" [Random]}]
+ [number {"+" [hex]}
["n" nat]]]]]
[\\library
["." /
[//
- ["." unicode #_
+ ["." unicode "_"
["#" set]]]]])
(def: (range max min)
diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux
index a6a9aae06..e5b6968e0 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
- [equivalence (#+ Equivalence)]
+ [monad {"+" [do]}]
+ [equivalence {"+" [Equivalence]}]
[functor
[\\specification
["$." contravariant]]]]
@@ -26,7 +26,7 @@
["." duration]
["." date]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
["." modulus]
["." modular]
[number
@@ -40,7 +40,7 @@
[meta
["." location]]
["." type]]]
- ["$." /// #_
+ ["$." /// "_"
[format
["#." xml]
["#." json]]
diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux
index 041f22d9e..26ce416ff 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
pipe
["." try]
[parser
- ["<.>" text (#+ Parser)]
+ ["<.>" text {"+" [Parser]}]
["<.>" code]]]
[data
["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
["." macro
- [syntax (#+ syntax:)]
+ [syntax {"+" [syntax:]}]
["." code]]
[math
- [number (#+ hex)]
+ [number {"+" [hex]}]
["." random]]]]
[\\library
["." /]])
diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux
index 3c006d6d8..4f9f27295 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." hash]
@@ -16,8 +16,8 @@
[macro
["." template]]
[math
- ["." random (#+ Random)]
- [number (#+ hex)
+ ["." random {"+" [Random]}]
+ [number {"+" [hex]}
["n" nat]]]]]
[\\library
["." /]])
diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux
index 2ff6ade86..db18d9b7d 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[data
@@ -12,11 +12,11 @@
[collection
["." set ("#\." equivalence)]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
- ["." / #_
- ["/#" // #_
+ ["." / "_"
+ ["/#" // "_"
["#." block]]]
[\\library
["." /
diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux
index af3363bac..a8ecab6c1 100644
--- a/stdlib/source/test/lux/debug.lux
+++ b/stdlib/source/test/lux/debug.lux
@@ -1,10 +1,10 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["@" target]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try ("#\." functor)]
["." exception]
@@ -12,28 +12,28 @@
["<.>" code]]]
[data
["." text ("#\." equivalence)
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
["." list ("#\." functor)]]
[format
- [json (#+ JSON)]
- [xml (#+ XML)]]]
+ [json {"+" [JSON]}]
+ [xml {"+" [XML]}]]]
["." macro
- [syntax (#+ syntax:)]
+ [syntax {"+" [syntax:]}]
["." code]]
[math
- ["." random (#+ Random)]
+ ["." 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
["." /]]
- ["$." // #_
+ ["$." // "_"
["#." type]
[data
["#." name]
diff --git a/stdlib/source/test/lux/documentation.lux b/stdlib/source/test/lux/documentation.lux
index 3e75d2454..9a266e2d7 100644
--- a/stdlib/source/test/lux/documentation.lux
+++ b/stdlib/source/test/lux/documentation.lux
@@ -1,7 +1,7 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["." meta]
[control
["." try]
@@ -14,7 +14,7 @@
[format
["md" markdown]]]
["." macro
- [syntax (#+ syntax:)]
+ [syntax {"+" [syntax:]}]
["." template]
["." code]]]]
[\\library
diff --git a/stdlib/source/test/lux/extension.lux b/stdlib/source/test/lux/extension.lux
index b83b83e11..3421ba12e 100644
--- a/stdlib/source/test/lux/extension.lux
+++ b/stdlib/source/test/lux/extension.lux
@@ -1,6 +1,6 @@
(.module:
[library
- [lux #*
+ [lux "*"
["." debug]
["@" target
["." jvm]
@@ -11,7 +11,7 @@
["." php]
["." scheme]]
[abstract
- ["." monad (#+ do)]]
+ ["." monad {"+" [do]}]]
[control
["." try]
["<>" parser
@@ -21,7 +21,7 @@
[data
["." product]
["." text ("#\." equivalence)
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
["." row]
["." list ("#\." functor)]]]
@@ -40,9 +40,9 @@
[phase
[analysis
["." type]]]]]]]
- ["_" test (#+ Test)]]]
+ ["_" test {"+" [Test]}]]]
[\\library
- ["." / (#+ analysis: synthesis: generation: directive:)]])
+ ["." / {"+" [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 2d3de761e..d21ed1a6c 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try]]
[data
["." bit ("#\." equivalence)]
["." text ("#\." equivalence)]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["." nat]
["." frac]]]]]
diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux
index 7557f7f9f..071e43a3c 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["." type ("#\." equivalence)]
["." meta]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." try]
["." exception]
[parser
@@ -15,15 +15,15 @@
[data
["." bit ("#\." equivalence)]
["." text ("#\." equivalence)
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
- ["." array (#+ Array)]]]
+ ["." array {"+" [Array]}]]]
["." macro
- [syntax (#+ syntax:)]
+ [syntax {"+" [syntax:]}]
["." code]
["." template]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]
["i" int ("#\." equivalence)]
diff --git a/stdlib/source/test/lux/ffi.lua.lux b/stdlib/source/test/lux/ffi.lua.lux
index 7db49a416..88442df22 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." io]]
[math
diff --git a/stdlib/source/test/lux/ffi.old.lux b/stdlib/source/test/lux/ffi.old.lux
index 1fcb84652..32c7ea085 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [equivalence (#+ Equivalence)]
- [monad (#+ do)]]
+ [equivalence {"+" [Equivalence]}]
+ [monad {"+" [do]}]]
[control
- [pipe (#+ case>)]]
+ [pipe {"+" [case>]}]]
[data
["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
[macro
["." template]]
[math
diff --git a/stdlib/source/test/lux/ffi.php.lux b/stdlib/source/test/lux/ffi.php.lux
index 31dd43c5b..d974b7ec2 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try]]
[data
["." text ("#\." equivalence)]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["." nat]
["." frac]]]]]
diff --git a/stdlib/source/test/lux/ffi.py.lux b/stdlib/source/test/lux/ffi.py.lux
index 42a80a7ec..2a5e7cffa 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[math
["." random]
[number
diff --git a/stdlib/source/test/lux/ffi.rb.lux b/stdlib/source/test/lux/ffi.rb.lux
index b9a302b50..623532196 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[math
["." random]]]]
[\\library
diff --git a/stdlib/source/test/lux/ffi.scm.lux b/stdlib/source/test/lux/ffi.scm.lux
index 31dd43c5b..d974b7ec2 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try]]
[data
["." text ("#\." equivalence)]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["." nat]
["." frac]]]]]
diff --git a/stdlib/source/test/lux/locale.lux b/stdlib/source/test/lux/locale.lux
index 3c37647aa..90959d401 100644
--- a/stdlib/source/test/lux/locale.lux
+++ b/stdlib/source/test/lux/locale.lux
@@ -1,26 +1,26 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." hash]]]
[math
- ["." random (#+ Random) ("#\." monad)]]
+ ["." random {"+" [Random]} ("#\." monad)]]
[data
["." text ("#\." equivalence)
- ["." encoding (#+ Encoding)]]
+ ["." encoding {"+" [Encoding]}]]
[collection
["." list]]]]]
- ["." / #_
+ ["." / "_"
["#." language]
["#." territory]]
[\\library
["." /
- ["." language (#+ Language)]
- ["." territory (#+ Territory)]]])
+ ["." language {"+" [Language]}]
+ ["." 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 f8969b224..0b48c7330 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
- [hash (#+ Hash)]
+ [monad {"+" [do]}]
+ [hash {"+" [Hash]}]
[\\specification
["$." hash]]]
[control
@@ -12,12 +12,12 @@
[data
["." text]
[collection
- ["." set (#+ Set)]
+ ["." set {"+" [Set]}]
["." list ("#\." functor mix)]]]
[macro
["." template]]
[math
- ["." random (#+ Random)]
+ ["." 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 f71e26c78..394b2f5d6 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
- [hash (#+ Hash)]
+ [monad {"+" [do]}]
+ [hash {"+" [Hash]}]
[\\specification
["$." hash]]]
[control
@@ -12,12 +12,12 @@
[data
["." text]
[collection
- ["." set (#+ Set)]
+ ["." set {"+" [Set]}]
["." list ("#\." functor mix)]]]
[macro
["." template]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/macro.lux b/stdlib/source/test/lux/macro.lux
index 83c27d94c..93b4f40a7 100644
--- a/stdlib/source/test/lux/macro.lux
+++ b/stdlib/source/test/lux/macro.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try ("#\." functor)]
[parser
@@ -12,21 +12,21 @@
["." bit ("#\." equivalence)]
["." name]
["." text
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
["." list]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["." nat]]]
["." meta
["." location]]]]
[\\library
["." /
- [syntax (#+ syntax:)]
+ [syntax {"+" [syntax:]}]
["." code ("#\." equivalence)]
["." template]]]
- ["." / #_
+ ["." / "_"
["#." code]
["#." local]
["#." syntax]
diff --git a/stdlib/source/test/lux/macro/code.lux b/stdlib/source/test/lux/macro/code.lux
index 5cacd6851..050a33c16 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
- ["." try (#+ Try)]]
+ ["." try {"+" [Try]}]]
[data
["." product]
["." text]
[collection
["." list ("#\." functor)]]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
[number
["n" nat]]]
[meta
diff --git a/stdlib/source/test/lux/macro/local.lux b/stdlib/source/test/lux/macro/local.lux
index c097f7676..726c99d81 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["." meta]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try]
["." exception]
@@ -18,10 +18,10 @@
[dictionary
["." plist]]]]
["." macro
- [syntax (#+ syntax:)]
+ [syntax {"+" [syntax:]}]
["." code]]
[math
- ["." random (#+ Random)]
+ ["." 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 0e9546c04..968ea1001 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
[parser
["<.>" code]]]
@@ -13,14 +13,14 @@
["n" nat]]]]]
[\\library
["." /]]
- ["." / #_
+ ["." / "_"
["#." annotations]
["#." check]
["#." declaration]
["#." definition]
["#." export]
["#." input]
- ["#." type #_
+ ["#." type "_"
["#/." variable]]])
(/.syntax: (+/3 [a <code>.any
diff --git a/stdlib/source/test/lux/macro/syntax/annotations.lux b/stdlib/source/test/lux/macro/syntax/annotations.lux
index bfe3bde4b..b79d7dbea 100644
--- a/stdlib/source/test/lux/macro/syntax/annotations.lux
+++ b/stdlib/source/test/lux/macro/syntax/annotations.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -14,12 +14,12 @@
[collection
["." list]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
["." /]]
- ["$." /// #_
+ ["$." /// "_"
["#." code]])
(def: .public random
diff --git a/stdlib/source/test/lux/macro/syntax/check.lux b/stdlib/source/test/lux/macro/syntax/check.lux
index 7e69b7dec..3fc41678a 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -11,12 +11,12 @@
["<>" parser
["<.>" code]]]
[math
- ["." random (#+ Random)]]
+ ["." random {"+" [Random]}]]
[macro
["." code ("#\." equivalence)]]]]
[\\library
["." /]]
- ["$." /// #_
+ ["$." /// "_"
["#." code]])
(def: .public random
diff --git a/stdlib/source/test/lux/macro/syntax/declaration.lux b/stdlib/source/test/lux/macro/syntax/declaration.lux
index 8812f0509..9e3faff22 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -11,7 +11,7 @@
[parser
["<.>" code]]]
[math
- ["." random (#+ Random)]
+ ["." 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 aaddbdff5..f1f85adbe 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -12,17 +12,17 @@
["<>" parser
["<.>" code]]]
[math
- ["." random (#+ Random)]]
+ ["." random {"+" [Random]}]]
[macro
["." code ("#\." equivalence)]]
[meta
["." location]]]]
[\\library
["." /]]
- ["$."// #_
+ ["$."// "_"
["#." check]
["#." annotations]
- ["#/" // #_
+ ["#/" // "_"
["#." code]]])
(def: .public random
diff --git a/stdlib/source/test/lux/macro/syntax/export.lux b/stdlib/source/test/lux/macro/syntax/export.lux
index 5455656c0..8b7c80c9a 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." maybe]
["." try ("#\." functor)]
@@ -12,7 +12,7 @@
[macro
["." code ("#\." equivalence)]]
[math
- ["." random (#+ Random)]
+ ["." 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 77fd87b58..20cca7398 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -11,12 +11,12 @@
[parser
["<.>" code]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
["." /]]
- ["$." /// #_
+ ["$." /// "_"
["#." code]])
(def: .public random
diff --git a/stdlib/source/test/lux/macro/syntax/type/variable.lux b/stdlib/source/test/lux/macro/syntax/type/variable.lux
index 125f02c19..0a7b1586f 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
@@ -11,7 +11,7 @@
[parser
["<.>" code]]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\library
["." /]])
diff --git a/stdlib/source/test/lux/macro/template.lux b/stdlib/source/test/lux/macro/template.lux
index 86c2fbe0b..dccc983f5 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try]
["." exception]
@@ -13,10 +13,10 @@
[collection
["." list]]]
["." macro
- [syntax (#+ syntax:)]
+ [syntax {"+" [syntax:]}]
["." code]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["." nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/math.lux b/stdlib/source/test/lux/math.lux
index ca72f6882..db7bf302d 100644
--- a/stdlib/source/test/lux/math.lux
+++ b/stdlib/source/test/lux/math.lux
@@ -1,25 +1,25 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[macro
["." template]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]
["i" int]
["f" frac]]]]]
[\\library
["." /]]
- ["." / #_
+ ["." / "_"
["#." infix]
["#." modulus]
["#." modular]
["#." number]
- ["#." logic #_
+ ["#." logic "_"
["#/." continuous]
["#/." fuzzy]]])
diff --git a/stdlib/source/test/lux/math/infix.lux b/stdlib/source/test/lux/math/infix.lux
index f9f9475a9..a0c7b0088 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[data
["." bit ("#\." equivalence)]]
[math
diff --git a/stdlib/source/test/lux/math/logic/continuous.lux b/stdlib/source/test/lux/math/logic/continuous.lux
index cd168fc4c..667039e0e 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." monoid]]]
[math
diff --git a/stdlib/source/test/lux/math/logic/fuzzy.lux b/stdlib/source/test/lux/math/logic/fuzzy.lux
index d8198d026..a84a3e186 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [equivalence (#+ Equivalence)]
- [monad (#+ do)]
+ [equivalence {"+" [Equivalence]}]
+ [monad {"+" [do]}]
[\\specification
[functor
["$." contravariant]]]]
@@ -14,13 +14,13 @@
["." list]
["." set]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]
["r" rev]]]]]
[\\library
- ["." / (#+ Fuzzy)
- ["/#" // #_
+ ["." / {"+" [Fuzzy]}
+ ["/#" // "_"
["#" continuous]]]])
(def: trivial
diff --git a/stdlib/source/test/lux/math/modular.lux b/stdlib/source/test/lux/math/modular.lux
index 037563d64..db6e4cbc2 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["." type ("#\." equivalence)]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
["." predicate]
[\\specification
["$." equivalence]
@@ -18,14 +18,14 @@
["." product]
["." bit ("#\." equivalence)]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["i" int]]]]]
- ["$." // #_
+ ["$." // "_"
["#" modulus]]
[\\library
["." /
- ["/#" // #_
+ ["/#" // "_"
["#" modulus]]]])
(def: .public (random modulus)
diff --git a/stdlib/source/test/lux/math/modulus.lux b/stdlib/source/test/lux/math/modulus.lux
index 018fcf73a..dfd4c25bd 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["." meta]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try]
["." exception]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["i" int]]]
[macro
- [syntax (#+ syntax:)]
+ [syntax {"+" [syntax:]}]
["." code]]]]
[\\library
["." /]])
diff --git a/stdlib/source/test/lux/math/number.lux b/stdlib/source/test/lux/math/number.lux
index 08a044d60..432b2c10e 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[control
["." try]]
[data
@@ -12,7 +12,7 @@
["i" int]
["r" rev]
["f" frac]]]
- ["." / #_
+ ["." / "_"
["#." i8]
["#." i16]
["#." i32]
diff --git a/stdlib/source/test/lux/math/number/complex.lux b/stdlib/source/test/lux/math/number/complex.lux
index e73c363ba..c2b28e5ee 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)]
+ [lux "*"
+ ["%" data/text/format {"+" [format]}]
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." order]
@@ -13,7 +13,7 @@
[collection
["." list ("#\." functor)]]]
["." math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\library
["." /
[//
diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux
index 09993f033..6a6e6eb4f 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["@" target]
["." ffi]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." hash]
@@ -15,10 +15,10 @@
[data
["." bit ("#\." equivalence)]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\library
["." /
- [// #*
+ [// "*"
["n" nat]
["i" int]
["r" rev]
diff --git a/stdlib/source/test/lux/math/number/i16.lux b/stdlib/source/test/lux/math/number/i16.lux
index fbb0b62b7..83e09233d 100644
--- a/stdlib/source/test/lux/math/number/i16.lux
+++ b/stdlib/source/test/lux/math/number/i16.lux
@@ -1,16 +1,16 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\library
["." /
- ["/#" // #_
+ ["/#" // "_"
["i" int]
["#." i64]]]])
diff --git a/stdlib/source/test/lux/math/number/i32.lux b/stdlib/source/test/lux/math/number/i32.lux
index 00a5daee6..cfb0e3993 100644
--- a/stdlib/source/test/lux/math/number/i32.lux
+++ b/stdlib/source/test/lux/math/number/i32.lux
@@ -1,16 +1,16 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\library
["." /
- ["/#" // #_
+ ["/#" // "_"
["i" int]
["#." i64]]]])
diff --git a/stdlib/source/test/lux/math/number/i64.lux b/stdlib/source/test/lux/math/number/i64.lux
index 6b7e84972..959cd7930 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[data
["." bit ("#\." equivalence)]]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." hash]
["$." monoid]]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\library
["." / ("\." 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 8a8e7f0f6..fc2562dd2 100644
--- a/stdlib/source/test/lux/math/number/i8.lux
+++ b/stdlib/source/test/lux/math/number/i8.lux
@@ -1,16 +1,16 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\library
["." /
- ["/#" // #_
+ ["/#" // "_"
["i" int]
["#." i64]]]])
diff --git a/stdlib/source/test/lux/math/number/int.lux b/stdlib/source/test/lux/math/number/int.lux
index be091eb18..b2200f456 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." hash]
@@ -15,7 +15,7 @@
[data
["." bit ("#\." equivalence)]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\library
["." /
[//
diff --git a/stdlib/source/test/lux/math/number/nat.lux b/stdlib/source/test/lux/math/number/nat.lux
index d01260c09..912b16bd4 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." hash]
diff --git a/stdlib/source/test/lux/math/number/ratio.lux b/stdlib/source/test/lux/math/number/ratio.lux
index 916cb5197..d7510c97a 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." order]
@@ -14,7 +14,7 @@
[data
["." bit ("#\." equivalence)]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\library
["." /
[//
diff --git a/stdlib/source/test/lux/math/number/rev.lux b/stdlib/source/test/lux/math/number/rev.lux
index e55b08222..0398a55a2 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." hash]
@@ -18,7 +18,7 @@
["." random]]]]
[\\library
["." /
- [// (#+ hex)
+ [// {"+" [hex]}
["n" nat]
["f" frac]
["." i64 ("#\." hash)]]]])
diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux
index 132768afa..44cf528c9 100644
--- a/stdlib/source/test/lux/meta.lux
+++ b/stdlib/source/test/lux/meta.lux
@@ -1,36 +1,36 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["." type ("#\." equivalence)]
[abstract
- [equivalence (#+ Equivalence)]
- [monad (#+ do)]
+ [equivalence {"+" [Equivalence]}]
+ [monad {"+" [do]}]
[\\specification
- ["$." functor (#+ Injection Comparison)]
+ ["$." functor {"+" [Injection Comparison]}]
["$." apply]
["$." monad]]]
[control
["." maybe]
- ["." try (#+ Try) ("#\." functor)]]
+ ["." try {"+" [Try]} ("#\." functor)]]
[data
["." product]
["." bit ("#\." equivalence)]
["." name ("#\." equivalence)]
["." text ("#\." equivalence)
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
["." list ("#\." functor monoid)]
["." set]]]
[meta
["." location]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
["." /]]
- ["." / #_
+ ["." / "_"
["#." annotation]
["#." location]])
diff --git a/stdlib/source/test/lux/meta/annotation.lux b/stdlib/source/test/lux/meta/annotation.lux
index a610d66eb..011cf788c 100644
--- a/stdlib/source/test/lux/meta/annotation.lux
+++ b/stdlib/source/test/lux/meta/annotation.lux
@@ -1,11 +1,11 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
- ["." try (#+ Try)]]
+ ["." try {"+" [Try]}]]
[data
["." product]
["." bit]
@@ -16,7 +16,7 @@
[macro
["." code ("#\." equivalence)]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["." nat]
["." int]
diff --git a/stdlib/source/test/lux/meta/location.lux b/stdlib/source/test/lux/meta/location.lux
index b7172f4c1..729ae2ec3 100644
--- a/stdlib/source/test/lux/meta/location.lux
+++ b/stdlib/source/test/lux/meta/location.lux
@@ -1,18 +1,18 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[data
["." text]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\library
["." /]]
- ["$." /// #_
+ ["$." /// "_"
[macro
["#." code]]])
diff --git a/stdlib/source/test/lux/program.lux b/stdlib/source/test/lux/program.lux
index 4062dd9b2..3f813b6ce 100644
--- a/stdlib/source/test/lux/program.lux
+++ b/stdlib/source/test/lux/program.lux
@@ -1,9 +1,9 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." io]
["." try]
@@ -15,7 +15,7 @@
[collection
["." list]]]
[macro
- [syntax (#+ syntax:)]]
+ [syntax {"+" [syntax:]}]]
[math
["." random]]]]
[\\library
diff --git a/stdlib/source/test/lux/static.lux b/stdlib/source/test/lux/static.lux
index 15f1ab316..059cbebc6 100644
--- a/stdlib/source/test/lux/static.lux
+++ b/stdlib/source/test/lux/static.lux
@@ -1,12 +1,12 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["@" target]
["." meta]
[data
["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
[macro
["." code]]
[math
diff --git a/stdlib/source/test/lux/target.lux b/stdlib/source/test/lux/target.lux
index 2f30bc909..2ff923b9e 100644
--- a/stdlib/source/test/lux/target.lux
+++ b/stdlib/source/test/lux/target.lux
@@ -1,12 +1,12 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[data
["." text]
[collection
["." list]
- ["." set (#+ Set)]]]
+ ["." 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 436b78d6d..66b20350a 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)
- ["." ffi (#+ import:)]
+ [lux {"-" [Type Label type primitive int]}
+ ["." ffi {"+" [import:]}]
["@" target]
[abstract
- ["." monad (#+ do)]]
+ ["." monad {"+" [do]}]]
[control
["." function]
["." io]
@@ -15,8 +15,8 @@
[data
["." bit ("#\." equivalence)]
["." text ("#\." equivalence)
- ["%" format (#+ format)]]
- ["." format #_
+ ["%" format {"+" [format]}]]
+ ["." format "_"
["#" binary]]
[collection
["." array]
@@ -25,34 +25,34 @@
["." set]
["." list ("#\." functor)]]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
[number
["n" nat]
["i" int]
["f" frac]
- ["." i32 (#+ I32)]
+ ["." i32 {"+" [I32]}]
["." i64]]]
- ["_" test (#+ Test)]]]
+ ["_" test {"+" [Test]}]]]
[\\library
- ["." / #_
- ["#." loader (#+ Library)]
+ ["." / "_"
+ ["#." loader {"+" [Library]}]
["#." version]
["#." modifier ("#\." monoid)]
["#." field]
- ["#." method (#+ Method)]
+ ["#." method {"+" [Method]}]
["#." class]
["#." attribute
["#/." code]]
["#." constant
- ["#/." pool (#+ Resource)]]
+ ["#/." pool {"+" [Resource]}]]
[encoding
["#." name]
["#." signed]
["#." unsigned]]
- ["#" bytecode (#+ Label Bytecode)
+ ["#" bytecode {"+" [Label Bytecode]}
["#." instruction]]
- ["#." type (#+ Type)
- ["." category (#+ Value Object Class)]]]])
+ ["#." type {"+" [Type]}
+ ["." 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 516f1eb51..a28c37cf7 100644
--- a/stdlib/source/test/lux/test.lux
+++ b/stdlib/source/test/lux/test.lux
@@ -1,14 +1,14 @@
(.module:
[library
- [lux #*
+ [lux "*"
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." io]
["." exception]
[concurrency
["." async]
- ["." atom (#+ Atom)]]]
+ ["." atom {"+" [Atom]}]]]
[data
["." text ("#\." equivalence)]
[collection
diff --git a/stdlib/source/test/lux/time.lux b/stdlib/source/test/lux/time.lux
index c1f967528..50d0a82b8 100644
--- a/stdlib/source/test/lux/time.lux
+++ b/stdlib/source/test/lux/time.lux
@@ -1,28 +1,28 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." order]
["$." enum]
["$." codec]]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." try ("#\." functor)]
["." exception]
[parser
["<.>" text]]]
[data
["." text
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
[math
["." random]
[number
["n" nat]]]]]
- ["." / #_
+ ["." / "_"
["#." date]
["#." day]
["#." duration]
diff --git a/stdlib/source/test/lux/time/date.lux b/stdlib/source/test/lux/time/date.lux
index 2492e1e31..83eafabf9 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." order]
@@ -16,9 +16,9 @@
["<.>" text]]]
[data
[text
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
[math
- ["." random (#+ Random)]
+ ["." 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 82a3f3df1..eee8109ed 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
["." predicate]
[\\specification
["$." equivalence]
@@ -19,7 +19,7 @@
["." list]
["." set]]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/time/duration.lux b/stdlib/source/test/lux/time/duration.lux
index 5eb56c94b..72bf426fc 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." order]
@@ -13,7 +13,7 @@
[data
["." bit ("#\." equivalence)]]
[math
- ["." random (#+ Random)]
+ ["." 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 b9b2996e6..1dc2583af 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." order]
@@ -19,8 +19,8 @@
[math
["." random]]
[time
- ["." duration (#+ Duration)]
- ["." day (#+ Day) ("#\." enum)]]]]
+ ["." duration {"+" [Duration]}]
+ ["." day {"+" [Day]} ("#\." enum)]]]]
[\\library
["." /]])
diff --git a/stdlib/source/test/lux/time/month.lux b/stdlib/source/test/lux/time/month.lux
index 0874c2ec1..a8d5a1125 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
["." predicate]
[\\specification
["$." equivalence]
@@ -19,7 +19,7 @@
["." set]
["." list ("#\." functor mix)]]]
[math
- ["." random (#+ Random)]
+ ["." 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 b43fb99eb..0edb57701 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." order]
@@ -14,9 +14,9 @@
[data
["." bit ("#\." equivalence)]
[text
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]
["i" int]]]]]
diff --git a/stdlib/source/test/lux/tool.lux b/stdlib/source/test/lux/tool.lux
index 5aaee9637..ef8463b1a 100644
--- a/stdlib/source/test/lux/tool.lux
+++ b/stdlib/source/test/lux/tool.lux
@@ -1,8 +1,8 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]]]
- ["." / #_
+ [lux "*"
+ ["_" test {"+" [Test]}]]]
+ ["." / "_"
[compiler
[language
[lux
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux
index f2b318a33..ce6f5cd65 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,13 +1,13 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]]
- ["." / #_
+ [lux "*"
+ ["_" test {"+" [Test]}]]
+ ["." / "_"
["#." primitive]
["#." structure]
["#." reference]
["#." case]
["#." function]
- ["/#" // #_
+ ["/#" // "_"
[extension
[analysis
["#." lux]]]]])
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 43a7fd17a..9f9a5f000 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 #*
+ [lux "*"
[abstract
- ["." monad (#+ do)]]
+ ["." monad {"+" [do]}]]
[data
- ["%" text/format (#+ format)]
+ ["%" text/format {"+" [format]}]
["." name]]
- ["r" math/random (#+ Random) ("#\." monad)]
- ["_" test (#+ Test)]
+ ["r" math/random {"+" [Random]} ("#\." monad)]
+ ["_" test {"+" [Test]}]
[control
pipe
["." maybe]]
@@ -30,9 +30,9 @@
["/#" //
["#." module]
["#." type]
- ["/#" // #_
+ ["/#" // "_"
["/#" //
- ["#." analysis (#+ Analysis Variant Tag Operation)]
+ ["#." analysis {"+" [Analysis Variant Tag Operation]}]
[///
["." 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 57aa3ec5a..55e7925fb 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 #*
+ [lux "*"
[abstract
- ["." monad (#+ do)]]
+ ["." monad {"+" [do]}]]
[data
- ["%" text/format (#+ format)]
+ ["%" text/format {"+" [format]}]
["." name]]
- ["r" math/random (#+ Random)]
- ["_" test (#+ Test)]
+ ["r" math/random {"+" [Random]}]
+ ["_" test {"+" [Test]}]
[control
pipe
["." maybe]
@@ -29,9 +29,9 @@
["/#" //
["#." module]
["#." type]
- ["/#" // #_
+ ["/#" // "_"
["/#" //
- ["#." analysis (#+ Analysis Operation)]
+ ["#." analysis {"+" [Analysis Operation]}]
[///
["#." reference]
["." 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 1016f975d..82fbbc04f 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,32 +1,32 @@
(.module:
- [lux (#- primitive)
+ [lux {"-" [primitive]}
["@" target]
[abstract
- ["." monad (#+ do)]]
+ ["." monad {"+" [do]}]]
[data
- ["%" text/format (#+ format)]
+ ["%" text/format {"+" [format]}]
["." name]]
- ["r" math/random (#+ Random) ("#\." monad)]
- ["_" test (#+ Test)]
+ ["r" math/random {"+" [Random]} ("#\." monad)]
+ ["_" test {"+" [Test]}]
[control
pipe
- ["." try (#+ Try)]
- ["." exception (#+ exception:)]]
+ ["." try {"+" [Try]}]
+ ["." exception {"+" [exception:]}]]
[macro
["." code]]]
[\\
["." /
["/#" //
["#." type]
- ["/#" // #_
+ ["/#" // "_"
[extension
["." bundle]
["#." analysis]]
- ["/#" // #_
+ ["/#" // "_"
["." version]
- ["#." analysis (#+ Analysis Operation)
- [macro (#+ Expander)]
- [evaluation (#+ Eval)]]
+ ["#." analysis {"+" [Analysis Operation]}
+ [macro {"+" [Expander]}]
+ [evaluation {"+" [Eval]}]]
[///
["." 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 812e876bb..1bbec4721 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 #*
+ [lux "*"
[abstract
- ["." monad (#+ do)]]
+ ["." monad {"+" [do]}]]
[data
["." name ("#\." equivalence)]]
- ["r" math/random (#+ Random)]
- ["_" test (#+ Test)]
+ ["r" math/random {"+" [Random]}]
+ ["_" test {"+" [Test]}]
[control
pipe
- ["." try (#+ Try)]]
+ ["." try {"+" [Try]}]]
[data
["." text ("#\." equivalence)]
[number
@@ -24,9 +24,9 @@
["#." scope]
["#." module]
["#." type]
- ["/#" // #_
+ ["/#" // "_"
["/#" //
- ["#." analysis (#+ Analysis Variant Tag Operation)]
+ ["#." analysis {"+" [Analysis Variant Tag Operation]}]
[///
["#." reference]
["." 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 6dd4bde12..5f1f89442 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 #*
+ [lux "*"
[abstract
- ["." monad (#+ do)]]
+ ["." monad {"+" [do]}]]
[data
- ["%" text/format (#+ format)]
+ ["%" text/format {"+" [format]}]
["." name]]
- ["r" math/random (#+ Random)]
- ["_" test (#+ Test)]
+ ["r" math/random {"+" [Random]}]
+ ["_" test {"+" [Test]}]
[control
pipe
["." maybe]
@@ -31,9 +31,9 @@
["/#" //
["#." module]
["#." type]
- ["/#" // #_
+ ["/#" // "_"
["/#" //
- ["#." analysis (#+ Analysis Variant Tag Operation)]
+ ["#." analysis {"+" [Analysis Variant Tag Operation]}]
[///
["." 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 f209a235b..4a6dc9af2 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
- ["." monad (#+ do)]]
+ ["." monad {"+" [do]}]]
[data
- ["%" text/format (#+ format)]
+ ["%" text/format {"+" [format]}]
["." name]]
- ["r" math/random (#+ Random)]
- ["_" test (#+ Test)]
+ ["r" math/random {"+" [Random]}]
+ ["_" test {"+" [Test]}]
[control
pipe
- [io (#+ IO)]
+ [io {"+" [IO]}]
["." try]
[concurrency
["." atom]]]
@@ -23,7 +23,7 @@
["_." primitive]]]
[\\
["." /
- ["///#" //// #_
+ ["///#" //// "_"
[analysis
["#." scope]
["#." type]]
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux
index 159790e36..da993c0fc 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux
@@ -1,7 +1,7 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]]
- ["." / #_
+ [lux "*"
+ ["_" test {"+" [Test]}]]
+ ["." / "_"
["#." primitive]
["#." structure]
["#." case]
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux
index e716d380a..382758101 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [hash (#+ Hash)]
- ["." monad (#+ do)]]
+ [hash {"+" [Hash]}]
+ ["." monad {"+" [do]}]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." try ("#\." functor)]]
[data
["." sum]
["." text
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[number
["n" nat]
["." int]
@@ -20,21 +20,21 @@
["." list ("#\." functor mix monoid)]
["." set]]]
[math
- ["." random (#+ Random)]]]
- ["." // #_
+ ["." random {"+" [Random]}]]]
+ ["." // "_"
["#." primitive]]
[\\
["." /
["/#" //
- ["/#" // #_
+ ["/#" // "_"
[extension
["#." bundle]]
["/#" //
- ["." analysis (#+ Branch Match Analysis)]
- ["." synthesis (#+ Path Synthesis)]
+ ["." analysis {"+" [Branch Match Analysis]}]
+ ["." synthesis {"+" [Path Synthesis]}]
[///
["#." reference
- [variable (#+ Register)]]
+ [variable {"+" [Register]}]]
["." phase]
[meta
["." 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 099e10d50..a975fc269 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,37 +1,37 @@
(.module:
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- ["." monad (#+ do)]]
+ ["." monad {"+" [do]}]]
[control
["." try]]
[data
["." product]
["." text
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[number
["n" nat]]
[collection
["." list ("#\." functor mix monoid)]
- ["." dictionary (#+ Dictionary)]
+ ["." dictionary {"+" [Dictionary]}]
["." set]]]
[math
- ["." random (#+ Random)]]]
- ["." // #_
+ ["." random {"+" [Random]}]]]
+ ["." // "_"
["#." primitive]]
[\\
["." /
["/#" //
- ["/#" // #_
+ ["/#" // "_"
[extension
["#." bundle]]
["/#" //
- ["." analysis (#+ Analysis)]
- ["." synthesis (#+ Synthesis)]
+ ["." analysis {"+" [Analysis]}]
+ ["." synthesis {"+" [Synthesis]}]
[///
- [arity (#+ Arity)]
+ [arity {"+" [Arity]}]
["." reference
- ["." variable (#+ Variable)]]
+ ["." variable {"+" [Variable]}]]
["." phase]
[meta
["." 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 59e9f03cf..652465a83 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
["." try]
["." exception]]
@@ -12,16 +12,16 @@
[collection
["." list ("#\." functor)]]]
[math
- ["." random (#+ Random) ("#\." monad)]]]
+ ["." random {"+" [Random]} ("#\." monad)]]]
[\\
["." /
[////
- ["." analysis (#+ Environment)]
- ["/#" synthesis (#+ Member Path Synthesis)]
+ ["." analysis {"+" [Environment]}]
+ ["/#" synthesis {"+" [Member Path Synthesis]}]
[///
- [arity (#+ Arity)]
- ["." reference (#+ Constant)
- ["." variable (#+ Register Variable)]]]]]])
+ [arity {"+" [Arity]}]
+ ["." reference {"+" [Constant]}
+ ["." 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 ec1a6f641..d0d0449f9 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,27 +1,27 @@
(.module:
- [lux (#- primitive)
- [abstract ["." monad (#+ do)]]
+ [lux {"-" [primitive]}
+ [abstract ["." monad {"+" [do]}]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." try]]
[data
- ["%" text/format (#+ format)]
+ ["%" text/format {"+" [format]}]
["." name]
[number
["n" nat]]
[collection
["." list]]]
- ["r" math/random (#+ Random) ("#\." monad)]
- ["_" test (#+ Test)]]
+ ["r" math/random {"+" [Random]} ("#\." monad)]
+ ["_" test {"+" [Test]}]]
[\\
- ["." / #_
+ ["." / "_"
["/#" //
- ["/#" // #_
+ ["/#" // "_"
[extension
["#." bundle]]
["/#" //
- ["#." analysis (#+ Analysis)]
- ["#." synthesis (#+ Synthesis)]
+ ["#." analysis {"+" [Analysis]}]
+ ["#." synthesis {"+" [Synthesis]}]
[///
["." 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 3c5ff94e7..3ff107daa 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 #*
+ [lux "*"
[abstract
- ["." monad (#+ do)]]
+ ["." monad {"+" [do]}]]
[data
- ["%" text/format (#+ format)]
+ ["%" text/format {"+" [format]}]
["." name]]
- ["r" math/random (#+ Random)]
- ["_" test (#+ Test)]
+ ["r" math/random {"+" [Random]}]
+ ["_" test {"+" [Test]}]
[control
pipe
["." try]]
@@ -17,17 +17,17 @@
["n" nat]]
[collection
["." list]]]]
- ["." // #_
+ ["." // "_"
["#." primitive]]
[\\
- ["." / #_
+ ["." / "_"
["/#" //
- ["/#" // #_
+ ["/#" // "_"
[extension
["#." bundle]]
["/#" //
- ["#." analysis (#+ Analysis)]
- ["#." synthesis (#+ Synthesis)]
+ ["#." analysis {"+" [Analysis]}]
+ ["#." synthesis {"+" [Synthesis]}]
[///
["." 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 fa9a9f646..531c792e5 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- ["." monad (#+ do)]]
+ ["." monad {"+" [do]}]]
[math
- ["." random (#+ Random)]]
+ ["." random {"+" [Random]}]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." try]]
[data
["." product]
["." text
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[number
["n" nat]]
[collection
["." list ("#\." functor mix)]
- ["." dictionary (#+ Dictionary)]]]]
+ ["." dictionary {"+" [Dictionary]}]]]]
[\\
["." /
[////
["." analysis]
- ["." synthesis (#+ Side Member Path Synthesis)]
+ ["." synthesis {"+" [Side Member Path Synthesis]}]
[///
[reference
["." 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 9b12fd4a7..b9709c14e 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)]
+ [lux "*"
+ [abstract/monad {"+" [do]}]
[data
- ["%" text/format (#+ format)]
+ ["%" text/format {"+" [format]}]
["." name]
[number
["n" nat]]]
- ["r" math/random (#+ Random) ("#\." monad)]
- ["_" test (#+ Test)]
+ ["r" math/random {"+" [Random]} ("#\." monad)]
+ ["_" test {"+" [Test]}]
[control
["." try]
[parser
@@ -16,7 +16,7 @@
["." text]
[collection
["." list]
- ["." dictionary (#+ Dictionary)]]]
+ ["." dictionary {"+" [Dictionary]}]]]
[macro
["." code]]
[meta
diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux
index e4f567e49..ec32d7fe8 100644
--- a/stdlib/source/test/lux/type.lux
+++ b/stdlib/source/test/lux/type.lux
@@ -1,13 +1,13 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- ["." monad (#+ do)]
+ ["." monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." maybe]]
[data
["." bit ("#\." equivalence)]
@@ -18,12 +18,12 @@
[macro
["." code ("#\." equivalence)]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
[number
["n" nat]]]]]
[\\library
["." / ("#\." equivalence)]]
- ["." / #_
+ ["." / "_"
["#." abstract]
["#." check]
["#." dynamic]
diff --git a/stdlib/source/test/lux/type/abstract.lux b/stdlib/source/test/lux/type/abstract.lux
index f8fe3c6a3..cd7387d3d 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["." meta]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try]
["." exception]
@@ -13,7 +13,7 @@
[data
["." text ("#\." equivalence)]]
["." macro
- [syntax (#+ syntax:)]
+ [syntax {"+" [syntax:]}]
["." code]
["." template]]
["." math
diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux
index 57ea22d70..d88cd4c95 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]}]
["." type ("#\." equivalence)]
[abstract
- ["." monad (#+ do)]
+ ["." monad {"+" [do]}]
[\\specification
- ["$." functor (#+ Injection Comparison)]
+ ["$." functor {"+" [Injection Comparison]}]
["$." apply]
["$." monad]]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." function]
["." try]
- ["." exception (#+ exception:)]]
+ ["." exception {"+" [exception:]}]]
[data
["." bit ("#\." equivalence)]
["." product]
["." text ("#\." equivalence)
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
["." list ("#\." functor monoid)]
["." set]]]
[math
- ["." random (#+ Random) ("#\." monad)]
+ ["." random {"+" [Random]} ("#\." monad)]
[number
["n" nat]]]]]
[\\library
diff --git a/stdlib/source/test/lux/type/dynamic.lux b/stdlib/source/test/lux/type/dynamic.lux
index 5a3e9e89d..72896124e 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." try]
["." exception]]
[data
["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
[math
- ["." random (#+ Random)]
+ ["." 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 2e694abf1..88308baf4 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [equivalence (#+)]
- [functor (#+)]
- [monoid (#+)]
- [monad (#+ do)]
+ [equivalence {"+" []}]
+ [functor {"+" []}]
+ [monoid {"+" []}]
+ [monad {"+" [do]}]
["." enum]]
[data
["." bit ("#\." equivalence)]
[collection
["." list]]]
[math
- ["." random (#+ Random)]
+ ["." 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 1ffe2cf61..31dbc7cc0 100644
--- a/stdlib/source/test/lux/type/poly.lux
+++ b/stdlib/source/test/lux/type/poly.lux
@@ -1,10 +1,10 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]]]
+ [lux "*"
+ ["_" test {"+" [Test]}]]]
[\\library
["." /]]
- ["." / #_
+ ["." / "_"
["#." equivalence]
["#." functor]
["#." json]])
diff --git a/stdlib/source/test/lux/type/poly/equivalence.lux b/stdlib/source/test/lux/type/poly/equivalence.lux
index e30ae9ba4..551b0118c 100644
--- a/stdlib/source/test/lux/type/poly/equivalence.lux
+++ b/stdlib/source/test/lux/type/poly/equivalence.lux
@@ -1,10 +1,10 @@
(.module:
[library
- [lux (#- Variant Record)
- ["_" test (#+ Test)]
+ [lux {"-" [Variant Record]}
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
- [equivalence (#+ Equivalence)
+ [monad {"+" [do]}]
+ [equivalence {"+" [Equivalence]}
[\\poly
["." /]]]
[\\specification
@@ -17,12 +17,12 @@
[collection
["." list]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]
["i" int]]]
[type
- [poly (#+ derived:)]]]])
+ [poly {"+" [derived:]}]]]])
(type: Variant
(.Variant
diff --git a/stdlib/source/test/lux/type/poly/functor.lux b/stdlib/source/test/lux/type/poly/functor.lux
index da5b00391..d717d1548 100644
--- a/stdlib/source/test/lux/type/poly/functor.lux
+++ b/stdlib/source/test/lux/type/poly/functor.lux
@@ -1,19 +1,19 @@
(.module:
[library
- [lux #*
+ [lux "*"
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[functor
[\\poly
["." /]]]]
- ["r" math/random (#+ Random)]
- ["_" test (#+ Test)]
+ ["r" math/random {"+" [Random]}]
+ ["_" test {"+" [Test]}]
[control
["." state]]
[data
["." identity]]
[type
- [poly (#+ derived:)]]]])
+ [poly {"+" [derived:]}]]]])
(derived: maybe_functor (/.functor .Maybe))
(derived: list_functor (/.functor .List))
diff --git a/stdlib/source/test/lux/type/poly/json.lux b/stdlib/source/test/lux/type/poly/json.lux
index f5bc61ab0..75d7c3808 100644
--- a/stdlib/source/test/lux/type/poly/json.lux
+++ b/stdlib/source/test/lux/type/poly/json.lux
@@ -1,12 +1,12 @@
(.module:
[library
- [lux (#- Variant Record)
- ["_" test (#+ Test)]
+ [lux {"-" [Variant Record]}
+ ["_" test {"+" [Test]}]
["." debug]
[abstract
codec
- [monad (#+ do)]
- ["." equivalence (#+ Equivalence)
+ [monad {"+" [do]}]
+ ["." equivalence {"+" [Equivalence]}
["poly/#" \\poly]]
[\\specification
["$." equivalence]
@@ -16,23 +16,23 @@
["." try]
["p" parser
... TODO: Get rid of this import ASAP
- [json (#+)]]]
+ [json {"+" []}]]]
[data
["." bit]
["." text]
[format
- [json (#+)
+ [json {"+" []}
[\\poly
["." /]]]]
[collection
- [row (#+ row)]
+ [row {"+" [row]}]
["d" dictionary]
["." list]]]
[type
- [poly (#+ derived:)]
+ [poly {"+" [derived:]}]
["." unit]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]
["." frac]]]
diff --git a/stdlib/source/test/lux/type/quotient.lux b/stdlib/source/test/lux/type/quotient.lux
index dffce036a..54c5f2aa3 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- ["." monad (#+ do)]
+ ["." monad {"+" [do]}]
[\\specification
["$." equivalence]]]
[data
["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat ("#\." equivalence)]]]]]
[\\library
diff --git a/stdlib/source/test/lux/type/refinement.lux b/stdlib/source/test/lux/type/refinement.lux
index 6721399e7..e919a93ca 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [predicate (#+ Predicate)]
- [monad (#+ do)]]
+ [predicate {"+" [Predicate]}]
+ [monad {"+" [do]}]]
[control
["." maybe ("#\." monad)]]
[data
diff --git a/stdlib/source/test/lux/type/resource.lux b/stdlib/source/test/lux/type/resource.lux
index 206aa3506..b1e24d4dc 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["." meta]
[abstract
["." monad
- [indexed (#+ do)]]]
+ [indexed {"+" [do]}]]]
[control
- ["." io (#+ IO)]
+ ["." io {"+" [IO]}]
["." try]
- ["." exception (#+ Exception)]
+ ["." exception {"+" [Exception]}]
[concurrency
- ["." async (#+ Async)]]
+ ["." async {"+" [Async]}]]
[parser
["<.>" code]]]
[data
- ["." identity (#+ Identity)]
+ ["." identity {"+" [Identity]}]
["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
["." macro
- [syntax (#+ syntax:)]
+ [syntax {"+" [syntax:]}]
["." code]]
[math
["." random]]]]
[\\library
- ["." / (#+ Res)]])
+ ["." / {"+" [Res]}]])
(def: pure
Test
diff --git a/stdlib/source/test/lux/type/unit.lux b/stdlib/source/test/lux/type/unit.lux
index 1e1992551..c2e17b665 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
["." debug]
["." meta]
[abstract
- [monad (#+ do)]
- [equivalence (#+ Equivalence)]
+ [monad {"+" [do]}]
+ [equivalence {"+" [Equivalence]}]
[\\specification
["$." equivalence]
["$." order]
["$." enum]]]
[macro
- [syntax (#+ syntax:)]
+ [syntax {"+" [syntax:]}]
["." code]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["i" int]
["." ratio ("#\." equivalence)]]]]]
diff --git a/stdlib/source/test/lux/type/variance.lux b/stdlib/source/test/lux/type/variance.lux
index 9126bd215..7196f89ee 100644
--- a/stdlib/source/test/lux/type/variance.lux
+++ b/stdlib/source/test/lux/type/variance.lux
@@ -1,14 +1,14 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[math
- ["." random (#+ Random)]]]]
+ ["." random {"+" [Random]}]]]]
[\\library
["." /
- ["/#" // #_
+ ["/#" // "_"
["#." check]]]])
(type: Super
diff --git a/stdlib/source/test/lux/world.lux b/stdlib/source/test/lux/world.lux
index 4750e0371..a0146a709 100644
--- a/stdlib/source/test/lux/world.lux
+++ b/stdlib/source/test/lux/world.lux
@@ -1,19 +1,19 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]]]
- ["." / #_
+ [lux "*"
+ ["_" test {"+" [Test]}]]]
+ ["." / "_"
["#." file]
["#." shell]
["#." console]
["#." program]
- ["#." input #_
+ ["#." input "_"
["#/." keyboard]]
- ["#." output #_
- ["#/." video #_
+ ["#." output "_"
+ ["#/." video "_"
["#/." resolution]]]
- ["#." net #_
- ["#/." http #_
+ ["#." net "_"
+ ["#/." http "_"
["#/." client]
["#/." status]]]])
diff --git a/stdlib/source/test/lux/world/console.lux b/stdlib/source/test/lux/world/console.lux
index 5a8c28ad7..37704c0e8 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." io]
- ["." try (#+ Try)]
- ["." exception (#+ exception:)]]
+ ["." try {"+" [Try]}]
+ ["." exception {"+" [exception:]}]]
[data
["." text ("#\." equivalence)
- ["%" format (#+ format)]]]
+ ["%" format {"+" [format]}]]]
[math
["." random]]]]
[\\library
diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux
index 99155f805..09312a7e2 100644
--- a/stdlib/source/test/lux/world/file.lux
+++ b/stdlib/source/test/lux/world/file.lux
@@ -1,14 +1,14 @@
(.module:
[library
- [lux #*
- ["_" test (#+ Test)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." io]]
[math
["." random]]]]
- ["." / #_
+ ["." / "_"
["#." watch]]
[\\library
["." /]]
diff --git a/stdlib/source/test/lux/world/file/watch.lux b/stdlib/source/test/lux/world/file/watch.lux
index 617461ad6..00406139e 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [predicate (#+ Predicate)]
- [monad (#+ do)]]
+ [predicate {"+" [Predicate]}]
+ [monad {"+" [do]}]]
[control
- ["." try (#+ Try)]
+ ["." try {"+" [Try]}]
["." exception]
[concurrency
- ["." async (#+ Async)]]]
+ ["." async {"+" [Async]}]]]
[data
- ["." binary (#+ Binary) ("#\." equivalence)]
+ ["." binary {"+" [Binary]} ("#\." equivalence)]
["." text ("#\." equivalence)
- ["%" format (#+ format)]]
+ ["%" format {"+" [format]}]]
[collection
["." list]]]
[math
- ["." random (#+ Random) ("#\." monad)]]]]
+ ["." random {"+" [Random]} ("#\." monad)]]]]
[\\library
["." /
["/#" //]]]
diff --git a/stdlib/source/test/lux/world/input/keyboard.lux b/stdlib/source/test/lux/world/input/keyboard.lux
index 727ea70cf..38ff5feb5 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." maybe]]
[data
["." bit ("#\." equivalence)]
[collection
["." list]
- ["." set (#+ Set)]]]
+ ["." set {"+" [Set]}]]]
[macro
["." template]]
[math
- ["." random (#+ Random)]
+ ["." 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 3f0531040..851f95002 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
- [pipe (#+ do>)]
- ["." io (#+ IO)]
+ [pipe {"+" [do>]}]
+ ["." io {"+" [IO]}]
["." try]
["." function]]
[data
["." binary]
["." product]
["." text
- ["%" format (#+ format)]
+ ["%" format {"+" [format]}]
[encoding
["." utf8]]]
[collection
["." dictionary]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["." 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 c93f5b083..ab11270c8 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[data
[collection
["." list]
- ["." set (#+ Set)]]]
+ ["." set {"+" [Set]}]]]
[macro
["." 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 fa52ce52c..6367ff652 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]
+ [monad {"+" [do]}]
[\\specification
["$." equivalence]
["$." hash]]]
@@ -12,9 +12,9 @@
[data
[collection
["." list]
- ["." set (#+ Set)]]]
+ ["." set {"+" [Set]}]]]
[math
- ["." random (#+ Random)]
+ ["." 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 05dcac52a..1160ab879 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
- [pipe (#+ case>)]
+ [pipe {"+" [case>]}]
["." io]
["." maybe ("#\." functor)]
["." try]
["." exception]
[parser
- [environment (#+ Environment)]]]
+ [environment {"+" [Environment]}]]]
[data
["." text ("#\." equivalence)]
[collection
["." dictionary]
["." list]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
["." /
[//
- [file (#+ Path)]]]]
+ [file {"+" [Path]}]]]]
[\\specification
["$." /]])
diff --git a/stdlib/source/test/lux/world/shell.lux b/stdlib/source/test/lux/world/shell.lux
index 4451f1f6f..a57d8d5e8 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)]
+ [lux "*"
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
- ["." try (#+ Try)]
- ["." exception (#+ exception:)]
- ["." io (#+ IO)]
+ ["." try {"+" [Try]}]
+ ["." exception {"+" [exception:]}]
+ ["." io {"+" [IO]}]
[concurrency
- ["." async (#+ Async)]]
+ ["." async {"+" [Async]}]]
[parser
- ["." environment (#+ Environment)]]]
+ ["." environment {"+" [Environment]}]]]
[data
["." text ("#\." equivalence)]
[collection
@@ -24,7 +24,7 @@
[\\library
["." /
[//
- [file (#+ Path)]]]]
+ [file {"+" [Path]}]]]]
[\\specification
["$." /]])