From fc8bebd3b3c5f050ea92e72eecbd9f6df09f28db Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 4 Sep 2021 12:49:52 -0400 Subject: De-taggification | part 2 --- stdlib/source/test/aedifex.lux | 8 ++--- stdlib/source/test/aedifex/artifact.lux | 12 ++++---- stdlib/source/test/aedifex/artifact/extension.lux | 10 +++---- stdlib/source/test/aedifex/artifact/snapshot.lux | 10 +++---- .../test/aedifex/artifact/snapshot/build.lux | 8 ++--- .../test/aedifex/artifact/snapshot/stamp.lux | 10 +++---- .../source/test/aedifex/artifact/snapshot/time.lux | 10 +++---- .../test/aedifex/artifact/snapshot/version.lux | 12 ++++---- .../aedifex/artifact/snapshot/version/value.lux | 12 ++++---- stdlib/source/test/aedifex/artifact/time.lux | 10 +++---- stdlib/source/test/aedifex/artifact/time/date.lux | 8 ++--- stdlib/source/test/aedifex/artifact/time/time.lux | 8 ++--- stdlib/source/test/aedifex/artifact/type.lux | 8 ++--- stdlib/source/test/aedifex/artifact/versioning.lux | 10 +++---- stdlib/source/test/aedifex/cache.lux | 30 +++++++++---------- stdlib/source/test/aedifex/cli.lux | 12 ++++---- stdlib/source/test/aedifex/command.lux | 6 ++-- stdlib/source/test/aedifex/command/auto.lux | 30 +++++++++---------- stdlib/source/test/aedifex/command/build.lux | 28 +++++++++--------- stdlib/source/test/aedifex/command/clean.lux | 22 +++++++------- stdlib/source/test/aedifex/command/deploy.lux | 22 +++++++------- stdlib/source/test/aedifex/command/deps.lux | 20 ++++++------- stdlib/source/test/aedifex/command/install.lux | 24 +++++++-------- stdlib/source/test/aedifex/command/pom.lux | 8 ++--- stdlib/source/test/aedifex/command/test.lux | 16 +++++----- stdlib/source/test/aedifex/command/version.lux | 18 ++++++------ stdlib/source/test/aedifex/dependency.lux | 8 ++--- .../source/test/aedifex/dependency/deployment.lux | 34 +++++++++++----------- .../source/test/aedifex/dependency/resolution.lux | 24 +++++++-------- stdlib/source/test/aedifex/dependency/status.lux | 14 ++++----- stdlib/source/test/aedifex/hash.lux | 12 ++++---- stdlib/source/test/aedifex/input.lux | 18 ++++++------ stdlib/source/test/aedifex/local.lux | 10 +++---- stdlib/source/test/aedifex/metadata.lux | 8 ++--- stdlib/source/test/aedifex/metadata/artifact.lux | 12 ++++---- stdlib/source/test/aedifex/metadata/snapshot.lux | 20 ++++++------- stdlib/source/test/aedifex/package.lux | 14 ++++----- stdlib/source/test/aedifex/parser.lux | 24 +++++++-------- stdlib/source/test/aedifex/pom.lux | 8 ++--- stdlib/source/test/aedifex/profile.lux | 22 +++++++------- stdlib/source/test/aedifex/project.lux | 10 +++---- stdlib/source/test/aedifex/repository.lux | 30 +++++++++---------- stdlib/source/test/aedifex/repository/identity.lux | 6 ++-- stdlib/source/test/aedifex/repository/local.lux | 6 ++-- stdlib/source/test/aedifex/repository/origin.lux | 6 ++-- stdlib/source/test/aedifex/repository/remote.lux | 18 ++++++------ stdlib/source/test/aedifex/runtime.lux | 8 ++--- stdlib/source/test/lux.lux | 24 +++++++-------- stdlib/source/test/lux/abstract.lux | 6 ++-- stdlib/source/test/lux/abstract/apply.lux | 8 ++--- stdlib/source/test/lux/abstract/codec.lux | 14 ++++----- stdlib/source/test/lux/abstract/comonad.lux | 8 ++--- stdlib/source/test/lux/abstract/comonad/cofree.lux | 12 ++++---- stdlib/source/test/lux/abstract/enum.lux | 8 ++--- stdlib/source/test/lux/abstract/equivalence.lux | 10 +++---- stdlib/source/test/lux/abstract/functor.lux | 8 ++--- .../test/lux/abstract/functor/contravariant.lux | 4 +-- stdlib/source/test/lux/abstract/hash.lux | 10 +++---- stdlib/source/test/lux/abstract/interval.lux | 12 ++++---- stdlib/source/test/lux/abstract/mix.lux | 8 ++--- stdlib/source/test/lux/abstract/monad.lux | 8 ++--- stdlib/source/test/lux/abstract/monad/free.lux | 12 ++++---- stdlib/source/test/lux/abstract/monoid.lux | 10 +++---- stdlib/source/test/lux/abstract/order.lux | 10 +++---- stdlib/source/test/lux/abstract/predicate.lux | 10 +++---- stdlib/source/test/lux/control.lux | 8 ++--- stdlib/source/test/lux/control/concatenative.lux | 8 ++--- .../source/test/lux/control/concurrency/actor.lux | 22 +++++++------- .../source/test/lux/control/concurrency/async.lux | 12 ++++---- .../source/test/lux/control/concurrency/atom.lux | 6 ++-- stdlib/source/test/lux/control/concurrency/frp.lux | 16 +++++----- .../test/lux/control/concurrency/semaphore.lux | 14 ++++----- stdlib/source/test/lux/control/concurrency/stm.lux | 14 ++++----- .../source/test/lux/control/concurrency/thread.lux | 10 +++---- stdlib/source/test/lux/control/continuation.lux | 8 ++--- stdlib/source/test/lux/control/exception.lux | 12 ++++---- stdlib/source/test/lux/control/function.lux | 12 ++++---- .../source/test/lux/control/function/contract.lux | 6 ++-- stdlib/source/test/lux/control/function/memo.lux | 16 +++++----- stdlib/source/test/lux/control/function/mixin.lux | 14 ++++----- stdlib/source/test/lux/control/function/mutual.lux | 10 +++---- stdlib/source/test/lux/control/io.lux | 10 +++---- stdlib/source/test/lux/control/lazy.lux | 12 ++++---- stdlib/source/test/lux/control/maybe.lux | 8 ++--- stdlib/source/test/lux/control/parser.lux | 20 ++++++------- stdlib/source/test/lux/control/parser/analysis.lux | 14 ++++----- stdlib/source/test/lux/control/parser/binary.lux | 18 ++++++------ stdlib/source/test/lux/control/parser/cli.lux | 6 ++-- stdlib/source/test/lux/control/parser/code.lux | 8 ++--- .../source/test/lux/control/parser/environment.lux | 6 ++-- stdlib/source/test/lux/control/parser/json.lux | 12 ++++---- .../source/test/lux/control/parser/synthesis.lux | 18 ++++++------ stdlib/source/test/lux/control/parser/text.lux | 16 +++++----- stdlib/source/test/lux/control/parser/tree.lux | 6 ++-- stdlib/source/test/lux/control/parser/type.lux | 8 ++--- stdlib/source/test/lux/control/parser/xml.lux | 8 ++--- stdlib/source/test/lux/control/pipe.lux | 8 ++--- stdlib/source/test/lux/control/reader.lux | 12 ++++---- stdlib/source/test/lux/control/region.lux | 24 +++++++-------- stdlib/source/test/lux/control/remember.lux | 18 ++++++------ .../test/lux/control/security/capability.lux | 8 ++--- stdlib/source/test/lux/control/security/policy.lux | 12 ++++---- stdlib/source/test/lux/control/state.lux | 12 ++++---- stdlib/source/test/lux/control/thread.lux | 10 +++---- stdlib/source/test/lux/control/try.lux | 12 ++++---- stdlib/source/test/lux/control/writer.lux | 14 ++++----- stdlib/source/test/lux/data.lux | 10 +++---- stdlib/source/test/lux/data/binary.lux | 14 ++++----- stdlib/source/test/lux/data/bit.lux | 6 ++-- stdlib/source/test/lux/data/collection.lux | 6 ++-- stdlib/source/test/lux/data/collection/array.lux | 12 ++++---- stdlib/source/test/lux/data/collection/bits.lux | 10 +++---- .../source/test/lux/data/collection/dictionary.lux | 10 +++---- .../lux/data/collection/dictionary/ordered.lux | 12 ++++---- .../test/lux/data/collection/dictionary/plist.lux | 8 ++--- stdlib/source/test/lux/data/collection/list.lux | 8 ++--- stdlib/source/test/lux/data/collection/queue.lux | 8 ++--- .../test/lux/data/collection/queue/priority.lux | 10 +++---- stdlib/source/test/lux/data/collection/row.lux | 10 +++---- .../source/test/lux/data/collection/sequence.lux | 10 +++---- stdlib/source/test/lux/data/collection/set.lux | 10 +++---- .../source/test/lux/data/collection/set/multi.lux | 10 +++---- .../test/lux/data/collection/set/ordered.lux | 12 ++++---- stdlib/source/test/lux/data/collection/stack.lux | 8 ++--- stdlib/source/test/lux/data/collection/tree.lux | 10 +++---- .../test/lux/data/collection/tree/finger.lux | 8 ++--- .../test/lux/data/collection/tree/zipper.lux | 8 ++--- stdlib/source/test/lux/data/color.lux | 8 ++--- stdlib/source/test/lux/data/color/named.lux | 8 ++--- stdlib/source/test/lux/data/format/binary.lux | 10 +++---- stdlib/source/test/lux/data/format/json.lux | 14 ++++----- stdlib/source/test/lux/data/format/tar.lux | 16 +++++----- stdlib/source/test/lux/data/format/xml.lux | 12 ++++---- stdlib/source/test/lux/data/identity.lux | 10 +++---- stdlib/source/test/lux/data/name.lux | 8 ++--- stdlib/source/test/lux/data/product.lux | 6 ++-- stdlib/source/test/lux/data/sum.lux | 6 ++-- stdlib/source/test/lux/data/text.lux | 10 +++---- stdlib/source/test/lux/data/text/buffer.lux | 10 +++---- stdlib/source/test/lux/data/text/encoding.lux | 10 +++---- stdlib/source/test/lux/data/text/encoding/utf8.lux | 6 ++-- stdlib/source/test/lux/data/text/escape.lux | 20 ++++++------- stdlib/source/test/lux/data/text/format.lux | 12 ++++---- stdlib/source/test/lux/data/text/regex.lux | 14 ++++----- stdlib/source/test/lux/data/text/unicode/block.lux | 10 +++---- stdlib/source/test/lux/data/text/unicode/set.lux | 12 ++++---- stdlib/source/test/lux/debug.lux | 32 ++++++++++---------- stdlib/source/test/lux/documentation.lux | 6 ++-- stdlib/source/test/lux/extension.lux | 10 +++---- stdlib/source/test/lux/ffi.js.lux | 8 ++--- stdlib/source/test/lux/ffi.jvm.lux | 16 +++++----- stdlib/source/test/lux/ffi.lua.lux | 6 ++-- stdlib/source/test/lux/ffi.old.lux | 12 ++++---- stdlib/source/test/lux/ffi.php.lux | 8 ++--- stdlib/source/test/lux/ffi.py.lux | 6 ++-- stdlib/source/test/lux/ffi.rb.lux | 6 ++-- stdlib/source/test/lux/ffi.scm.lux | 8 ++--- stdlib/source/test/lux/locale.lux | 16 +++++----- stdlib/source/test/lux/locale/language.lux | 12 ++++---- stdlib/source/test/lux/locale/territory.lux | 12 ++++---- stdlib/source/test/lux/macro.lux | 14 ++++----- stdlib/source/test/lux/macro/code.lux | 10 +++---- stdlib/source/test/lux/macro/local.lux | 10 +++---- stdlib/source/test/lux/macro/syntax.lux | 10 +++---- .../source/test/lux/macro/syntax/annotations.lux | 10 +++---- stdlib/source/test/lux/macro/syntax/check.lux | 10 +++---- .../source/test/lux/macro/syntax/declaration.lux | 8 ++--- stdlib/source/test/lux/macro/syntax/definition.lux | 12 ++++---- stdlib/source/test/lux/macro/syntax/export.lux | 8 ++--- stdlib/source/test/lux/macro/syntax/input.lux | 10 +++---- .../source/test/lux/macro/syntax/type/variable.lux | 8 ++--- stdlib/source/test/lux/macro/template.lux | 10 +++---- stdlib/source/test/lux/math.lux | 12 ++++---- stdlib/source/test/lux/math/infix.lux | 6 ++-- stdlib/source/test/lux/math/logic/continuous.lux | 6 ++-- stdlib/source/test/lux/math/logic/fuzzy.lux | 14 ++++----- stdlib/source/test/lux/math/modular.lux | 12 ++++---- stdlib/source/test/lux/math/modulus.lux | 10 +++---- stdlib/source/test/lux/math/number.lux | 6 ++-- stdlib/source/test/lux/math/number/complex.lux | 10 +++---- stdlib/source/test/lux/math/number/frac.lux | 10 +++---- stdlib/source/test/lux/math/number/i16.lux | 10 +++---- stdlib/source/test/lux/math/number/i32.lux | 10 +++---- stdlib/source/test/lux/math/number/i64.lux | 10 +++---- stdlib/source/test/lux/math/number/i8.lux | 10 +++---- stdlib/source/test/lux/math/number/int.lux | 8 ++--- stdlib/source/test/lux/math/number/nat.lux | 6 ++-- stdlib/source/test/lux/math/number/ratio.lux | 8 ++--- stdlib/source/test/lux/math/number/rev.lux | 8 ++--- stdlib/source/test/lux/meta.lux | 18 ++++++------ stdlib/source/test/lux/meta/annotation.lux | 10 +++---- stdlib/source/test/lux/meta/location.lux | 10 +++---- stdlib/source/test/lux/program.lux | 8 ++--- stdlib/source/test/lux/static.lux | 6 ++-- stdlib/source/test/lux/target.lux | 6 ++-- stdlib/source/test/lux/target/jvm.lux | 30 +++++++++---------- stdlib/source/test/lux/test.lux | 6 ++-- stdlib/source/test/lux/time.lux | 12 ++++---- stdlib/source/test/lux/time/date.lux | 10 +++---- stdlib/source/test/lux/time/day.lux | 8 ++--- stdlib/source/test/lux/time/duration.lux | 8 ++--- stdlib/source/test/lux/time/instant.lux | 10 +++---- stdlib/source/test/lux/time/month.lux | 8 ++--- stdlib/source/test/lux/time/year.lux | 10 +++---- stdlib/source/test/lux/tool.lux | 6 ++-- .../tool/compiler/language/lux/phase/analysis.lux | 8 ++--- .../compiler/language/lux/phase/analysis/case.lux | 14 ++++----- .../language/lux/phase/analysis/function.lux | 14 ++++----- .../language/lux/phase/analysis/primitive.lux | 24 +++++++-------- .../language/lux/phase/analysis/reference.lux | 14 ++++----- .../language/lux/phase/analysis/structure.lux | 14 ++++----- .../language/lux/phase/extension/analysis/lux.lux | 14 ++++----- .../tool/compiler/language/lux/phase/synthesis.lux | 6 ++-- .../compiler/language/lux/phase/synthesis/case.lux | 24 +++++++-------- .../language/lux/phase/synthesis/function.lux | 24 +++++++-------- .../compiler/language/lux/phase/synthesis/loop.lux | 18 ++++++------ .../language/lux/phase/synthesis/primitive.lux | 20 ++++++------- .../language/lux/phase/synthesis/structure.lux | 20 ++++++------- .../language/lux/phase/synthesis/variable.lux | 16 +++++----- .../test/lux/tool/compiler/language/lux/syntax.lux | 12 ++++---- stdlib/source/test/lux/type.lux | 12 ++++---- stdlib/source/test/lux/type/abstract.lux | 8 ++--- stdlib/source/test/lux/type/check.lux | 16 +++++----- stdlib/source/test/lux/type/dynamic.lux | 10 +++---- stdlib/source/test/lux/type/implicit.lux | 14 ++++----- stdlib/source/test/lux/type/poly.lux | 6 ++-- stdlib/source/test/lux/type/poly/equivalence.lux | 12 ++++---- stdlib/source/test/lux/type/poly/functor.lux | 10 +++---- stdlib/source/test/lux/type/poly/json.lux | 18 ++++++------ stdlib/source/test/lux/type/quotient.lux | 10 +++---- stdlib/source/test/lux/type/refinement.lux | 8 ++--- stdlib/source/test/lux/type/resource.lux | 20 ++++++------- stdlib/source/test/lux/type/unit.lux | 12 ++++---- stdlib/source/test/lux/type/variance.lux | 10 +++---- stdlib/source/test/lux/world.lux | 16 +++++----- stdlib/source/test/lux/world/console.lux | 12 ++++---- stdlib/source/test/lux/world/file.lux | 8 ++--- stdlib/source/test/lux/world/file/watch.lux | 18 ++++++------ stdlib/source/test/lux/world/input/keyboard.lux | 10 +++---- stdlib/source/test/lux/world/net/http/client.lux | 14 ++++----- stdlib/source/test/lux/world/net/http/status.lux | 6 ++-- .../test/lux/world/output/video/resolution.lux | 10 +++---- stdlib/source/test/lux/world/program.lux | 14 ++++----- stdlib/source/test/lux/world/shell.lux | 18 ++++++------ 244 files changed, 1445 insertions(+), 1445 deletions(-) (limited to 'stdlib/source/test') 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 @@ '] (.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 "_" ]])) ... 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 [ ] [(def: .public 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 [ (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 .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 ["$." /]]) -- cgit v1.2.3