diff options
| author | Eduardo Julian | 2022-06-16 21:37:38 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-16 21:37:38 -0400 |
| commit | 7249707e7c09be68dfb7507ba363efd3300a0141 (patch) | |
| tree | 1fb4764458da16353315ea7e267f997c9be70f49 /stdlib/source/test | |
| parent | e00e0b5f1e5fb509cf8f32424397110f524b8148 (diff) | |
De-sigil-ification: suffix : [Part 14]
Diffstat (limited to '')
285 files changed, 739 insertions, 739 deletions
diff --git a/stdlib/source/test/aedifex.lux b/stdlib/source/test/aedifex.lux index ccdc14e05..790b09bdc 100644 --- a/stdlib/source/test/aedifex.lux +++ b/stdlib/source/test/aedifex.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [program (.only program:)] diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux index 1b9bad2f0..53ae67d84 100644 --- a/stdlib/source/test/aedifex/artifact.lux +++ b/stdlib/source/test/aedifex/artifact.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -10,7 +10,7 @@ ["$[0]" order] ["$[0]" hash]]] [data - ["[0]" text (.open: "[1]#[0]" equivalence)]] + ["[0]" text (.use "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)]] [world diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux index 80b49fdfb..bf2127d23 100644 --- a/stdlib/source/test/aedifex/artifact/extension.lux +++ b/stdlib/source/test/aedifex/artifact/extension.lux @@ -1,11 +1,11 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] [data - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] [collection ["[0]" set] ["[0]" list]]] diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux index a318672eb..8312e69f0 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,13 +7,13 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try (.open: "[1]#[0]" functor)]] + ["[0]" try (.use "[1]#[0]" functor)]] [data [format ["[0]" xml ["<[1]>" \\parser]]]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]]] ["$[0]" / ["[1][0]" build] ["[1][0]" stamp] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux index 259698287..c0016b9a6 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try (.open: "[1]#[0]" functor)]] + ["[0]" try (.use "[1]#[0]" functor)]] [data [format ["[0]" xml diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux index 36b72daa8..da8755d6f 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try (.open: "[1]#[0]" functor)]] + ["[0]" try (.use "[1]#[0]" functor)]] [data [format ["[0]" xml diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux index 3b6136ce9..0a748e1b4 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try (.open: "[1]#[0]" functor)]] + ["[0]" try (.use "[1]#[0]" functor)]] [data ["[0]" text ["<[1]>" \\parser]]] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux index 97b51465d..5285d7598 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try (.open: "[1]#[0]" functor)]] + ["[0]" try (.use "[1]#[0]" functor)]] [data [format ["[0]" xml diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index 0c63a2215..525c4ec32 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,13 +7,13 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try (.open: "[1]#[0]" functor)]] + ["[0]" try (.use "[1]#[0]" functor)]] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)] ["<[1]>" \\parser]]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat] ["i" int]]] diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux index c6ba0f2c0..2ef81472a 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,12 +7,12 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try (.open: "[1]#[0]" functor)]] + ["[0]" try (.use "[1]#[0]" functor)]] [data ["[0]" text ["<[1]>" \\parser]]] [time - ["[0]" instant (.open: "[1]#[0]" equivalence)]] + ["[0]" instant (.use "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux index 6d2e4296a..a97bcbb8f 100644 --- a/stdlib/source/test/aedifex/artifact/time/date.lux +++ b/stdlib/source/test/aedifex/artifact/time/date.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception]] [data ["[0]" text @@ -18,7 +18,7 @@ ["n" nat] ["i" int]]] [time - ["[0]" date (.open: "[1]#[0]" equivalence)] + ["[0]" date (.use "[1]#[0]" equivalence)] ["[0]" year]]]] [\\program ["[0]" /]]) diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux index 33bc56c87..288d6169e 100644 --- a/stdlib/source/test/aedifex/artifact/time/time.lux +++ b/stdlib/source/test/aedifex/artifact/time/time.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -6,7 +6,7 @@ [abstract [monad (.only do)]] [control - ["[0]" try (.open: "[1]#[0]" functor)]] + ["[0]" try (.use "[1]#[0]" functor)]] [data ["[0]" text ["<[1]>" \\parser]]] diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux index 003123f40..cf47b1ec5 100644 --- a/stdlib/source/test/aedifex/artifact/type.lux +++ b/stdlib/source/test/aedifex/artifact/type.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -10,7 +10,7 @@ ["[0]" set] ["[0]" list]]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat]]]]] [\\program diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux index ecd2ed616..fede17e9f 100644 --- a/stdlib/source/test/aedifex/artifact/versioning.lux +++ b/stdlib/source/test/aedifex/artifact/versioning.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try (.open: "[1]#[0]" functor)]] + ["[0]" try (.use "[1]#[0]" functor)]] [data [format ["[0]" xml diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux index 6456cc824..4d3a64634 100644 --- a/stdlib/source/test/aedifex/cache.lux +++ b/stdlib/source/test/aedifex/cache.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except Type type) ["_" test (.only Test)] @@ -20,7 +20,7 @@ ["[0]" dictionary] ["[0]" list]]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat]]] [world diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux index a4af47e46..d0aef0468 100644 --- a/stdlib/source/test/aedifex/cli.lux +++ b/stdlib/source/test/aedifex/cli.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -16,7 +16,7 @@ [collection ["[0]" list]]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]]] [\\program ["[0]" / (.only) ["/[1]" // diff --git a/stdlib/source/test/aedifex/command.lux b/stdlib/source/test/aedifex/command.lux index cf3068d3c..27206b0b7 100644 --- a/stdlib/source/test/aedifex/command.lux +++ b/stdlib/source/test/aedifex/command.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)]]] diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux index 2d6ed1354..564cf6ab0 100644 --- a/stdlib/source/test/aedifex/command/auto.lux +++ b/stdlib/source/test/aedifex/command/auto.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux index 47c3ac71a..5aedb67a9 100644 --- a/stdlib/source/test/aedifex/command/build.lux +++ b/stdlib/source/test/aedifex/command/build.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -14,7 +14,7 @@ [parser ["[0]" environment]]] [data - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] [collection ["[0]" dictionary]]] [math diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux index 7edf91440..f4e220aa1 100644 --- a/stdlib/source/test/aedifex/command/clean.lux +++ b/stdlib/source/test/aedifex/command/clean.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -11,10 +11,10 @@ [data [binary (.only Binary)] ["[0]" product] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" functor)] + ["[0]" list (.use "[1]#[0]" functor)] ["[0]" set]]] [math ["[0]" random (.only Random)] diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux index 7b709c82d..38aa5aebc 100644 --- a/stdlib/source/test/aedifex/command/deploy.lux +++ b/stdlib/source/test/aedifex/command/deploy.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -12,8 +12,8 @@ [parser ["[0]" environment]]] [data - ["[0]" binary (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" binary (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)] [encoding ["[0]" utf8]]] diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux index 14d0f040b..4d08505b0 100644 --- a/stdlib/source/test/aedifex/command/deps.lux +++ b/stdlib/source/test/aedifex/command/deps.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -12,7 +12,7 @@ [parser ["[0]" environment]]] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)] [encoding ["[0]" utf8]]] diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux index a55e96d95..3221f640a 100644 --- a/stdlib/source/test/aedifex/command/install.lux +++ b/stdlib/source/test/aedifex/command/install.lux @@ -1,11 +1,11 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract ["[0]" monad (.only do)]] [control - ["[0]" try (.only Try) (.open: "[1]#[0]" functor)] + ["[0]" try (.only Try) (.use "[1]#[0]" functor)] ["[0]" exception] [concurrency ["[0]" async (.only Async)]] @@ -13,7 +13,7 @@ ["[0]" environment]]] [data ["[0]" binary] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [collection ["[0]" set (.only Set)]]] diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux index f6ba0e28e..9390cb51b 100644 --- a/stdlib/source/test/aedifex/command/pom.lux +++ b/stdlib/source/test/aedifex/command/pom.lux @@ -1,16 +1,16 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] [control - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] [concurrency ["[0]" async]]] [data - ["[0]" binary (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" binary (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence) [encoding ["[0]" utf8]]] [format diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux index 7ab540925..d65fbd491 100644 --- a/stdlib/source/test/aedifex/command/test.lux +++ b/stdlib/source/test/aedifex/command/test.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -12,7 +12,7 @@ [parser ["[0]" environment]]] [data - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] [collection ["[0]" dictionary] ["[0]" list]]] diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux index c8f427a71..4873cf31e 100644 --- a/stdlib/source/test/aedifex/command/version.lux +++ b/stdlib/source/test/aedifex/command/version.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -11,7 +11,7 @@ [concurrency ["[0]" async (.only Async)]]] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]]] [math ["[0]" random]] diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux index 93acdb4c6..0a01d3dfe 100644 --- a/stdlib/source/test/aedifex/dependency.lux +++ b/stdlib/source/test/aedifex/dependency.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux index 456897460..181e6b5b7 100644 --- a/stdlib/source/test/aedifex/dependency/deployment.lux +++ b/stdlib/source/test/aedifex/dependency/deployment.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,20 +7,20 @@ ["[0]" hash (.only Hash)]] [control ["[0]" io (.only IO)] - ["[0]" maybe (.open: "[1]#[0]" functor)] - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" maybe (.use "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] [concurrency ["[0]" atom (.only Atom)] ["[0]" async]]] [data ["[0]" product] - ["[0]" binary (.only Binary) (.open: "[1]#[0]" equivalence)] + ["[0]" binary (.only Binary) (.use "[1]#[0]" equivalence)] ["[0]" text (.only) ["%" \\format (.only format)]] [collection ["[0]" dictionary (.only Dictionary)] ["[0]" set] - ["[0]" list (.open: "[1]#[0]" mix)]]] + ["[0]" list (.use "[1]#[0]" mix)]]] [math ["[0]" random (.only Random)] [number @@ -43,7 +43,7 @@ ["[0]" profile] ["[0]" metadata] ["[0]" package (.only Package)] - ["[0]" artifact (.only Artifact) (.open: "[1]#[0]" equivalence) + ["[0]" artifact (.only Artifact) (.use "[1]#[0]" equivalence) ["[1]/[0]" type] ["[1]/[0]" extension]] ["[0]" repository (.only) diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux index ae4366042..1507398b6 100644 --- a/stdlib/source/test/aedifex/dependency/resolution.lux +++ b/stdlib/source/test/aedifex/dependency/resolution.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except all) ["_" test (.only Test)] @@ -39,7 +39,7 @@ ["[1]" profile] ["[1][0]" package (.only Package)] ["[1][0]" hash] - ["[1][0]" dependency (.only Dependency) (.open: "[1]#[0]" equivalence) + ["[1][0]" dependency (.only Dependency) (.use "[1]#[0]" equivalence) ["[1]/[0]" status]] ["[1][0]" pom] ["[1][0]" artifact (.only Artifact) diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux index ef3d704f6..bbb7188cb 100644 --- a/stdlib/source/test/aedifex/dependency/status.lux +++ b/stdlib/source/test/aedifex/dependency/status.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -10,7 +10,7 @@ ["[0]" binary ["[1]T" \\test]]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]]] ["$[0]" /// ["[1][0]" hash]] [\\program diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux index 28d912a48..1d8569413 100644 --- a/stdlib/source/test/aedifex/hash.lux +++ b/stdlib/source/test/aedifex/hash.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux index 47d8bf0c9..23192f590 100644 --- a/stdlib/source/test/aedifex/input.lux +++ b/stdlib/source/test/aedifex/input.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/aedifex/local.lux b/stdlib/source/test/aedifex/local.lux index 9adef30d6..d621d683c 100644 --- a/stdlib/source/test/aedifex/local.lux +++ b/stdlib/source/test/aedifex/local.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux index f5179d2a9..00e8062a6 100644 --- a/stdlib/source/test/aedifex/metadata.lux +++ b/stdlib/source/test/aedifex/metadata.lux @@ -1,11 +1,11 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] [data - ["[0]" text (.open: "[1]#[0]" equivalence)]] + ["[0]" text (.use "[1]#[0]" equivalence)]] [math ["[0]" random]]]] ["[0]" / diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux index 8dd0ef2b1..5e0a5b41c 100644 --- a/stdlib/source/test/aedifex/metadata/artifact.lux +++ b/stdlib/source/test/aedifex/metadata/artifact.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,13 +8,13 @@ ["$[0]" equivalence]]] [control ["[0]" maybe] - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] [parser ["[0]" environment]] [concurrency ["[0]" async]]] [data - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] [format ["[0]" xml ["<[1]>" \\parser]]] diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux index 77975ddad..9d88a0617 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,13 +8,13 @@ ["$[0]" equivalence]]] [control ["[0]" maybe] - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] [parser ["[0]" environment]] [concurrency ["[0]" async]]] [data - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] [format ["[0]" xml ["<[1]>" \\parser]]] @@ -23,7 +23,7 @@ [macro ["[0]" code]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat]]] ["[0]" time (.only) diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux index 42eded5a5..770bbee0a 100644 --- a/stdlib/source/test/aedifex/package.lux +++ b/stdlib/source/test/aedifex/package.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -33,7 +33,7 @@ ["[0]" / (.only) ["/[1]" // ["[1]" profile] - ["[1][0]" hash (.open: "[1]#[0]" equivalence)] + ["[1][0]" hash (.use "[1]#[0]" equivalence)] ["[1][0]" pom] [dependency ["[1][0]" status]] diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux index f887958b2..c07e675a4 100644 --- a/stdlib/source/test/aedifex/parser.lux +++ b/stdlib/source/test/aedifex/parser.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -15,7 +15,7 @@ [collection ["[0]" set (.only Set)] ["[0]" dictionary (.only Dictionary)] - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux index a4956b3a4..8bb184347 100644 --- a/stdlib/source/test/aedifex/pom.lux +++ b/stdlib/source/test/aedifex/pom.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -9,7 +9,7 @@ ["[0]" exception] ["<>" parser]] [data - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] [format ["[0]" xml (.only) ["<[1]>" \\parser]]]] diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index a71284333..815d7fe4c 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -13,12 +13,12 @@ [parser ["[0]" cli]]] [data - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] [collection ["[0]" set (.only Set)] ["[0]" dictionary (.only Dictionary)]]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat]]] [tool diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux index e66284a31..5f4ebe03e 100644 --- a/stdlib/source/test/aedifex/project.lux +++ b/stdlib/source/test/aedifex/project.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,13 +8,13 @@ ["$[0]" equivalence] ["$[0]" monoid]]] [control - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception]] [data ["[0]" product] - ["[0]" text (.open: "[1]#[0]" equivalence)]] + ["[0]" text (.use "[1]#[0]" equivalence)]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat]]]]] [// diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux index 5ef8a77c8..024752e67 100644 --- a/stdlib/source/test/aedifex/repository.lux +++ b/stdlib/source/test/aedifex/repository.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux index 5b556db20..5c9d77792 100644 --- a/stdlib/source/test/aedifex/repository/identity.lux +++ b/stdlib/source/test/aedifex/repository/identity.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux index 5a6be7777..8eadfd24c 100644 --- a/stdlib/source/test/aedifex/repository/local.lux +++ b/stdlib/source/test/aedifex/repository/local.lux @@ -1,17 +1,17 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] [control - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] [parser ["[0]" environment]] [concurrency ["[0]" async]]] [data - ["[0]" binary (.open: "[1]#[0]" equivalence)] + ["[0]" binary (.use "[1]#[0]" equivalence)] [text [encoding ["[0]" utf8]]]] diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux index a414c8371..b99739009 100644 --- a/stdlib/source/test/aedifex/repository/origin.lux +++ b/stdlib/source/test/aedifex/repository/origin.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux index 1c16ddf09..ceec7c9ec 100644 --- a/stdlib/source/test/aedifex/repository/remote.lux +++ b/stdlib/source/test/aedifex/repository/remote.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -6,13 +6,13 @@ [monad (.only do)]] [control ["[0]" io (.only IO)] - ["[0]" maybe (.open: "[1]#[0]" functor)] - ["[0]" try (.open: "[1]#[0]" monad)] + ["[0]" maybe (.use "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" monad)] ["[0]" exception] ["[0]" function]] [data - ["[0]" binary (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" binary (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)] [encoding ["[0]" utf8]]] diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux index dfe5abfac..25471077d 100644 --- a/stdlib/source/test/aedifex/runtime.lux +++ b/stdlib/source/test/aedifex/runtime.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,14 +7,14 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" maybe (.open: "[1]#[0]" functor)]] + ["[0]" maybe (.use "[1]#[0]" functor)]] [data - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] [collection - ["[0]" list (.open: "[1]#[0]" functor)] + ["[0]" list (.use "[1]#[0]" functor)] ["[0]" set]]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat]]]]] [\\program diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 71f03201e..14bb1ec55 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -1,4 +1,4 @@ -(.`` (.`` (.using +(.`` (.`` (.require [library ["/" lux (.except) [program (.only program:)] @@ -9,28 +9,28 @@ [monad (.only do)]] [control ["[0]" io] - ["[0]" maybe (.open: "[1]#[0]" functor)] + ["[0]" maybe (.use "[1]#[0]" functor)] [concurrency ["[0]" atom (.only Atom)]] [parser ["<[0]>" code]]] [data ["[0]" product] - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" functor)] - ["[0]" set (.only Set) (.open: "[1]#[0]" equivalence)] + ["[0]" list (.use "[1]#[0]" functor)] + ["[0]" set (.only Set) (.use "[1]#[0]" equivalence)] [dictionary ["[0]" plist]]]] ["[0]" macro (.only) [syntax (.only syntax)] ["^" pattern] - ["[0]" code (.open: "[1]#[0]" equivalence)] + ["[0]" code (.use "[1]#[0]" equivalence)] ["[0]" template]] ["[0]" math - ["[0]" random (.open: "[1]#[0]" functor)] + ["[0]" random (.use "[1]#[0]" functor)] [number [i8 (.only)] [i16 (.only)] @@ -39,8 +39,8 @@ ["r" rev] ["f" frac] ["[0]" i64]]] - ["[0]" meta (.open: "[1]#[0]" monad) - ["[0]" location (.open: "[1]#[0]" equivalence)]]]] + ["[0]" meta (.use "[1]#[0]" monad) + ["[0]" location (.use "[1]#[0]" equivalence)]]]] ... TODO: Must have 100% coverage on tests. ["[0]" / ["[1][0]" abstract] @@ -198,7 +198,7 @@ (def static_return 123) -(/.open: "global#[0]" (..global_returner ..static_return)) +(/.use "global#[0]" (..global_returner ..static_return)) (def for_interface Test @@ -212,7 +212,7 @@ (all _.and (_.coverage [/.implementation] (n.= expected (at local_returner return []))) - (_.coverage [/.open:] + (_.coverage [/.use] (n.= static_return (global#return []))) (_.coverage [/.open] (let [(/.open "local#[0]") local_returner] @@ -403,7 +403,7 @@ (~~ (for @.old (~~ (these)) (_.coverage [/.Source] (..found_crosshair?)))) - (_.coverage [/.using] + (_.coverage [/.require] (`` (with_expansions [<referral> ("lux in-module" "library/lux" library/lux.refer) <alias> (static.random code.text (random.lower_case 1)) <definition> (static.random code.local (random.lower_case 1)) @@ -443,50 +443,50 @@ false)))))] (scenario [])))] - [(.using [<module/0>']) + [(.require [<module/0>']) ("lux def module" []) []] - [(.using [<alias> <module/0>' (.except)]) + [(.require [<alias> <module/0>' (.except)]) ("lux def module" [[<module/0> <alias>]]) [(<referral> <module/0> (.except))]] - [(.using [<alias> <module/0>' (.only <definition>)]) + [(.require [<alias> <module/0>' (.only <definition>)]) ("lux def module" [[<module/0> <alias>]]) [(<referral> <module/0> (.only <definition>))]] - [(.using [<alias> <module/0>' (.except <definition>)]) + [(.require [<alias> <module/0>' (.except <definition>)]) ("lux def module" [[<module/0> <alias>]]) [(<referral> <module/0> (.except <definition>))]] - [(.using [<alias> <module/0>']) + [(.require [<alias> <module/0>']) ("lux def module" []) []] - [(.using [<module/0>' + [(.require [<module/0>' [<alias> <module/1>']]) ("lux def module" [[<m0/1> <alias>]]) [(<referral> <m0/1>)]] - [(.using ["[0]" <module/0>' + [(.require ["[0]" <module/0>' ["[0]" <module/1>']]) ("lux def module" [[<module/0> <module/0>] [<m0/1> <module/1>]]) [(<referral> <module/0>) (<referral> <m0/1>)]] - [(.using ["[0]" <module/0>' + [(.require ["[0]" <module/0>' ["[1]" <module/1>']]) ("lux def module" [[<m0/1> <module/0>]]) [(<referral> <m0/1>)]] - [(.using ["[0]" <module/0>' + [(.require ["[0]" <module/0>' ["[1]" <module/1>' ["[2]" <module/2>']]]) ("lux def module" [[<m0/1/2> <module/0>]]) [(<referral> <m0/1/2>)]] - [(.using [<module/0>' + [(.require [<module/0>' ["[0]" <module/1>' ["[0]" <//>']]]) ("lux def module" [[<m0/1> <module/1>] @@ -494,7 +494,7 @@ [(<referral> <m0/1>) (<referral> <m0/2>)]] - [(.using ["[0]" <module/0>' + [(.require ["[0]" <module/0>' [<module/1>' ["[0]" <\\>']]]) ("lux def module" [[<module/0> <module/0>] @@ -502,7 +502,7 @@ [(<referral> <module/0>) (<referral> <m2/1>)]] - [(.using ["[0]" <module/0>' (.open: "[1]#[0]" <definition>)]) + [(.require ["[0]" <module/0>' (.use "[1]#[0]" <definition>)]) ("lux def module" [[<module/0> <module/0>]]) [(<referral> <module/0> (<open/0> <definition>))]] )))))) diff --git a/stdlib/source/test/lux/abstract.lux b/stdlib/source/test/lux/abstract.lux index a20f2f871..eac73fa40 100644 --- a/stdlib/source/test/lux/abstract.lux +++ b/stdlib/source/test/lux/abstract.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)]]] diff --git a/stdlib/source/test/lux/abstract/apply.lux b/stdlib/source/test/lux/abstract/apply.lux index 7eed1d6bc..d7c75cbe2 100644 --- a/stdlib/source/test/lux/abstract/apply.lux +++ b/stdlib/source/test/lux/abstract/apply.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [abstract diff --git a/stdlib/source/test/lux/abstract/codec.lux b/stdlib/source/test/lux/abstract/codec.lux index 8d70588c8..284041caf 100644 --- a/stdlib/source/test/lux/abstract/codec.lux +++ b/stdlib/source/test/lux/abstract/codec.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,7 +7,7 @@ [control ["[0]" try]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] [format ["[0]" json (.only JSON)]]] [math diff --git a/stdlib/source/test/lux/abstract/comonad.lux b/stdlib/source/test/lux/abstract/comonad.lux index 9c752b46d..701ec93db 100644 --- a/stdlib/source/test/lux/abstract/comonad.lux +++ b/stdlib/source/test/lux/abstract/comonad.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [abstract diff --git a/stdlib/source/test/lux/abstract/comonad/free.lux b/stdlib/source/test/lux/abstract/comonad/free.lux index 093f5eda1..fcdec85aa 100644 --- a/stdlib/source/test/lux/abstract/comonad/free.lux +++ b/stdlib/source/test/lux/abstract/comonad/free.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -13,7 +13,7 @@ [data [collection ["[0]" list] - ["[0]" stream (.only Stream) (.open: "[1]#[0]" comonad)]]] + ["[0]" stream (.only Stream) (.use "[1]#[0]" comonad)]]] [math ["[0]" random]]]] [\\library diff --git a/stdlib/source/test/lux/abstract/enum.lux b/stdlib/source/test/lux/abstract/enum.lux index 98a139603..cf2434c0f 100644 --- a/stdlib/source/test/lux/abstract/enum.lux +++ b/stdlib/source/test/lux/abstract/enum.lux @@ -1,15 +1,15 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] [control - ["[0]" maybe (.open: "[1]#[0]" functor)]] + ["[0]" maybe (.use "[1]#[0]" functor)]] [data ["[0]" product] [collection - ["[0]" list (.open: "[1]#[0]" mix)]]] + ["[0]" list (.use "[1]#[0]" mix)]]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/abstract/equivalence.lux b/stdlib/source/test/lux/abstract/equivalence.lux index 339279e00..2518cdf8c 100644 --- a/stdlib/source/test/lux/abstract/equivalence.lux +++ b/stdlib/source/test/lux/abstract/equivalence.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except Variant Record) ["_" test (.only Test)] @@ -11,7 +11,7 @@ [control ["[0]" maybe]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] ["[0]" text] [collection ["[0]" list]]] diff --git a/stdlib/source/test/lux/abstract/functor.lux b/stdlib/source/test/lux/abstract/functor.lux index 33a1df347..9cca3367b 100644 --- a/stdlib/source/test/lux/abstract/functor.lux +++ b/stdlib/source/test/lux/abstract/functor.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/abstract/functor/contravariant.lux b/stdlib/source/test/lux/abstract/functor/contravariant.lux index 12b95bf9d..9478cdcf8 100644 --- a/stdlib/source/test/lux/abstract/functor/contravariant.lux +++ b/stdlib/source/test/lux/abstract/functor/contravariant.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)]]] diff --git a/stdlib/source/test/lux/abstract/hash.lux b/stdlib/source/test/lux/abstract/hash.lux index 153cd1ec2..d3f877507 100644 --- a/stdlib/source/test/lux/abstract/hash.lux +++ b/stdlib/source/test/lux/abstract/hash.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,7 +8,7 @@ [functor ["$[0]" contravariant]]]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/abstract/interval.lux b/stdlib/source/test/lux/abstract/interval.lux index 30ac69ccc..2fa7f5023 100644 --- a/stdlib/source/test/lux/abstract/interval.lux +++ b/stdlib/source/test/lux/abstract/interval.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -18,7 +18,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / (.only Interval) (.open: "[1]#[0]" equivalence)]]) + ["[0]" / (.only Interval) (.use "[1]#[0]" equivalence)]]) (with_template [<name> <cmp>] [(def .public <name> diff --git a/stdlib/source/test/lux/abstract/mix.lux b/stdlib/source/test/lux/abstract/mix.lux index 8754df110..6e171f7ec 100644 --- a/stdlib/source/test/lux/abstract/mix.lux +++ b/stdlib/source/test/lux/abstract/mix.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/abstract/monad.lux b/stdlib/source/test/lux/abstract/monad.lux index 7cfe4f080..783ac4514 100644 --- a/stdlib/source/test/lux/abstract/monad.lux +++ b/stdlib/source/test/lux/abstract/monad.lux @@ -1,11 +1,11 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [data ["[0]" identity (.only Identity)] [collection - ["[0]" list (.open: "[1]#[0]" functor mix)]]] + ["[0]" list (.use "[1]#[0]" functor mix)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/abstract/monad/free.lux b/stdlib/source/test/lux/abstract/monad/free.lux index 8031bf189..4d08fc8c3 100644 --- a/stdlib/source/test/lux/abstract/monad/free.lux +++ b/stdlib/source/test/lux/abstract/monad/free.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -12,7 +12,7 @@ ["$[0]" monad]]] [data [collection - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [math ["[0]" random]]]] [\\library diff --git a/stdlib/source/test/lux/abstract/monoid.lux b/stdlib/source/test/lux/abstract/monoid.lux index 75a5f6863..ceea6703d 100644 --- a/stdlib/source/test/lux/abstract/monoid.lux +++ b/stdlib/source/test/lux/abstract/monoid.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/abstract/order.lux b/stdlib/source/test/lux/abstract/order.lux index 941c9cccb..1dba95703 100644 --- a/stdlib/source/test/lux/abstract/order.lux +++ b/stdlib/source/test/lux/abstract/order.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,7 +8,7 @@ [functor ["$[0]" contravariant]]]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/abstract/predicate.lux b/stdlib/source/test/lux/abstract/predicate.lux index 1d1839804..28d0eed16 100644 --- a/stdlib/source/test/lux/abstract/predicate.lux +++ b/stdlib/source/test/lux/abstract/predicate.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -12,7 +12,7 @@ [control ["[0]" function]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] [collection ["[0]" list]]] [math diff --git a/stdlib/source/test/lux/control.lux b/stdlib/source/test/lux/control.lux index 0f99b21b2..84b144332 100644 --- a/stdlib/source/test/lux/control.lux +++ b/stdlib/source/test/lux/control.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except function) ["_" test (.only Test)]]] diff --git a/stdlib/source/test/lux/control/concatenative.lux b/stdlib/source/test/lux/control/concatenative.lux index 26e98f649..ced371a06 100644 --- a/stdlib/source/test/lux/control/concatenative.lux +++ b/stdlib/source/test/lux/control/concatenative.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -6,7 +6,7 @@ [monad (.only do)]] [data ["[0]" sum] - ["[0]" bit (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)]] [macro ["[0]" template]] [math diff --git a/stdlib/source/test/lux/control/concurrency/actor.lux b/stdlib/source/test/lux/control/concurrency/actor.lux index db84ea614..ecc435a72 100644 --- a/stdlib/source/test/lux/control/concurrency/actor.lux +++ b/stdlib/source/test/lux/control/concurrency/actor.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -22,7 +22,7 @@ ["[0]" / (.only) [// ["[0]" atom (.only Atom)] - ["[0]" async (.only Async Resolver) (.open: "[1]#[0]" monad)] + ["[0]" async (.only Async Resolver) (.use "[1]#[0]" monad)] ["[0]" frp]]]]) (exception: got_wrecked) diff --git a/stdlib/source/test/lux/control/concurrency/async.lux b/stdlib/source/test/lux/control/concurrency/async.lux index 2be98d4d2..c6b1eb864 100644 --- a/stdlib/source/test/lux/control/concurrency/async.lux +++ b/stdlib/source/test/lux/control/concurrency/async.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/control/concurrency/atom.lux b/stdlib/source/test/lux/control/concurrency/atom.lux index 21dbe86d5..43620461b 100644 --- a/stdlib/source/test/lux/control/concurrency/atom.lux +++ b/stdlib/source/test/lux/control/concurrency/atom.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/control/concurrency/frp.lux b/stdlib/source/test/lux/control/concurrency/frp.lux index e2e8c286d..232e483d7 100644 --- a/stdlib/source/test/lux/control/concurrency/frp.lux +++ b/stdlib/source/test/lux/control/concurrency/frp.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -14,7 +14,7 @@ ["[0]" io (.only IO io)]] [data [collection - ["[0]" list (.open: "[1]#[0]" mix monoid)] + ["[0]" list (.use "[1]#[0]" mix monoid)] ["[0]" sequence (.only Sequence)]]] [math ["[0]" random] @@ -25,7 +25,7 @@ [\\library ["[0]" / (.only) [// - ["[0]" async (.only Async) (.open: "[1]#[0]" monad)] + ["[0]" async (.only Async) (.use "[1]#[0]" monad)] ["[0]" atom (.only Atom atom)]]]]) (def injection diff --git a/stdlib/source/test/lux/control/concurrency/semaphore.lux b/stdlib/source/test/lux/control/concurrency/semaphore.lux index 65eef901f..ec1a460c8 100644 --- a/stdlib/source/test/lux/control/concurrency/semaphore.lux +++ b/stdlib/source/test/lux/control/concurrency/semaphore.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -15,10 +15,10 @@ ["[0]" async (.only Async)] ["[0]" atom (.only Atom)]]] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/control/concurrency/stm.lux b/stdlib/source/test/lux/control/concurrency/stm.lux index 3400840ff..c5f5ce325 100644 --- a/stdlib/source/test/lux/control/concurrency/stm.lux +++ b/stdlib/source/test/lux/control/concurrency/stm.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -13,7 +13,7 @@ [data ["[0]" product] [collection - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/control/concurrency/thread.lux b/stdlib/source/test/lux/control/concurrency/thread.lux index e9e9f0c03..87ba8859a 100644 --- a/stdlib/source/test/lux/control/concurrency/thread.lux +++ b/stdlib/source/test/lux/control/concurrency/thread.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/control/continuation.lux b/stdlib/source/test/lux/control/continuation.lux index b0055b0b3..b65f1f41f 100644 --- a/stdlib/source/test/lux/control/continuation.lux +++ b/stdlib/source/test/lux/control/continuation.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/control/exception.lux b/stdlib/source/test/lux/control/exception.lux index b755a370b..e36deb494 100644 --- a/stdlib/source/test/lux/control/exception.lux +++ b/stdlib/source/test/lux/control/exception.lux @@ -1,11 +1,11 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]]] [math ["[0]" random] diff --git a/stdlib/source/test/lux/control/function.lux b/stdlib/source/test/lux/control/function.lux index e867ccdfd..bb688959f 100644 --- a/stdlib/source/test/lux/control/function.lux +++ b/stdlib/source/test/lux/control/function.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/control/function/contract.lux b/stdlib/source/test/lux/control/function/contract.lux index ea99016d5..fcff396f1 100644 --- a/stdlib/source/test/lux/control/function/contract.lux +++ b/stdlib/source/test/lux/control/function/contract.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/control/function/inline.lux b/stdlib/source/test/lux/control/function/inline.lux index ed01e9b0c..441ddef3c 100644 --- a/stdlib/source/test/lux/control/function/inline.lux +++ b/stdlib/source/test/lux/control/function/inline.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/control/function/memo.lux b/stdlib/source/test/lux/control/function/memo.lux index 093f32626..ed8410fa1 100644 --- a/stdlib/source/test/lux/control/function/memo.lux +++ b/stdlib/source/test/lux/control/function/memo.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -6,12 +6,12 @@ [monad (.only do)]] [control ["[0]" io (.only IO)] - ["[0]" state (.only State) (.open: "[1]#[0]" monad)]] + ["[0]" state (.only State) (.use "[1]#[0]" monad)]] [data ["[0]" product] [collection ["[0]" dictionary (.only Dictionary)] - ["[0]" list (.open: "[1]#[0]" functor mix)]]] + ["[0]" list (.use "[1]#[0]" functor mix)]]] [macro ["^" pattern]] [math diff --git a/stdlib/source/test/lux/control/function/mixin.lux b/stdlib/source/test/lux/control/function/mixin.lux index 3e03102fd..e84f4293a 100644 --- a/stdlib/source/test/lux/control/function/mixin.lux +++ b/stdlib/source/test/lux/control/function/mixin.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -13,7 +13,7 @@ [data ["[0]" product] [collection - ["[0]" list (.open: "[1]#[0]" functor mix)]]] + ["[0]" list (.use "[1]#[0]" functor mix)]]] [macro ["^" pattern]] [math diff --git a/stdlib/source/test/lux/control/function/mutual.lux b/stdlib/source/test/lux/control/function/mutual.lux index 433c51b7e..1ec851f5d 100644 --- a/stdlib/source/test/lux/control/function/mutual.lux +++ b/stdlib/source/test/lux/control/function/mutual.lux @@ -1,11 +1,11 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] [text ["%" \\format (.only format)]]] [math diff --git a/stdlib/source/test/lux/control/io.lux b/stdlib/source/test/lux/control/io.lux index 6260f5a74..a9185804e 100644 --- a/stdlib/source/test/lux/control/io.lux +++ b/stdlib/source/test/lux/control/io.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/control/lazy.lux b/stdlib/source/test/lux/control/lazy.lux index 5c9551f71..bdc81dc94 100644 --- a/stdlib/source/test/lux/control/lazy.lux +++ b/stdlib/source/test/lux/control/lazy.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/control/maybe.lux b/stdlib/source/test/lux/control/maybe.lux index 1ca6c8498..6240eb5ec 100644 --- a/stdlib/source/test/lux/control/maybe.lux +++ b/stdlib/source/test/lux/control/maybe.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -12,7 +12,7 @@ ["$[0]" apply] ["$[0]" monad]]] [control - ["[0]" io (.open: "[1]#[0]" monad)] + ["[0]" io (.use "[1]#[0]" monad)] ["[0]" pipe]] [data ["[0]" text] @@ -23,7 +23,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / (.open: "[1]#[0]" monoid monad)]]) + ["[0]" / (.use "[1]#[0]" monoid monad)]]) (def .public test Test diff --git a/stdlib/source/test/lux/control/parser.lux b/stdlib/source/test/lux/control/parser.lux index 9d852ad86..b9a6da76f 100644 --- a/stdlib/source/test/lux/control/parser.lux +++ b/stdlib/source/test/lux/control/parser.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -14,10 +14,10 @@ [parser ["<[0]>" code]]] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/control/parser/cli.lux b/stdlib/source/test/lux/control/parser/cli.lux index c0d0ba4f6..46f04712c 100644 --- a/stdlib/source/test/lux/control/parser/cli.lux +++ b/stdlib/source/test/lux/control/parser/cli.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,7 +8,7 @@ ["[0]" try] ["<>" parser]] [data - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] [collection ["[0]" list]]] [macro @@ -16,7 +16,7 @@ [math ["[0]" random] [number - ["n" nat (.open: "[1]#[0]" decimal)]]]]] + ["n" nat (.use "[1]#[0]" decimal)]]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/control/parser/code.lux b/stdlib/source/test/lux/control/parser/code.lux index 959285faa..a3ba95629 100644 --- a/stdlib/source/test/lux/control/parser/code.lux +++ b/stdlib/source/test/lux/control/parser/code.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except local global) ["_" test (.only Test)] @@ -17,7 +17,7 @@ ["^" pattern] ["[0]" code]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" functor)] + ["[0]" random (.only Random) (.use "[1]#[0]" functor)] [number ["[0]" nat] ["[0]" int] diff --git a/stdlib/source/test/lux/control/parser/environment.lux b/stdlib/source/test/lux/control/parser/environment.lux index ad4bb4711..bc4d924b3 100644 --- a/stdlib/source/test/lux/control/parser/environment.lux +++ b/stdlib/source/test/lux/control/parser/environment.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,7 +8,7 @@ ["[0]" try] ["[0]" exception]] [data - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] [collection ["[0]" dictionary]]] [math @@ -17,7 +17,7 @@ ["n" nat]]]]] [\\library ["[0]" / (.only) - ["/[1]" // (.open: "[1]#[0]" monad)]]]) + ["/[1]" // (.use "[1]#[0]" monad)]]]) (def .public test Test diff --git a/stdlib/source/test/lux/control/parser/tree.lux b/stdlib/source/test/lux/control/parser/tree.lux index 9564e58e1..9ac82705e 100644 --- a/stdlib/source/test/lux/control/parser/tree.lux +++ b/stdlib/source/test/lux/control/parser/tree.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/control/parser/type.lux b/stdlib/source/test/lux/control/parser/type.lux index 4764eb381..7109f9b76 100644 --- a/stdlib/source/test/lux/control/parser/type.lux +++ b/stdlib/source/test/lux/control/parser/type.lux @@ -1,8 +1,8 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] - ["[0]" type (.open: "[1]#[0]" equivalence)] + ["[0]" type (.use "[1]#[0]" equivalence)] [abstract [monad (.only do)]] [control @@ -20,7 +20,7 @@ [number ["n" nat]]] [meta - ["[0]" symbol (.open: "[1]#[0]" equivalence)]]]] + ["[0]" symbol (.use "[1]#[0]" equivalence)]]]] [\\library ["[0]" / (.only) ["/[1]" //]]]) diff --git a/stdlib/source/test/lux/control/pipe.lux b/stdlib/source/test/lux/control/pipe.lux index e818021a2..721b4a975 100644 --- a/stdlib/source/test/lux/control/pipe.lux +++ b/stdlib/source/test/lux/control/pipe.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,7 +7,7 @@ [monad (.only do)]] [data ["[0]" identity] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]]] [math ["[0]" random] diff --git a/stdlib/source/test/lux/control/reader.lux b/stdlib/source/test/lux/control/reader.lux index 57d862206..60feab123 100644 --- a/stdlib/source/test/lux/control/reader.lux +++ b/stdlib/source/test/lux/control/reader.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/control/region.lux b/stdlib/source/test/lux/control/region.lux index 31e6f2f8c..37969d317 100644 --- a/stdlib/source/test/lux/control/region.lux +++ b/stdlib/source/test/lux/control/region.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [type (.only sharing)] diff --git a/stdlib/source/test/lux/control/remember.lux b/stdlib/source/test/lux/control/remember.lux index 2e1a93f38..0ddedd7bd 100644 --- a/stdlib/source/test/lux/control/remember.lux +++ b/stdlib/source/test/lux/control/remember.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -17,7 +17,7 @@ ["%" \\format (.only format)]]] [math [number (.only hex)] - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)]] [time ["[0]" date (.only Date)] ["[0]" instant] diff --git a/stdlib/source/test/lux/control/security/capability.lux b/stdlib/source/test/lux/control/security/capability.lux index efaae0687..d61e32bbe 100644 --- a/stdlib/source/test/lux/control/security/capability.lux +++ b/stdlib/source/test/lux/control/security/capability.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/control/security/policy.lux b/stdlib/source/test/lux/control/security/policy.lux index 52e0f786f..5a403c049 100644 --- a/stdlib/source/test/lux/control/security/policy.lux +++ b/stdlib/source/test/lux/control/security/policy.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -10,7 +10,7 @@ ["$[0]" apply] ["$[0]" monad]]] [data - ["[0]" text (.open: "[1]#[0]" equivalence)]] + ["[0]" text (.use "[1]#[0]" equivalence)]] [macro ["^" pattern]] [math diff --git a/stdlib/source/test/lux/control/state.lux b/stdlib/source/test/lux/control/state.lux index 728304f50..988378358 100644 --- a/stdlib/source/test/lux/control/state.lux +++ b/stdlib/source/test/lux/control/state.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/control/thread.lux b/stdlib/source/test/lux/control/thread.lux index e57457306..40dd3f60f 100644 --- a/stdlib/source/test/lux/control/thread.lux +++ b/stdlib/source/test/lux/control/thread.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/control/try.lux b/stdlib/source/test/lux/control/try.lux index b039e6221..e887e38a8 100644 --- a/stdlib/source/test/lux/control/try.lux +++ b/stdlib/source/test/lux/control/try.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -13,7 +13,7 @@ ["[0]" pipe] ["[0]" io]] [data - ["[0]" text (.open: "[1]#[0]" equivalence)]] + ["[0]" text (.use "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/control/writer.lux b/stdlib/source/test/lux/control/writer.lux index 2b873c6e7..cd37f2c71 100644 --- a/stdlib/source/test/lux/control/writer.lux +++ b/stdlib/source/test/lux/control/writer.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -14,7 +14,7 @@ ["[0]" io]] [data ["[0]" product] - ["[0]" text (.open: "[1]#[0]" equivalence)]] + ["[0]" text (.use "[1]#[0]" equivalence)]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/data.lux b/stdlib/source/test/lux/data.lux index e4668dfc4..b8f19ff62 100644 --- a/stdlib/source/test/lux/data.lux +++ b/stdlib/source/test/lux/data.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux index cdb0d9101..4ae5fc849 100644 --- a/stdlib/source/test/lux/data/binary.lux +++ b/stdlib/source/test/lux/data/binary.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [ffi (.only)] @@ -21,12 +21,12 @@ [data ["[0]" sum] ["[0]" bit] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)] [encoding ["[0]" utf8]]] [collection - ["[0]" list (.open: "[1]#[0]" functor)] + ["[0]" list (.use "[1]#[0]" functor)] ["[0]" sequence] ["[0]" set] [array @@ -45,7 +45,7 @@ [meta ["[0]" symbol]]]] [\\library - ["[0]" / (.only) (.open: "[1]#[0]" equivalence) + ["[0]" / (.only) (.use "[1]#[0]" equivalence) ["!" \\unsafe] ["[0]" \\format] ["[0]" \\parser]]]) diff --git a/stdlib/source/test/lux/data/bit.lux b/stdlib/source/test/lux/data/bit.lux index 7b6b72d08..a0ee85ca0 100644 --- a/stdlib/source/test/lux/data/bit.lux +++ b/stdlib/source/test/lux/data/bit.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/data/collection.lux b/stdlib/source/test/lux/data/collection.lux index 2f85ba057..83351d7c1 100644 --- a/stdlib/source/test/lux/data/collection.lux +++ b/stdlib/source/test/lux/data/collection.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)]]] diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux index 73d2b7b3a..d2be45fa4 100644 --- a/stdlib/source/test/lux/data/collection/array.lux +++ b/stdlib/source/test/lux/data/collection/array.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -13,10 +13,10 @@ ["$[0]" equivalence] ["$[0]" functor (.only Injection)]]] [control - ["[0]" maybe (.open: "[1]#[0]" functor)]] + ["[0]" maybe (.use "[1]#[0]" functor)]] [data ["[0]" bit] - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] [collection ["[0]" list] ["[0]" set]]] diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux index a53a0f042..a96aff9cc 100644 --- a/stdlib/source/test/lux/data/collection/bits.lux +++ b/stdlib/source/test/lux/data/collection/bits.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux index e4207f540..f9eeb51fe 100644 --- a/stdlib/source/test/lux/data/collection/dictionary.lux +++ b/stdlib/source/test/lux/data/collection/dictionary.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -9,13 +9,13 @@ ["$[0]" equivalence] ["$[0]" functor (.only Injection)]]] [control - ["[0]" maybe (.open: "[1]#[0]" functor)] + ["[0]" maybe (.use "[1]#[0]" functor)] ["[0]" try] ["[0]" exception]] [data ["[0]" product] [collection - ["[0]" list (.open: "[1]#[0]" functor)] + ["[0]" list (.use "[1]#[0]" functor)] ["[0]" set]]] [math ["[0]" random] diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux index c90d91cda..24f9415b8 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -9,15 +9,15 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" maybe (.open: "[1]#[0]" monad)]] + ["[0]" maybe (.use "[1]#[0]" monad)]] [data ["[0]" product] - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] [collection ["[0]" set] - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/collection/dictionary/plist.lux b/stdlib/source/test/lux/data/collection/dictionary/plist.lux index 46874e2d1..4b83ece89 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,9 +8,9 @@ ["$[0]" equivalence] ["$[0]" monoid]]] [control - ["[0]" maybe (.open: "[1]#[0]" monad)]] + ["[0]" maybe (.use "[1]#[0]" monad)]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] ["[0]" text] [collection ["[0]" set] diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index 61d1f7a0d..c90d09e27 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -21,7 +21,7 @@ [data ["[0]" bit] ["[0]" product] - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] [collection ["[0]" set]]] [math @@ -30,7 +30,7 @@ ["n" nat] ["[0]" int]]]]] [\\library - ["[0]" / (.open: "[1]#[0]" monad)]]) + ["[0]" / (.use "[1]#[0]" monad)]]) (def bounded_size (Random Nat) diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux index c5fe69611..d047930f2 100644 --- a/stdlib/source/test/lux/data/collection/queue.lux +++ b/stdlib/source/test/lux/data/collection/queue.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,10 +8,10 @@ ["$[0]" equivalence] ["$[0]" functor (.only Injection)]]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] [collection ["[0]" set] - ["[0]" list (.open: "[1]#[0]" monoid)]]] + ["[0]" list (.use "[1]#[0]" monoid)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux index 9013b4a44..13e01a0b3 100644 --- a/stdlib/source/test/lux/data/collection/queue/priority.lux +++ b/stdlib/source/test/lux/data/collection/queue/priority.lux @@ -1,13 +1,13 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract ["[0]" monad (.only do)]] [control - ["[0]" maybe (.open: "[1]#[0]" functor)]] + ["[0]" maybe (.use "[1]#[0]" functor)]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux index c6d9f6d4d..ac58c3008 100644 --- a/stdlib/source/test/lux/data/collection/sequence.lux +++ b/stdlib/source/test/lux/data/collection/sequence.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -15,17 +15,17 @@ ["[0]" try (.only Try)] ["[0]" exception]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] [collection - ["[0]" list (.open: "[1]#[0]" mix)] + ["[0]" list (.use "[1]#[0]" mix)] ["[0]" set]]] [math ["[0]" random] [number ["n" nat]]]]] [\\library - ["[0]" / (.open: "[1]#[0]" monad)]]) + ["[0]" / (.use "[1]#[0]" monad)]]) (def signatures Test diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux index 7dfd3b682..f4544abf4 100644 --- a/stdlib/source/test/lux/data/collection/set.lux +++ b/stdlib/source/test/lux/data/collection/set.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -10,7 +10,7 @@ ["$[0]" hash] ["$[0]" monoid]]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] [collection ["[0]" list]]] [math @@ -18,7 +18,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / (.open: "[1]#[0]" equivalence)]]) + ["[0]" / (.use "[1]#[0]" equivalence)]]) (def gen_nat (Random Nat) diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux index 6a05d80c9..1b48f0fd0 100644 --- a/stdlib/source/test/lux/data/collection/set/multi.lux +++ b/stdlib/source/test/lux/data/collection/set/multi.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -10,10 +10,10 @@ ["$[0]" equivalence] ["$[0]" hash]]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] [collection ["[0]" set] - ["[0]" list (.open: "[1]#[0]" mix)]]] + ["[0]" list (.use "[1]#[0]" mix)]]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index f95f2e481..8827b719f 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,11 +8,11 @@ [\\specification ["$[0]" equivalence]]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] [collection ["[0]" list]]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux index 64339fccd..51dbc5dba 100644 --- a/stdlib/source/test/lux/data/collection/stack.lux +++ b/stdlib/source/test/lux/data/collection/stack.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -10,7 +10,7 @@ [control ["[0]" maybe]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/data/collection/stream.lux b/stdlib/source/test/lux/data/collection/stream.lux index 398873f2f..b8b40e495 100644 --- a/stdlib/source/test/lux/data/collection/stream.lux +++ b/stdlib/source/test/lux/data/collection/stream.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -13,7 +13,7 @@ ["[0]" text (.only) ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux index a302565f9..6e5c5fde7 100644 --- a/stdlib/source/test/lux/data/collection/tree.lux +++ b/stdlib/source/test/lux/data/collection/tree.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -11,7 +11,7 @@ [data ["[0]" product] [collection - ["[0]" list (.open: "[1]#[0]" functor mix)]]] + ["[0]" list (.use "[1]#[0]" functor mix)]]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux index bad7dec35..2f9e4c374 100644 --- a/stdlib/source/test/lux/data/collection/tree/finger.lux +++ b/stdlib/source/test/lux/data/collection/tree/finger.lux @@ -1,15 +1,15 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] [control - ["[0]" maybe (.open: "[1]#[0]" functor)]] + ["[0]" maybe (.use "[1]#[0]" functor)]] [data - ["[0]" text (.open: "[1]#[0]" equivalence monoid)] + ["[0]" text (.use "[1]#[0]" equivalence monoid)] [collection - ["[0]" list (.open: "[1]#[0]" mix)]]] + ["[0]" list (.use "[1]#[0]" mix)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux index c98560160..19f4d71ed 100644 --- a/stdlib/source/test/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -10,7 +10,7 @@ ["$[0]" comonad]]] [control ["[0]" pipe] - ["[0]" maybe (.open: "[1]#[0]" functor)]] + ["[0]" maybe (.use "[1]#[0]" functor)]] [data ["[0]" product] ["[0]" text] diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux index a59494de6..aa77f88f9 100644 --- a/stdlib/source/test/lux/data/color.lux +++ b/stdlib/source/test/lux/data/color.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/data/color/named.lux b/stdlib/source/test/lux/data/color/named.lux index 4365468df..49aeb9f7f 100644 --- a/stdlib/source/test/lux/data/color/named.lux +++ b/stdlib/source/test/lux/data/color/named.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux index 1f626c15d..4dd656edd 100644 --- a/stdlib/source/test/lux/data/format/json.lux +++ b/stdlib/source/test/lux/data/format/json.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except Variant Record) ["_" test (.only Test)] @@ -17,17 +17,17 @@ ["[0]" pipe] ["[0]" maybe] ["[0]" exception] - ["[0]" try (.open: "[1]#[0]" functor)]] + ["[0]" try (.use "[1]#[0]" functor)]] [data ["[0]" product] ["[0]" bit] ["[0]" text (.only) ["%" \\format (.only format)]] [collection - ["[0]" sequence (.only sequence) (.open: "[1]#[0]" functor)] + ["[0]" sequence (.only sequence) (.use "[1]#[0]" functor)] ["[0]" dictionary (.only Dictionary)] ["[0]" set] - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] ["[0]" macro (.only) ["^" pattern] ["[0]" syntax (.only syntax)] @@ -48,7 +48,7 @@ ["[0]" \\polytypic] ["[0]" \\parser] [\\library - ["[0]" / (.only JSON) (.open: "[1]#[0]" equivalence)]]) + ["[0]" / (.only JSON) (.use "[1]#[0]" equivalence)]]) (def !expect (template (_ <pattern> <value>) diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux index dad5eea06..5cf8a6d35 100644 --- a/stdlib/source/test/lux/data/format/tar.lux +++ b/stdlib/source/test/lux/data/format/tar.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -11,10 +11,10 @@ ["[0]" exception]] [data ["[0]" product] - ["[0]" binary (.open: "[1]#[0]" equivalence monoid) + ["[0]" binary (.use "[1]#[0]" equivalence monoid) ["<b>" \\parser] ["[0]" \\format]] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)] [encoding ["[0]" utf8]] @@ -23,7 +23,7 @@ ["[1]/[0]" block]]] [collection ["[0]" sequence] - ["[0]" list (.open: "[1]#[0]" mix)]]] + ["[0]" list (.use "[1]#[0]" mix)]]] [time ["[0]" instant (.only Instant)] ["[0]" duration]] diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux index d003276e9..53f9346c0 100644 --- a/stdlib/source/test/lux/data/format/xml.lux +++ b/stdlib/source/test/lux/data/format/xml.lux @@ -1,36 +1,36 @@ -(.using +(.require [library [lux (.except char symbol) ["_" test (.only Test)] - ["[0]" type (.open: "[1]#[0]" equivalence)] + ["[0]" type (.use "[1]#[0]" equivalence)] [abstract [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" codec]]] [control - ["<>" parser (.open: "[1]#[0]" monad)] + ["<>" parser (.use "[1]#[0]" monad)] ["[0]" maybe] - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception]] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [collection ["[0]" dictionary] - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [macro ["^" pattern] ["[0]" template]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat]]] [meta - ["[0]" symbol (.open: "[1]#[0]" equivalence)]]]] + ["[0]" symbol (.use "[1]#[0]" equivalence)]]]] ["[0]" \\parser] [\\library - ["[0]" / (.open: "[1]#[0]" equivalence)]]) + ["[0]" / (.use "[1]#[0]" equivalence)]]) (def !expect (template (_ <pattern> <value>) diff --git a/stdlib/source/test/lux/data/identity.lux b/stdlib/source/test/lux/data/identity.lux index b7d1ff001..050117d2d 100644 --- a/stdlib/source/test/lux/data/identity.lux +++ b/stdlib/source/test/lux/data/identity.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/data/product.lux b/stdlib/source/test/lux/data/product.lux index df2d4dc93..2bfd265f8 100644 --- a/stdlib/source/test/lux/data/product.lux +++ b/stdlib/source/test/lux/data/product.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux index fd3f4fecc..d4b18571d 100644 --- a/stdlib/source/test/lux/data/sum.lux +++ b/stdlib/source/test/lux/data/sum.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -12,7 +12,7 @@ [data ["[0]" text] [collection - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux index 15e456a9c..8a71ca938 100644 --- a/stdlib/source/test/lux/data/text.lux +++ b/stdlib/source/test/lux/data/text.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except char) ["_" test (.only Test)] @@ -25,7 +25,7 @@ ["[0]" bit] [collection ["[0]" set] - ["[0]" list (.open: "[1]#[0]" functor)] + ["[0]" list (.use "[1]#[0]" functor)] [tree ["[0]" finger]]] [format @@ -39,7 +39,7 @@ ["^" pattern] ["[0]" code]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] ["[0]" modulus] ["[0]" modular] [number @@ -75,7 +75,7 @@ ["[1][0]" unicode ["[1]" set]]] [\\library - ["[0]" / (.open: "[1]#[0]" equivalence)]] + ["[0]" / (.use "[1]#[0]" equivalence)]] ["[0]" \\parser] ["[0]" \\format]) diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux index f11248cd8..3d8e4b250 100644 --- a/stdlib/source/test/lux/data/text/buffer.lux +++ b/stdlib/source/test/lux/data/text/buffer.lux @@ -1,11 +1,11 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]]] [math ["[0]" random (.only Random)] diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux index a3686fc6a..15c1b5bbb 100644 --- a/stdlib/source/test/lux/data/text/encoding.lux +++ b/stdlib/source/test/lux/data/text/encoding.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -10,9 +10,9 @@ ["[0]" maybe] ["[0]" try]] [data - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] [collection - ["[0]" list (.open: "[1]#[0]" mix)] + ["[0]" list (.use "[1]#[0]" mix)] ["[0]" set]]] [macro ["[0]" template]] diff --git a/stdlib/source/test/lux/data/text/encoding/utf8.lux b/stdlib/source/test/lux/data/text/encoding/utf8.lux index e7cdc660d..e8e4df424 100644 --- a/stdlib/source/test/lux/data/text/encoding/utf8.lux +++ b/stdlib/source/test/lux/data/text/encoding/utf8.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux index 082f638c2..b2536f305 100644 --- a/stdlib/source/test/lux/data/text/escape.lux +++ b/stdlib/source/test/lux/data/text/escape.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -12,8 +12,8 @@ [parser ["<[0]>" code]]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.only Char) (.open: "[1]#[0]" equivalence) + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.only Char) (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [collection ["[0]" set (.only Set)]]] diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux index 787d432a6..08403a42d 100644 --- a/stdlib/source/test/lux/data/text/regex.lux +++ b/stdlib/source/test/lux/data/text/regex.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -10,7 +10,7 @@ [parser ["<[0]>" code]]] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)] ["<[1]>" \\parser (.only Parser)]]] ["[0]" macro (.only) diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux index 4c07e1531..ff4c5b773 100644 --- a/stdlib/source/test/lux/data/text/unicode/block.lux +++ b/stdlib/source/test/lux/data/text/unicode/block.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux index e2bbc663c..da4ea8e60 100644 --- a/stdlib/source/test/lux/data/text/unicode/set.lux +++ b/stdlib/source/test/lux/data/text/unicode/set.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,9 +8,9 @@ ["$[0]" equivalence]]] [data ["[0]" product] - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] [collection - ["[0]" set (.open: "[1]#[0]" equivalence)]]] + ["[0]" set (.use "[1]#[0]" equivalence)]]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux index 4888bc61b..77c56d59f 100644 --- a/stdlib/source/test/lux/debug.lux +++ b/stdlib/source/test/lux/debug.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -6,15 +6,15 @@ [abstract [monad (.only do)]] [control - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception] [parser ["<[0]>" code]]] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" functor)]] + ["[0]" list (.use "[1]#[0]" functor)]] [format [json (.only JSON)] [xml (.only XML)]]] diff --git a/stdlib/source/test/lux/documentation.lux b/stdlib/source/test/lux/documentation.lux index ddfc1c876..001e79cfc 100644 --- a/stdlib/source/test/lux/documentation.lux +++ b/stdlib/source/test/lux/documentation.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -9,7 +9,7 @@ [parser ["<[0]>" code]]] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format]] [format ["md" markdown]]] diff --git a/stdlib/source/test/lux/extension.lux b/stdlib/source/test/lux/extension.lux index 81fa7e1df..c61e11805 100644 --- a/stdlib/source/test/lux/extension.lux +++ b/stdlib/source/test/lux/extension.lux @@ -1,4 +1,4 @@ -(.`` (.`` (.using +(.`` (.`` (.require [library [lux (.except) ["[0]" debug] @@ -19,18 +19,18 @@ [abstract ["[0]" monad (.only do)]] [control - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] ["<>" parser (.only) ["<[0]>" code]]] [data ["[0]" product] ["[0]" binary (.only) ["[1]F" \\format]] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [collection ["[0]" sequence] - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [macro ["[0]" template]] [math diff --git a/stdlib/source/test/lux/ffi.js.lux b/stdlib/source/test/lux/ffi.js.lux index 19d33cae6..658afb55b 100644 --- a/stdlib/source/test/lux/ffi.js.lux +++ b/stdlib/source/test/lux/ffi.js.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,8 +7,8 @@ [control ["[0]" try]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux index fde11038a..3c6ded17e 100644 --- a/stdlib/source/test/lux/ffi.jvm.lux +++ b/stdlib/source/test/lux/ffi.jvm.lux @@ -1,8 +1,8 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] - ["[0]" type (.open: "[1]#[0]" equivalence)] + ["[0]" type (.use "[1]#[0]" equivalence)] ["[0]" meta] ["[0]" debug] ["[0]" static] @@ -11,13 +11,13 @@ [control ["[0]" io] ["[0]" pipe] - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception] [parser ["<[0]>" code]]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [collection ["[0]" array (.only Array)]]] @@ -26,15 +26,15 @@ ["[0]" code] ["[0]" template]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number (.only hex) ["[0]" i64] ["n" nat] - ["i" int (.open: "[1]#[0]" equivalence)] - ["f" frac (.open: "[1]#[0]" equivalence)]]] + ["i" int (.use "[1]#[0]" equivalence)] + ["f" frac (.use "[1]#[0]" equivalence)]]] [target ["[0]" jvm - ["[1]" type (.open: "[1]#[0]" equivalence)]]]]] + ["[1]" type (.use "[1]#[0]" equivalence)]]]]] [\\library ["[0]" /]] ["$[0]" / diff --git a/stdlib/source/test/lux/ffi.lua.lux b/stdlib/source/test/lux/ffi.lua.lux index aac4a2091..7fa095e17 100644 --- a/stdlib/source/test/lux/ffi.lua.lux +++ b/stdlib/source/test/lux/ffi.lua.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/ffi.old.lux b/stdlib/source/test/lux/ffi.old.lux index 9fc124852..e768fbff8 100644 --- a/stdlib/source/test/lux/ffi.old.lux +++ b/stdlib/source/test/lux/ffi.old.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,7 +8,7 @@ [control ["[0]" pipe]] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]]] [macro ["[0]" template]] @@ -18,7 +18,7 @@ ["n" nat] ["i" int] ["f" frac]]] - ["[0]" type (.open: "[1]#[0]" equivalence)]]] + ["[0]" type (.use "[1]#[0]" equivalence)]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/ffi.php.lux b/stdlib/source/test/lux/ffi.php.lux index 4e4537188..b047e35fa 100644 --- a/stdlib/source/test/lux/ffi.php.lux +++ b/stdlib/source/test/lux/ffi.php.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,7 +7,7 @@ [control ["[0]" try]] [data - ["[0]" text (.open: "[1]#[0]" equivalence)]] + ["[0]" text (.use "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/ffi.py.lux b/stdlib/source/test/lux/ffi.py.lux index b559ee5c3..55a2597ca 100644 --- a/stdlib/source/test/lux/ffi.py.lux +++ b/stdlib/source/test/lux/ffi.py.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/ffi.rb.lux b/stdlib/source/test/lux/ffi.rb.lux index 7f2c25334..1fc224a9d 100644 --- a/stdlib/source/test/lux/ffi.rb.lux +++ b/stdlib/source/test/lux/ffi.rb.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/ffi.scm.lux b/stdlib/source/test/lux/ffi.scm.lux index 4e4537188..b047e35fa 100644 --- a/stdlib/source/test/lux/ffi.scm.lux +++ b/stdlib/source/test/lux/ffi.scm.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,7 +7,7 @@ [control ["[0]" try]] [data - ["[0]" text (.open: "[1]#[0]" equivalence)]] + ["[0]" text (.use "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/ffi/export.js.lux b/stdlib/source/test/lux/ffi/export.js.lux index a0d5dcf16..073463498 100644 --- a/stdlib/source/test/lux/ffi/export.js.lux +++ b/stdlib/source/test/lux/ffi/export.js.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/ffi/export.jvm.lux b/stdlib/source/test/lux/ffi/export.jvm.lux index efa8d80fb..b4e827e14 100644 --- a/stdlib/source/test/lux/ffi/export.jvm.lux +++ b/stdlib/source/test/lux/ffi/export.jvm.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,18 +8,18 @@ [abstract [monad (.only do)]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format]]] [macro ["[0]" code] ["[0]" template]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number (.only hex) ["[0]" i64] - ["[0]" int (.open: "[1]#[0]" equivalence)] - ["[0]" frac (.open: "[1]#[0]" equivalence)]]]]] + ["[0]" int (.use "[1]#[0]" equivalence)] + ["[0]" frac (.use "[1]#[0]" equivalence)]]]]] [\\library ["[0]" / (.only) ["/[1]" //]]]) diff --git a/stdlib/source/test/lux/ffi/export.lua.lux b/stdlib/source/test/lux/ffi/export.lua.lux index 8af9418af..2f3c6fdeb 100644 --- a/stdlib/source/test/lux/ffi/export.lua.lux +++ b/stdlib/source/test/lux/ffi/export.lua.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/ffi/export.py.lux b/stdlib/source/test/lux/ffi/export.py.lux index a0d5dcf16..073463498 100644 --- a/stdlib/source/test/lux/ffi/export.py.lux +++ b/stdlib/source/test/lux/ffi/export.py.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/ffi/export.rb.lux b/stdlib/source/test/lux/ffi/export.rb.lux index 3b17b4c2c..64b57eee8 100644 --- a/stdlib/source/test/lux/ffi/export.rb.lux +++ b/stdlib/source/test/lux/ffi/export.rb.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/locale.lux b/stdlib/source/test/lux/locale.lux index 8d114aacd..b7c99d34a 100644 --- a/stdlib/source/test/lux/locale.lux +++ b/stdlib/source/test/lux/locale.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,9 +8,9 @@ ["$[0]" equivalence] ["$[0]" hash]]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)]] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["[0]" encoding (.only Encoding)]] [collection ["[0]" list]]]]] diff --git a/stdlib/source/test/lux/locale/language.lux b/stdlib/source/test/lux/locale/language.lux index 010328aeb..feb665622 100644 --- a/stdlib/source/test/lux/locale/language.lux +++ b/stdlib/source/test/lux/locale/language.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -13,7 +13,7 @@ ["[0]" text] [collection ["[0]" set (.only Set)] - ["[0]" list (.open: "[1]#[0]" functor mix)]]] + ["[0]" list (.use "[1]#[0]" functor mix)]]] [macro ["[0]" template]] [math diff --git a/stdlib/source/test/lux/locale/territory.lux b/stdlib/source/test/lux/locale/territory.lux index 8ad7741d7..5791c88d0 100644 --- a/stdlib/source/test/lux/locale/territory.lux +++ b/stdlib/source/test/lux/locale/territory.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -13,7 +13,7 @@ ["[0]" text] [collection ["[0]" set (.only Set)] - ["[0]" list (.open: "[1]#[0]" functor mix)]]] + ["[0]" list (.use "[1]#[0]" functor mix)]]] [macro ["[0]" template]] [math diff --git a/stdlib/source/test/lux/macro.lux b/stdlib/source/test/lux/macro.lux index bbedbc302..445792fb6 100644 --- a/stdlib/source/test/lux/macro.lux +++ b/stdlib/source/test/lux/macro.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -6,11 +6,11 @@ [abstract [monad (.only do)]] [control - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] [parser ["<[0]>" code]]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] ["[0]" text (.only) ["%" \\format (.only format)]] [collection @@ -18,7 +18,7 @@ [macro ["^" pattern]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" functor)] + ["[0]" random (.only Random) (.use "[1]#[0]" functor)] [number ["n" nat]]] ["[0]" meta (.only) @@ -27,7 +27,7 @@ [\\library ["[0]" / (.only) [syntax (.only syntax)] - ["[0]" code (.open: "[1]#[0]" equivalence)] + ["[0]" code (.use "[1]#[0]" equivalence)] ["[0]" template]]] ["[0]" / ["[1][0]" code] diff --git a/stdlib/source/test/lux/macro/code.lux b/stdlib/source/test/lux/macro/code.lux index ee22f74ce..172aeb2ee 100644 --- a/stdlib/source/test/lux/macro/code.lux +++ b/stdlib/source/test/lux/macro/code.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -12,9 +12,9 @@ ["[0]" product] ["[0]" text] [collection - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat]]] [meta diff --git a/stdlib/source/test/lux/macro/local.lux b/stdlib/source/test/lux/macro/local.lux index 96d883a6e..708741dfe 100644 --- a/stdlib/source/test/lux/macro/local.lux +++ b/stdlib/source/test/lux/macro/local.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except with) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/macro/pattern.lux b/stdlib/source/test/lux/macro/pattern.lux index b1047a7ea..2f28518bd 100644 --- a/stdlib/source/test/lux/macro/pattern.lux +++ b/stdlib/source/test/lux/macro/pattern.lux @@ -1,11 +1,11 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)]] [macro ["[0]" code]] [math diff --git a/stdlib/source/test/lux/macro/syntax.lux b/stdlib/source/test/lux/macro/syntax.lux index 8af853dbf..f39809d9b 100644 --- a/stdlib/source/test/lux/macro/syntax.lux +++ b/stdlib/source/test/lux/macro/syntax.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/macro/syntax/check.lux b/stdlib/source/test/lux/macro/syntax/check.lux index 5177ef24b..b671b807e 100644 --- a/stdlib/source/test/lux/macro/syntax/check.lux +++ b/stdlib/source/test/lux/macro/syntax/check.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -13,7 +13,7 @@ [math ["[0]" random (.only Random)]] [macro - ["[0]" code (.open: "[1]#[0]" equivalence)]]]] + ["[0]" code (.use "[1]#[0]" equivalence)]]]] [\\library ["[0]" /]] ["$[0]" /// diff --git a/stdlib/source/test/lux/macro/syntax/declaration.lux b/stdlib/source/test/lux/macro/syntax/declaration.lux index 87756b7e3..9a23d3051 100644 --- a/stdlib/source/test/lux/macro/syntax/declaration.lux +++ b/stdlib/source/test/lux/macro/syntax/declaration.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/macro/syntax/definition.lux b/stdlib/source/test/lux/macro/syntax/definition.lux index b3fba4489..8238856c9 100644 --- a/stdlib/source/test/lux/macro/syntax/definition.lux +++ b/stdlib/source/test/lux/macro/syntax/definition.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -12,7 +12,7 @@ ["<>" parser (.only) ["<[0]>" code]]] [macro - ["[0]" code (.open: "[1]#[0]" equivalence)]] + ["[0]" code (.use "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)]] [meta diff --git a/stdlib/source/test/lux/macro/syntax/export.lux b/stdlib/source/test/lux/macro/syntax/export.lux index f1a4c2ff0..5d2a0d23a 100644 --- a/stdlib/source/test/lux/macro/syntax/export.lux +++ b/stdlib/source/test/lux/macro/syntax/export.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -6,11 +6,11 @@ [monad (.only do)]] [control ["[0]" maybe] - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] [parser ["<[0]>" code]]] [macro - ["[0]" code (.open: "[1]#[0]" equivalence)]] + ["[0]" code (.use "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/macro/syntax/input.lux b/stdlib/source/test/lux/macro/syntax/input.lux index 19c15072d..9a865ff13 100644 --- a/stdlib/source/test/lux/macro/syntax/input.lux +++ b/stdlib/source/test/lux/macro/syntax/input.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/macro/syntax/type/variable.lux b/stdlib/source/test/lux/macro/syntax/type/variable.lux index e811c8a57..f242a972a 100644 --- a/stdlib/source/test/lux/macro/syntax/type/variable.lux +++ b/stdlib/source/test/lux/macro/syntax/type/variable.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] [parser ["<[0]>" code]]] [math diff --git a/stdlib/source/test/lux/macro/template.lux b/stdlib/source/test/lux/macro/template.lux index ee2176248..2b8733643 100644 --- a/stdlib/source/test/lux/macro/template.lux +++ b/stdlib/source/test/lux/macro/template.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/math.lux b/stdlib/source/test/lux/math.lux index 4d3464ef6..ad1107e49 100644 --- a/stdlib/source/test/lux/math.lux +++ b/stdlib/source/test/lux/math.lux @@ -1,11 +1,11 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)]] [macro ["[0]" template]] [math diff --git a/stdlib/source/test/lux/math/infix.lux b/stdlib/source/test/lux/math/infix.lux index badd95dc1..7e5aa1cd0 100644 --- a/stdlib/source/test/lux/math/infix.lux +++ b/stdlib/source/test/lux/math/infix.lux @@ -1,11 +1,11 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/math/logic/continuous.lux b/stdlib/source/test/lux/math/logic/continuous.lux index fd4c1d97f..b16d7d3db 100644 --- a/stdlib/source/test/lux/math/logic/continuous.lux +++ b/stdlib/source/test/lux/math/logic/continuous.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/math/logic/fuzzy.lux b/stdlib/source/test/lux/math/logic/fuzzy.lux index 8aeab5de4..8336d39ef 100644 --- a/stdlib/source/test/lux/math/logic/fuzzy.lux +++ b/stdlib/source/test/lux/math/logic/fuzzy.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -9,7 +9,7 @@ [functor ["$[0]" contravariant]]]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] [collection ["[0]" list] ["[0]" set]]] diff --git a/stdlib/source/test/lux/math/modular.lux b/stdlib/source/test/lux/math/modular.lux index bccbdc3e0..b3a516885 100644 --- a/stdlib/source/test/lux/math/modular.lux +++ b/stdlib/source/test/lux/math/modular.lux @@ -1,8 +1,8 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] - ["[0]" type (.open: "[1]#[0]" equivalence)] + ["[0]" type (.use "[1]#[0]" equivalence)] [abstract [monad (.only do)] ["[0]" predicate] @@ -16,7 +16,7 @@ ["[0]" exception]] [data ["[0]" product] - ["[0]" bit (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/math/modulus.lux b/stdlib/source/test/lux/math/modulus.lux index c360ffd2d..5109bb34b 100644 --- a/stdlib/source/test/lux/math/modulus.lux +++ b/stdlib/source/test/lux/math/modulus.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/math/number.lux b/stdlib/source/test/lux/math/number.lux index d5f49461e..eee2638dc 100644 --- a/stdlib/source/test/lux/math/number.lux +++ b/stdlib/source/test/lux/math/number.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/math/number/complex.lux b/stdlib/source/test/lux/math/number/complex.lux index 2790964d4..dbecb18ad 100644 --- a/stdlib/source/test/lux/math/number/complex.lux +++ b/stdlib/source/test/lux/math/number/complex.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,7 +8,7 @@ ["$[0]" equivalence]]] [data [collection - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [math ["[0]" random (.only Random)]]]] [\\library diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux index 9c97d2835..6dd688c59 100644 --- a/stdlib/source/test/lux/math/number/frac.lux +++ b/stdlib/source/test/lux/math/number/frac.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -13,7 +13,7 @@ ["$[0]" monoid] ["$[0]" codec]]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)]] [macro ["[0]" template]] [math diff --git a/stdlib/source/test/lux/math/number/i16.lux b/stdlib/source/test/lux/math/number/i16.lux index 9fbc74498..efc96c804 100644 --- a/stdlib/source/test/lux/math/number/i16.lux +++ b/stdlib/source/test/lux/math/number/i16.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/math/number/i32.lux b/stdlib/source/test/lux/math/number/i32.lux index 43b9d3547..5c6ae320f 100644 --- a/stdlib/source/test/lux/math/number/i32.lux +++ b/stdlib/source/test/lux/math/number/i32.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/math/number/i64.lux b/stdlib/source/test/lux/math/number/i64.lux index c389f5119..e281fcb28 100644 --- a/stdlib/source/test/lux/math/number/i64.lux +++ b/stdlib/source/test/lux/math/number/i64.lux @@ -1,9 +1,9 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)]] [abstract [monad (.only do)] [\\specification @@ -13,7 +13,7 @@ [math ["[0]" random (.only Random)]]]] [\\library - ["[0]" / (.open: "[1]#[0]" equivalence) + ["[0]" / (.use "[1]#[0]" equivalence) [// (.only 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 851d6aef7..c8c791d44 100644 --- a/stdlib/source/test/lux/math/number/i8.lux +++ b/stdlib/source/test/lux/math/number/i8.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/math/number/int.lux b/stdlib/source/test/lux/math/number/int.lux index 9e343f98a..c5fb9e6a2 100644 --- a/stdlib/source/test/lux/math/number/int.lux +++ b/stdlib/source/test/lux/math/number/int.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -13,7 +13,7 @@ ["$[0]" monoid] ["$[0]" codec]]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)]]]] [\\library diff --git a/stdlib/source/test/lux/math/number/nat.lux b/stdlib/source/test/lux/math/number/nat.lux index 9d70c9702..a2ac6589b 100644 --- a/stdlib/source/test/lux/math/number/nat.lux +++ b/stdlib/source/test/lux/math/number/nat.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -13,7 +13,7 @@ ["$[0]" monoid] ["$[0]" codec]]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)]] [math ["[0]" random]]]] [\\library diff --git a/stdlib/source/test/lux/math/number/ratio.lux b/stdlib/source/test/lux/math/number/ratio.lux index 147853cf7..9865db7ed 100644 --- a/stdlib/source/test/lux/math/number/ratio.lux +++ b/stdlib/source/test/lux/math/number/ratio.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -10,15 +10,15 @@ ["$[0]" monoid] ["$[0]" codec]]] [control - ["[0]" maybe (.open: "[1]#[0]" functor)]] + ["[0]" maybe (.use "[1]#[0]" functor)]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)]]]] [\\library ["[0]" / (.only) [// - ["n" nat (.open: "[1]#[0]" equivalence)]]]]) + ["n" nat (.use "[1]#[0]" equivalence)]]]]) (def part (Random Nat) diff --git a/stdlib/source/test/lux/math/number/rev.lux b/stdlib/source/test/lux/math/number/rev.lux index 932ab3e25..570013717 100644 --- a/stdlib/source/test/lux/math/number/rev.lux +++ b/stdlib/source/test/lux/math/number/rev.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -13,7 +13,7 @@ ["$[0]" monoid] ["$[0]" codec]]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)]] [math ["[0]" random]]]] [\\library @@ -21,7 +21,7 @@ [// (.only hex) ["n" nat] ["f" frac] - ["[0]" i64 (.open: "[1]#[0]" hash)]]]]) + ["[0]" i64 (.use "[1]#[0]" hash)]]]]) (def signature Test diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux index 2b99ba948..51b89ebfc 100644 --- a/stdlib/source/test/lux/meta.lux +++ b/stdlib/source/test/lux/meta.lux @@ -1,8 +1,8 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] - ["[0]" type (.open: "[1]#[0]" equivalence)] + ["[0]" type (.use "[1]#[0]" equivalence)] [abstract [equivalence (.only Equivalence)] [monad (.only do)] @@ -12,14 +12,14 @@ ["$[0]" monad]]] [control ["[0]" maybe] - ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]] + ["[0]" try (.only Try) (.use "[1]#[0]" functor)]] [data ["[0]" product] - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" functor monoid)] + ["[0]" list (.use "[1]#[0]" functor monoid)] ["[0]" set]]] [macro ["^" pattern]] @@ -29,7 +29,7 @@ ["n" nat]]] [meta ["[0]" location] - ["[0]" symbol (.open: "[1]#[0]" equivalence)]]]] + ["[0]" symbol (.use "[1]#[0]" equivalence)]]]] [\\library ["[0]" /]] ["[0]" / diff --git a/stdlib/source/test/lux/meta/configuration.lux b/stdlib/source/test/lux/meta/configuration.lux index ff85808b5..c6c78c549 100644 --- a/stdlib/source/test/lux/meta/configuration.lux +++ b/stdlib/source/test/lux/meta/configuration.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -9,7 +9,7 @@ ["$[0]" equivalence] ["$[0]" monoid]]] [control - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception] ["<>" parser (.only) ["<[0]>" code]]] @@ -22,7 +22,7 @@ [syntax (.only syntax)] ["[0]" code]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/meta/location.lux b/stdlib/source/test/lux/meta/location.lux index 5016b6aca..de92d9eac 100644 --- a/stdlib/source/test/lux/meta/location.lux +++ b/stdlib/source/test/lux/meta/location.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/meta/symbol.lux b/stdlib/source/test/lux/meta/symbol.lux index 3e279949b..f7825cfe8 100644 --- a/stdlib/source/test/lux/meta/symbol.lux +++ b/stdlib/source/test/lux/meta/symbol.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/meta/version.lux b/stdlib/source/test/lux/meta/version.lux index 6767da8dd..360cbaa5f 100644 --- a/stdlib/source/test/lux/meta/version.lux +++ b/stdlib/source/test/lux/meta/version.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/program.lux b/stdlib/source/test/lux/program.lux index 91078279e..fb87397ee 100644 --- a/stdlib/source/test/lux/program.lux +++ b/stdlib/source/test/lux/program.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/static.lux b/stdlib/source/test/lux/static.lux index ebc642bb7..95896cb7c 100644 --- a/stdlib/source/test/lux/static.lux +++ b/stdlib/source/test/lux/static.lux @@ -1,18 +1,18 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] ["@" target] ["[0]" meta] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" mix)]]] + ["[0]" list (.use "[1]#[0]" mix)]]] [macro ["[0]" code]] [math - ["[0]" random (.open: "[1]#[0]" functor)] + ["[0]" random (.use "[1]#[0]" functor)] [number ["n" nat] ["i" int] diff --git a/stdlib/source/test/lux/target.lux b/stdlib/source/test/lux/target.lux index 549a9059f..f0010eb83 100644 --- a/stdlib/source/test/lux/target.lux +++ b/stdlib/source/test/lux/target.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except all) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/target/js.lux b/stdlib/source/test/lux/target/js.lux index 82462679f..2494bf9b3 100644 --- a/stdlib/source/test/lux/target/js.lux +++ b/stdlib/source/test/lux/target/js.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -9,18 +9,18 @@ [control ["[0]" pipe] ["[0]" function] - ["[0]" maybe (.open: "[1]#[0]" functor)] - ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]] + ["[0]" maybe (.use "[1]#[0]" functor)] + ["[0]" try (.only Try) (.use "[1]#[0]" functor)]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.only \n) (.open: "[1]#[0]" equivalence) + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.only \n) (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [macro ["[0]" template]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat] ["i" int] diff --git a/stdlib/source/test/lux/target/jvm.lux b/stdlib/source/test/lux/target/jvm.lux index 322631e71..b3cd98618 100644 --- a/stdlib/source/test/lux/target/jvm.lux +++ b/stdlib/source/test/lux/target/jvm.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except Type Primitive Label type int) ["[0]" ffi (.only import)] @@ -13,8 +13,8 @@ [concurrency ["[0]" atom]]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] ["[0]" binary ["[1]" \\format]] @@ -23,9 +23,9 @@ ["[0]" dictionary] ["[0]" sequence] ["[0]" set] - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat] ["i" int] @@ -37,7 +37,7 @@ ["[0]" / ["[1][0]" loader (.only Library)] ["[1][0]" version] - ["[1][0]" modifier (.open: "[1]#[0]" monoid)] + ["[1][0]" modifier (.use "[1]#[0]" monoid)] ["[1][0]" field] ["[1][0]" method (.only Method)] ["[1][0]" class] diff --git a/stdlib/source/test/lux/target/lua.lux b/stdlib/source/test/lux/target/lua.lux index 0ada22cf1..738eb18c4 100644 --- a/stdlib/source/test/lux/target/lua.lux +++ b/stdlib/source/test/lux/target/lua.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -12,18 +12,18 @@ [control ["[0]" pipe] ["[0]" function] - ["[0]" maybe (.open: "[1]#[0]" functor)] - ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]] + ["[0]" maybe (.use "[1]#[0]" functor)] + ["[0]" try (.only Try) (.use "[1]#[0]" functor)]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.only \n) (.open: "[1]#[0]" equivalence) + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.only \n) (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [macro ["[0]" template]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat] ["i" int] diff --git a/stdlib/source/test/lux/target/python.lux b/stdlib/source/test/lux/target/python.lux index 44c9e4dc9..7fa88daf7 100644 --- a/stdlib/source/test/lux/target/python.lux +++ b/stdlib/source/test/lux/target/python.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -12,25 +12,25 @@ ["$[0]" hash]]] [control ["[0]" function] - ["[0]" maybe (.open: "[1]#[0]" functor)] - ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]] + ["[0]" maybe (.use "[1]#[0]" functor)] + ["[0]" try (.only Try) (.use "[1]#[0]" functor)]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [macro ["[0]" code]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat] ["i" int] ["f" frac] ["[0]" i64]]]]] [\\library - ["[0]" / (.open: "[1]#[0]" equivalence)]]) + ["[0]" / (.use "[1]#[0]" equivalence)]]) (ffi.import (eval [Text] "try" "?" Any)) diff --git a/stdlib/source/test/lux/target/ruby.lux b/stdlib/source/test/lux/target/ruby.lux index 7c6b3fcf6..234fef0ef 100644 --- a/stdlib/source/test/lux/target/ruby.lux +++ b/stdlib/source/test/lux/target/ruby.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -11,17 +11,17 @@ ["$[0]" equivalence]]] [control ["[0]" pipe] - ["[0]" maybe (.open: "[1]#[0]" functor)] - ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]] + ["[0]" maybe (.use "[1]#[0]" functor)] + ["[0]" try (.only Try) (.use "[1]#[0]" functor)]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" functor)] + ["[0]" list (.use "[1]#[0]" functor)] ["[0]" set]]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number (.only hex) ["n" nat] ["i" int] @@ -35,7 +35,7 @@ [world ["[0]" file]]]] [\\library - ["[0]" / (.open: "[1]#[0]" equivalence)]]) + ["[0]" / (.use "[1]#[0]" equivalence)]]) (ffi.import (eval [Text] "try" "?" Any)) diff --git a/stdlib/source/test/lux/test.lux b/stdlib/source/test/lux/test.lux index 3cf4b7f51..215c9fab8 100644 --- a/stdlib/source/test/lux/test.lux +++ b/stdlib/source/test/lux/test.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [abstract @@ -10,7 +10,7 @@ ["[0]" async] ["[0]" atom (.only Atom)]]] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format]] [collection ["[0]" list] diff --git a/stdlib/source/test/lux/time.lux b/stdlib/source/test/lux/time.lux index ccce44873..656dfcdbd 100644 --- a/stdlib/source/test/lux/time.lux +++ b/stdlib/source/test/lux/time.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -11,7 +11,7 @@ ["$[0]" codec]]] [control ["[0]" pipe] - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception]] [data ["[0]" text (.only) diff --git a/stdlib/source/test/lux/time/date.lux b/stdlib/source/test/lux/time/date.lux index 7a805e4ec..c97fd626e 100644 --- a/stdlib/source/test/lux/time/date.lux +++ b/stdlib/source/test/lux/time/date.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -10,7 +10,7 @@ ["$[0]" enum] ["$[0]" codec]]] [control - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception]] [data ["[0]" text diff --git a/stdlib/source/test/lux/time/day.lux b/stdlib/source/test/lux/time/day.lux index 3f820e733..53271cc96 100644 --- a/stdlib/source/test/lux/time/day.lux +++ b/stdlib/source/test/lux/time/day.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -12,14 +12,14 @@ ["$[0]" enum] ["$[0]" codec]]] [control - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception]] [data [collection ["[0]" list] ["[0]" set]]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/time/duration.lux b/stdlib/source/test/lux/time/duration.lux index 3778516a1..c46204175 100644 --- a/stdlib/source/test/lux/time/duration.lux +++ b/stdlib/source/test/lux/time/duration.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -11,7 +11,7 @@ ["$[0]" monoid] ["$[0]" codec]]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/time/instant.lux b/stdlib/source/test/lux/time/instant.lux index 66ccccb65..3899c04b9 100644 --- a/stdlib/source/test/lux/time/instant.lux +++ b/stdlib/source/test/lux/time/instant.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -15,12 +15,12 @@ ["[0]" io]] [data [collection - ["[0]" list (.open: "[1]#[0]" mix)]]] + ["[0]" list (.use "[1]#[0]" mix)]]] [math ["[0]" random]] [time ["[0]" duration (.only Duration)] - ["[0]" day (.only Day) (.open: "[1]#[0]" enum)]]]] + ["[0]" day (.only Day) (.use "[1]#[0]" enum)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/time/month.lux b/stdlib/source/test/lux/time/month.lux index 5399a9a87..751d0f3f7 100644 --- a/stdlib/source/test/lux/time/month.lux +++ b/stdlib/source/test/lux/time/month.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -12,12 +12,12 @@ ["$[0]" enum] ["$[0]" codec]]] [control - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception]] [data [collection ["[0]" set] - ["[0]" list (.open: "[1]#[0]" functor mix)]]] + ["[0]" list (.use "[1]#[0]" functor mix)]]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/time/year.lux b/stdlib/source/test/lux/time/year.lux index ed50e138b..0e0dee518 100644 --- a/stdlib/source/test/lux/time/year.lux +++ b/stdlib/source/test/lux/time/year.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -12,7 +12,7 @@ ["[0]" try] ["[0]" exception]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] [text ["%" \\format (.only format)]]] [math diff --git a/stdlib/source/test/lux/tool.lux b/stdlib/source/test/lux/tool.lux index 25345fcae..8f0d06503 100644 --- a/stdlib/source/test/lux/tool.lux +++ b/stdlib/source/test/lux/tool.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)]]] diff --git a/stdlib/source/test/lux/tool/compiler/arity.lux b/stdlib/source/test/lux/tool/compiler/arity.lux index 6dcbfcac9..ffff0f3e6 100644 --- a/stdlib/source/test/lux/tool/compiler/arity.lux +++ b/stdlib/source/test/lux/tool/compiler/arity.lux @@ -1,11 +1,11 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux index 37b298b3c..4e0aa40a5 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -15,21 +15,21 @@ ["[0]" function] ["[0]" maybe]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] [collection ["[0]" list]]] [macro ["[0]" template]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat] ["i" int] ["f" frac] ["r" rev]]] [meta - ["[0]" symbol (.open: "[1]#[0]" equivalence)] + ["[0]" symbol (.use "[1]#[0]" equivalence)] ["[0]" configuration ["$[1]" \\test]]] [tool @@ -63,7 +63,7 @@ ["[1][0]" symbol] ["[0]" location ["[2][1]" /] - ["[1]" \\library (.open: "[1]#[0]" equivalence)]]]]]]) + ["[1]" \\library (.use "[1]#[0]" equivalence)]]]]]]) (def !expect (template (_ <expectation> <computation>) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux index b68171b90..069b07187 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,11 +8,11 @@ ["$[0]" equivalence] ["$[0]" hash]]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux index df0ff10b0..9f3d0b5ac 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -9,23 +9,23 @@ ["$[0]" equivalence]]] [control ["[0]" pipe] - ["[0]" try (.only Try) (.open: "[1]#[0]" functor)] + ["[0]" try (.only Try) (.use "[1]#[0]" functor)] ["[0]" exception (.only Exception)]] [data ["[0]" product] - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format]] [collection ["[0]" set] ["[0]" dictionary] - ["[0]" list (.open: "[1]#[0]" functor mix)]]] + ["[0]" list (.use "[1]#[0]" functor mix)]]] [macro ["^" pattern]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number - ["n" nat (.open: "[1]#[0]" interval)] + ["n" nat (.use "[1]#[0]" interval)] ["i" int] ["r" rev] ["f" frac]]]]] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux index 90d337051..88a527b3e 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux @@ -1,23 +1,23 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] [control - ["[0]" maybe (.open: "[1]#[0]" functor)] - ["[0]" try (.only Try) (.open: "[1]#[0]" functor)] + ["[0]" maybe (.use "[1]#[0]" functor)] + ["[0]" try (.only Try) (.use "[1]#[0]" functor)] ["[0]" exception (.only Exception)]] [data ["[0]" product] - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] ["[0]" text] [collection - ["[0]" list (.open: "[1]#[0]" monad)]]] + ["[0]" list (.use "[1]#[0]" monad)]]] ["[0]" macro (.only) ["[0]" code]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat]]] [meta @@ -25,7 +25,7 @@ ["$[1]" \\test]] ["[0]" configuration ["$[1]" \\test]]] - ["[0]" type (.open: "[1]#[0]" equivalence) + ["[0]" type (.use "[1]#[0]" equivalence) ["[0]" check (.only Check)]]]] [\\library ["[0]" / (.only) @@ -42,7 +42,7 @@ ["[1]/[0]" analysis ["[1]" lux]]]] [/// - ["[2][0]" phase (.open: "[1]#[0]" monad)] + ["[2][0]" phase (.use "[1]#[0]" monad)] [meta ["[0]" archive]]]]]]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux index cf1ee869c..0563892be 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,18 +8,18 @@ ["$[0]" equivalence]]] [control ["[0]" pipe] - ["[0]" maybe (.open: "[1]#[0]" functor)] - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" maybe (.use "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] [collection - ["[0]" list (.open: "[1]#[0]" monad)]]] + ["[0]" list (.use "[1]#[0]" monad)]]] ["[0]" macro (.only) - ["[0]" code (.open: "[1]#[0]" equivalence)]] + ["[0]" code (.use "[1]#[0]" equivalence)]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat]]] ["[0]" meta (.only) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux index fc075bd16..6880c5ad4 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -6,11 +6,11 @@ ["[0]" monad (.only do)]] [control ["[0]" pipe] - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] [collection ["[0]" list] ["[0]" set]]] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux index e7739df16..c79fae369 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,10 +7,10 @@ [\\specification ["$[0]" equivalence]]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["f" frac]]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux index a0c29f7a0..8959c72c9 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -6,8 +6,8 @@ [monad (.only do)]] [control ["[0]" pipe] - ["[0]" maybe (.open: "[1]#[0]" functor)] - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" maybe (.use "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception]] [data ["[0]" product] @@ -26,7 +26,7 @@ [phase ["[1][0]" extension]] [/// - ["[1][0]" phase (.open: "[1]#[0]" monad)] + ["[1][0]" phase (.use "[1]#[0]" monad)] [reference ["[1][0]" variable (.only Register Variable)]]]]]]] ["$[0]" // diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux index b292022ad..b029f6add 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,10 +7,10 @@ [\\specification ["$[0]" equivalence]]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["f" frac]]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux index 4e02553e4..b67b6bd4a 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -6,7 +6,7 @@ [monad (.only do)]] [control ["[0]" pipe] - ["[0]" try (.open: "[1]#[0]" functor)]] + ["[0]" try (.use "[1]#[0]" functor)]] [data ["[0]" product]] [math @@ -14,7 +14,7 @@ [meta ["[0]" configuration ["$[1]" \\test]]] - ["[0]" type (.open: "[1]#[0]" equivalence) + ["[0]" type (.use "[1]#[0]" equivalence) ["[0]" check]]]] [\\library ["[0]" / (.only) @@ -24,7 +24,7 @@ [phase ["[2][0]" extension]] [/// - ["[2][0]" phase (.open: "[1]#[0]" functor)]]]]]]) + ["[2][0]" phase (.use "[1]#[0]" functor)]]]]]]) (def .public random_state (Random Lux) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux index 3ac028ac3..894713848 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,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -18,7 +18,7 @@ ["[0]" random] [number ["n" nat]]] - ["[0]" type (.open: "[1]#[0]" equivalence) + ["[0]" type (.use "[1]#[0]" equivalence) ["[0]" check]]]] [\\library ["[0]" / (.only) @@ -36,7 +36,7 @@ ["[1][0]" type (.only) ["$[1]" \\test]]] [/// - ["[0]" phase (.open: "[1]#[0]" monad)] + ["[0]" phase (.use "[1]#[0]" monad)] [meta ["[0]" archive]]]]]]] ["[0]" / diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux index 5891bb218..0564c82db 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,11 +1,11 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] [control - ["[0]" try (.only Try) (.open: "[1]#[0]" functor)] + ["[0]" try (.only Try) (.use "[1]#[0]" functor)] ["[0]" exception]] [data ["[0]" product] @@ -15,7 +15,7 @@ ["[0]" code]] [math ["[0]" random]] - ["[0]" type (.open: "[1]#[0]" equivalence) + ["[0]" type (.use "[1]#[0]" equivalence) ["[0]" check]]]] [\\library ["[0]" / (.only) @@ -36,7 +36,7 @@ ["[2][0]" inference ["$[1]" \\test]]] [/// - ["[1][0]" phase (.open: "[1]#[0]" monad)] + ["[1][0]" phase (.use "[1]#[0]" monad)] [meta ["[0]" archive]]]]]]]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux index 499b7a7ec..0e3b6130b 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -6,22 +6,22 @@ [monad (.only do)]] [control ["[0]" pipe] - ["[0]" maybe (.open: "[1]#[0]" functor)] - ["[0]" try (.only Try) (.open: "[1]#[0]" functor)] + ["[0]" maybe (.use "[1]#[0]" functor)] + ["[0]" try (.only Try) (.use "[1]#[0]" functor)] ["[0]" exception (.only Exception)]] [data ["[0]" product] - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] ["[0]" text (.only) ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" monad monoid)] + ["[0]" list (.use "[1]#[0]" monad monoid)] ["[0]" set]]] ["[0]" macro (.only) ["^" pattern] ["[0]" code]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat] ["f" frac]]] @@ -30,7 +30,7 @@ ["$[1]" \\test]] ["[0]" configuration ["$[1]" \\test]]] - ["[0]" type (.open: "[1]#[0]" equivalence) + ["[0]" type (.use "[1]#[0]" equivalence) ["[0]" check]]]] [\\library ["[0]" / (.only) @@ -48,7 +48,7 @@ ["[2][0]" complex] ["[2][0]" scope]] [/// - ["[1][0]" phase (.open: "[1]#[0]" monad)] + ["[1][0]" phase (.use "[1]#[0]" monad)] [meta ["[0]" archive]]]]]]]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux index e5ed71930..bae25b39f 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,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -6,7 +6,7 @@ [monad (.only do)]] [control ["[0]" function] - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception]] [data ["[0]" product] @@ -23,7 +23,7 @@ [meta ["[0]" symbol ["$[1]" \\test]]] - ["[0]" type (.open: "[1]#[0]" equivalence) + ["[0]" type (.use "[1]#[0]" equivalence) ["$[1]" \\test] ["[0]" check]]]] [\\library @@ -43,7 +43,7 @@ ["[2][0]" inference ["$[1]" \\test]]] [/// - ["[1][0]" phase (.open: "[1]#[0]" monad)] + ["[1][0]" phase (.use "[1]#[0]" monad)] [meta ["[0]" archive]]]]]]]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux index 20f666efe..fd64eff38 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,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -6,14 +6,14 @@ [monad (.only do)]] [control ["[0]" pipe] - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception]] [data ["[0]" product] ["[0]" text]] [math ["[0]" random]] - ["[0]" type (.open: "[1]#[0]" equivalence) + ["[0]" type (.use "[1]#[0]" equivalence) ["$[1]" \\test]]]] [\\library ["[0]" / (.only) @@ -27,7 +27,7 @@ ["[2][0]" type (.only) ["$[1]" \\test]]] [/// - ["[1][0]" phase (.open: "[1]#[0]" monad)]]]]]]]) + ["[1][0]" phase (.use "[1]#[0]" monad)]]]]]]]) (def .public test Test diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux index cfd9df933..ebc162c9e 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux @@ -1,8 +1,8 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] - ["[0]" type (.open: "[1]#[0]" equivalence)] + ["[0]" type (.use "[1]#[0]" equivalence)] [abstract [monad (.only do)]] [control @@ -24,7 +24,7 @@ ["[2][0]" type] ["[2][0]" module]] [/// - ["[1][0]" phase (.open: "[1]#[0]" functor)]]]]]]) + ["[1][0]" phase (.use "[1]#[0]" functor)]]]]]]) (def (analysis state module type it ?) (-> Lux Text Type (Operation Analysis) (-> Analysis Bit) Bit) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux index d081e2cbf..08e310f54 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -12,12 +12,12 @@ ["[0]" try] ["[0]" exception]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [collection ["[0]" dictionary] - ["[0]" list (.open: "[1]#[0]" mix)]]] + ["[0]" list (.use "[1]#[0]" mix)]]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux index 72a38e623..2fbfdc967 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,4 +1,4 @@ -(.using +(.require [lux (.except i64 int primitive) [abstract ["[0]" monad (.only do)]] @@ -14,7 +14,7 @@ ["[0]" atom]]] [data ["[0]" product]] - ["[0]" type (.open: "[1]#[0]" equivalence)] + ["[0]" type (.use "[1]#[0]" equivalence)] [macro ["[0]" code]] [meta 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 9e37ebf65..e4a2814b4 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,4 +1,4 @@ -(.using +(.require [lux (.except) ["_" test (.only Test)]] ["[0]" / 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 bb45ee381..ba8a98e65 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,4 +1,4 @@ -(.using +(.require [lux (.except) ["_" test (.only Test)] [abstract @@ -6,7 +6,7 @@ ["[0]" monad (.only do)]] [control ["[0]" pipe] - ["[0]" try (.open: "[1]#[0]" functor)]] + ["[0]" try (.use "[1]#[0]" functor)]] [data ["[0]" sum] ["[0]" text (.only) @@ -17,7 +17,7 @@ ["[0]" rev] ["[0]" frac]] [collection - ["[0]" list (.open: "[1]#[0]" functor mix monoid)] + ["[0]" list (.use "[1]#[0]" functor mix monoid)] ["[0]" set]]] [math ["[0]" random (.only Random)]]] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux index b93fd3c22..44f51ced1 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,4 +1,4 @@ -(.using +(.require [lux (.except) ["_" test (.only Test)] [abstract @@ -12,7 +12,7 @@ [number ["n" nat]] [collection - ["[0]" list (.open: "[1]#[0]" functor mix monoid)] + ["[0]" list (.use "[1]#[0]" functor mix monoid)] ["[0]" dictionary (.only Dictionary)] ["[0]" set]]] [macro diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux index 38058930e..860312b0b 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,4 +1,4 @@ -(.using +(.require [lux (.except structure loop function) ["_" test (.only Test)] [abstract @@ -10,9 +10,9 @@ [number ["n" nat]] [collection - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]] [\\ ["[0]" / [//// diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux index b0fd4e5e2..50526091e 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,4 +1,4 @@ -(.using +(.require [lux (.except primitive) [abstract ["[0]" monad (.only do)]] [control @@ -10,7 +10,7 @@ ["n" nat]] [collection ["[0]" list]]] - ["r" math/random (.only Random) (.open: "[1]#[0]" monad)] + ["r" math/random (.only Random) (.use "[1]#[0]" monad)] ["_" test (.only Test)] [meta ["[0]" symbol]]] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux index 500a45325..ed3f4cf05 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,4 +1,4 @@ -(.using +(.require [lux (.except) [abstract ["[0]" monad (.only do)]] @@ -10,7 +10,7 @@ ["[0]" pipe] ["[0]" try]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] ["[0]" product] [number ["n" nat]] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux index 6cdbb6ba4..6db68f4c9 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,4 +1,4 @@ -(.using +(.require [lux (.except) ["_" test (.only Test)] [abstract @@ -14,7 +14,7 @@ [number ["n" nat]] [collection - ["[0]" list (.open: "[1]#[0]" functor mix)] + ["[0]" list (.use "[1]#[0]" functor mix)] ["[0]" dictionary (.only Dictionary)]]] [macro ["^" pattern]]] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux index 08a7dd4b4..52e957f9c 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux @@ -1,11 +1,11 @@ -(.using +(.require [lux (.except) [abstract/monad (.only do)] [data ["%" text/format (.only format)] [number ["n" nat]]] - ["r" math/random (.only Random) (.open: "[1]#[0]" monad)] + ["r" math/random (.only Random) (.use "[1]#[0]" monad)] ["_" test (.only Test)] [control ["[0]" try] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis.lux index 8b5620394..f0efbce19 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -12,7 +12,7 @@ ["[0]" bit] ["[0]" text] [collection - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [macro ["^" pattern]] [math diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access.lux index 6b4e22b3a..67022657e 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)]]] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/member.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/member.lux index cb6eecc2b..f9a892715 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/member.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/member.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,8 +8,8 @@ ["$[0]" equivalence] ["$[0]" hash]]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/side.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/side.lux index 1fb2caec2..236f373e1 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/side.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/side.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,8 +8,8 @@ ["$[0]" equivalence] ["$[0]" hash]]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux index 6c6260ba4..67cf4f719 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,8 +8,8 @@ ["$[0]" equivalence] ["$[0]" hash]]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive.lux b/stdlib/source/test/lux/tool/compiler/meta/archive.lux index 2fe7ddc98..12596c093 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -13,7 +13,7 @@ ["%" \\format (.only format)]] [collection ["[0]" list] - ["[0]" set (.open: "[1]#[0]" equivalence)] + ["[0]" set (.use "[1]#[0]" equivalence)] ["[0]" sequence]]] [math ["[0]" random (.only Random)] diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux index 5bb35f439..4801f7569 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux index af39aec3d..5eb23ba3e 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -6,7 +6,7 @@ [\\specification ["$[0]" equivalence]]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/key.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/key.lux index 221380e77..fe3230d7c 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/key.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/key.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/module.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/module.lux index 0924b7d6e..33aed16e6 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/module.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/module.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux index 379fb92de..1357295a1 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,14 +7,14 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try (.open: "[1]#[0]" functor)]] + ["[0]" try (.use "[1]#[0]" functor)]] [data - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] ["[0]" binary ["[1]" \\format] ["<[1]>" \\parser]]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux index 0647858d3..4637d7f39 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -6,7 +6,7 @@ [monad (.only do)]] [control ["[0]" pipe] - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception]] [data ["[0]" binary @@ -19,7 +19,7 @@ [\\library ["[0]" / (.only) [/// - ["[1][0]" signature (.open: "[1]#[0]" equivalence)] + ["[1][0]" signature (.use "[1]#[0]" equivalence)] ["[1][0]" key]]]] ["[0]" /// ["[1][0]" signature]]) diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux index 2c6a5c206..2a1732cb8 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux @@ -1,12 +1,12 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] [control - ["[0]" maybe (.open: "[1]#[0]" functor)] - ["[0]" try (.open: "[1]#[0]" functor)]] + ["[0]" maybe (.use "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)]] [data ["[0]" product] ["[0]" text] @@ -16,7 +16,7 @@ [collection ["[0]" sequence (.only Sequence)] ["[0]" set (.only Set)] - ["[0]" list (.open: "[1]#[0]" mix functor)]]] + ["[0]" list (.use "[1]#[0]" mix functor)]]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux index 4f21b086b..683ed09b4 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,10 +7,10 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try (.open: "[1]#[0]" functor)]] + ["[0]" try (.use "[1]#[0]" functor)]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] ["[0]" binary ["[1]F" \\format] ["<[1]>" \\parser]]] diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/unit.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/unit.lux index 2dc7e3477..3bdef20a8 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/unit.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/unit.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache.lux b/stdlib/source/test/lux/tool/compiler/meta/cache.lux index ae8df8e37..68ba4e7fb 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux index a05484a04..09821245e 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux @@ -1,15 +1,15 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] [control - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] [concurrency ["[0]" async]]] [data - ["[0]" binary (.open: "[1]#[0]" equivalence)] + ["[0]" binary (.use "[1]#[0]" equivalence)] [collection ["[0]" sequence]]] [math diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux index 679bdfc47..7d3fa626d 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,9 +7,9 @@ [control ["[0]" try] [concurrency - ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]]] + ["[0]" async (.only Async) (.use "[1]#[0]" monad)]]] [data - ["[0]" binary (.open: "[1]#[0]" equivalence) + ["[0]" binary (.use "[1]#[0]" equivalence) ["$[1]" \\test]]] [math ["[0]" random (.only Random)] diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux index 69993bdf6..0dd66344f 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,7 +8,7 @@ ["[0]" try] ["[0]" exception] [concurrency - ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]]] + ["[0]" async (.only Async) (.use "[1]#[0]" monad)]]] [math ["[0]" random]] [world diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux index db1ab573d..02d6402fb 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/tool/compiler/meta/cli.lux b/stdlib/source/test/lux/tool/compiler/meta/cli.lux index f4230a2f8..fe630e128 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cli.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cli.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -6,20 +6,20 @@ [monad (.only do)]] [control ["[0]" pipe] - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] ["<>" parser (.only) ["<[0]>" cli]]] [data ["[0]" product] ["[0]" text] [collection - ["[0]" list (.open: "[1]#[0]" monoid monad)]]] + ["[0]" list (.use "[1]#[0]" monoid monad)]]] [math ["[0]" random (.only Random)] [number ["n" nat]]] [meta - ["[0]" configuration (.open: "[1]#[0]" equivalence) + ["[0]" configuration (.use "[1]#[0]" equivalence) ["$[1]" \\test]]]]] [\\library ["[0]" / (.only) diff --git a/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux b/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux index 988f032f8..66a7997d5 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try (.open: "[1]#[0]" functor)]] + ["[0]" try (.use "[1]#[0]" functor)]] [data ["[0]" text ["<[1]>" \\parser]]] diff --git a/stdlib/source/test/lux/tool/compiler/meta/context.lux b/stdlib/source/test/lux/tool/compiler/meta/context.lux index 8137243dc..66837e5a3 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/context.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/context.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,7 +8,7 @@ ["[0]" text] [collection ["[0]" set] - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/tool/compiler/meta/export.lux b/stdlib/source/test/lux/tool/compiler/meta/export.lux index 1058fb18c..07c9affa7 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/export.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/export.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -6,17 +6,17 @@ [monad (.only do)]] [control ["[0]" pipe] - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] [concurrency ["[0]" async]]] [data ["[0]" product] - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] [format ["[0]" tar]] - ["[0]" binary (.only Binary) (.open: "[1]#[0]" equivalence) + ["[0]" binary (.only Binary) (.use "[1]#[0]" equivalence) ["<[1]>" \\parser]] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)] [encoding ["[0]" utf8]]] diff --git a/stdlib/source/test/lux/tool/compiler/meta/import.lux b/stdlib/source/test/lux/tool/compiler/meta/import.lux index 363fef1e5..6c98680d0 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/import.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/import.lux @@ -1,24 +1,24 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] [control - ["[0]" maybe (.open: "[1]#[0]" functor)] - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" maybe (.use "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception] [concurrency ["[0]" async]]] [data ["[0]" product] - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" binary (.only Binary) (.open: "[1]#[0]" equivalence) + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" binary (.only Binary) (.use "[1]#[0]" equivalence) ["[0]" \\format] ["<[1]>" \\parser]] ["[0]" format ["[0]" tar (.only Tar)]] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)] [encoding ["[0]" utf8]]] diff --git a/stdlib/source/test/lux/tool/compiler/phase.lux b/stdlib/source/test/lux/tool/compiler/phase.lux index 7a1d960cc..adad18aac 100644 --- a/stdlib/source/test/lux/tool/compiler/phase.lux +++ b/stdlib/source/test/lux/tool/compiler/phase.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -9,10 +9,10 @@ ["$[0]" monad]]] [control ["[0]" pipe] - ["[0]" try (.open: "[1]#[0]" functor)] + ["[0]" try (.use "[1]#[0]" functor)] ["[0]" exception (.only exception:)]] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]]] [math ["[0]" random] diff --git a/stdlib/source/test/lux/tool/compiler/reference.lux b/stdlib/source/test/lux/tool/compiler/reference.lux index eda2f8381..73b499525 100644 --- a/stdlib/source/test/lux/tool/compiler/reference.lux +++ b/stdlib/source/test/lux/tool/compiler/reference.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,14 +8,14 @@ ["$[0]" equivalence] ["$[0]" hash]]] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format]]] [math ["[0]" random (.only Random)] [number ["n" nat]]] [meta - ["[0]" symbol (.open: "[1]#[0]" equivalence)]]]] + ["[0]" symbol (.use "[1]#[0]" equivalence)]]]] [\\library ["[0]" / (.only) ["[0]" variable (.only Register)]]] diff --git a/stdlib/source/test/lux/tool/compiler/reference/variable.lux b/stdlib/source/test/lux/tool/compiler/reference/variable.lux index 977fdbaf3..8036cab58 100644 --- a/stdlib/source/test/lux/tool/compiler/reference/variable.lux +++ b/stdlib/source/test/lux/tool/compiler/reference/variable.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,7 +8,7 @@ ["$[0]" equivalence] ["$[0]" hash]]] [data - ["[0]" text (.open: "[1]#[0]" equivalence)]] + ["[0]" text (.use "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/version.lux b/stdlib/source/test/lux/tool/compiler/version.lux index 695c36644..c2824f567 100644 --- a/stdlib/source/test/lux/tool/compiler/version.lux +++ b/stdlib/source/test/lux/tool/compiler/version.lux @@ -1,12 +1,12 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] [abstract [monad (.only do)]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]]] [math ["[0]" random (.only Random)] diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux index 7972ba4e8..d2c1ba0b1 100644 --- a/stdlib/source/test/lux/type.lux +++ b/stdlib/source/test/lux/type.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except symbol) ["_" test (.only Test)] @@ -10,20 +10,20 @@ ["[0]" pipe] ["[0]" maybe]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] [collection ["[0]" list] ["[0]" array]]] [macro ["^" pattern] - ["[0]" code (.open: "[1]#[0]" equivalence)]] + ["[0]" code (.use "[1]#[0]" equivalence)]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat]]]]] [\\library - ["[0]" / (.open: "[1]#[0]" equivalence)]] + ["[0]" / (.use "[1]#[0]" equivalence)]] ["[0]" / ["[1][0]" primitive] ["[1][0]" check] diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux index ebc227760..194692533 100644 --- a/stdlib/source/test/lux/type/check.lux +++ b/stdlib/source/test/lux/type/check.lux @@ -1,8 +1,8 @@ -(.using +(.require [library [lux (.except type symbol) ["_" test (.only Test)] - ["[0]" type (.open: "[1]#[0]" equivalence)] + ["[0]" type (.use "[1]#[0]" equivalence)] [abstract ["[0]" monad (.only do)] [\\specification @@ -15,17 +15,17 @@ ["[0]" try] ["[0]" exception (.only exception:)]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] ["[0]" product] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [collection - ["[0]" list (.open: "[1]#[0]" functor monoid)] + ["[0]" list (.use "[1]#[0]" functor monoid)] ["[0]" set]]] [macro ["^" pattern]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/type/dynamic.lux b/stdlib/source/test/lux/type/dynamic.lux index 326c92375..595a1da05 100644 --- a/stdlib/source/test/lux/type/dynamic.lux +++ b/stdlib/source/test/lux/type/dynamic.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -8,7 +8,7 @@ ["[0]" try] ["[0]" exception]] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]]] [math ["[0]" random (.only Random)] diff --git a/stdlib/source/test/lux/type/implicit.lux b/stdlib/source/test/lux/type/implicit.lux index 276a9c051..299ae7464 100644 --- a/stdlib/source/test/lux/type/implicit.lux +++ b/stdlib/source/test/lux/type/implicit.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -9,7 +9,7 @@ [monad (.only do)] ["[0]" enum]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] [collection ["[0]" list]]] [math diff --git a/stdlib/source/test/lux/type/primitive.lux b/stdlib/source/test/lux/type/primitive.lux index 6b6f56535..dfd3aa939 100644 --- a/stdlib/source/test/lux/type/primitive.lux +++ b/stdlib/source/test/lux/type/primitive.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -11,7 +11,7 @@ [parser ["<[0]>" code]]] [data - ["[0]" text (.open: "[1]#[0]" equivalence)]] + ["[0]" text (.use "[1]#[0]" equivalence)]] ["[0]" macro (.only) [syntax (.only syntax)] ["[0]" code] diff --git a/stdlib/source/test/lux/type/quotient.lux b/stdlib/source/test/lux/type/quotient.lux index 6d1d85f6f..72d39b19d 100644 --- a/stdlib/source/test/lux/type/quotient.lux +++ b/stdlib/source/test/lux/type/quotient.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,12 +7,12 @@ [\\specification ["$[0]" equivalence]]] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]]] [math ["[0]" random (.only Random)] [number - ["n" nat (.open: "[1]#[0]" equivalence)]]]]] + ["n" nat (.use "[1]#[0]" equivalence)]]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/type/refinement.lux b/stdlib/source/test/lux/type/refinement.lux index b30e4a19d..ce23ba709 100644 --- a/stdlib/source/test/lux/type/refinement.lux +++ b/stdlib/source/test/lux/type/refinement.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -6,10 +6,10 @@ [predicate (.only Predicate)] [monad (.only do)]] [control - ["[0]" maybe (.open: "[1]#[0]" monad)]] + ["[0]" maybe (.use "[1]#[0]" monad)]] [data [collection - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/type/resource.lux b/stdlib/source/test/lux/type/resource.lux index 8bd0f85d4..f8e44bcb4 100644 --- a/stdlib/source/test/lux/type/resource.lux +++ b/stdlib/source/test/lux/type/resource.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -16,7 +16,7 @@ ["<[0]>" code]]] [data ["[0]" identity (.only Identity)] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]]] ["[0]" macro (.only) [syntax (.only syntax)] diff --git a/stdlib/source/test/lux/type/unit.lux b/stdlib/source/test/lux/type/unit.lux index 048be4d5b..6835769ba 100644 --- a/stdlib/source/test/lux/type/unit.lux +++ b/stdlib/source/test/lux/type/unit.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/type/unit/scale.lux b/stdlib/source/test/lux/type/unit/scale.lux index 589e553ab..aa5d6fc1a 100644 --- a/stdlib/source/test/lux/type/unit/scale.lux +++ b/stdlib/source/test/lux/type/unit/scale.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -13,7 +13,7 @@ ["[0]" random (.only Random)] [number ["i" int] - ["[0]" ratio (.open: "[1]#[0]" equivalence)]]]]] + ["[0]" ratio (.use "[1]#[0]" equivalence)]]]]] [\\library ["[0]" / (.only) ["/[1]" //]]]) diff --git a/stdlib/source/test/lux/type/variance.lux b/stdlib/source/test/lux/type/variance.lux index 1914fe807..da2b5207c 100644 --- a/stdlib/source/test/lux/type/variance.lux +++ b/stdlib/source/test/lux/type/variance.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/world.lux b/stdlib/source/test/lux/world.lux index 51002f660..19576d27d 100644 --- a/stdlib/source/test/lux/world.lux +++ b/stdlib/source/test/lux/world.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)]]] diff --git a/stdlib/source/test/lux/world/console.lux b/stdlib/source/test/lux/world/console.lux index cc43e3860..acc05df1f 100644 --- a/stdlib/source/test/lux/world/console.lux +++ b/stdlib/source/test/lux/world/console.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -9,7 +9,7 @@ ["[0]" try (.only Try)] ["[0]" exception (.only exception:)]] [data - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]]] [math ["[0]" random]]]] diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux index 3f8cb84f4..f287e0652 100644 --- a/stdlib/source/test/lux/world/file.lux +++ b/stdlib/source/test/lux/world/file.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -12,8 +12,8 @@ ["[0]" async (.only Async)] ["[0]" atom (.only Atom)]]] [data - ["[0]" binary (.only Binary) (.open: "[1]#[0]" monoid)] - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" binary (.only Binary) (.use "[1]#[0]" monoid)] + ["[0]" text (.use "[1]#[0]" equivalence)] [collection ["[0]" dictionary (.only Dictionary)] ["[0]" list]]] diff --git a/stdlib/source/test/lux/world/file/watch.lux b/stdlib/source/test/lux/world/file/watch.lux index 78e239524..21e653751 100644 --- a/stdlib/source/test/lux/world/file/watch.lux +++ b/stdlib/source/test/lux/world/file/watch.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -11,13 +11,13 @@ [concurrency ["[0]" async (.only Async)]]] [data - ["[0]" binary (.only Binary) (.open: "[1]#[0]" equivalence)] - ["[0]" text (.open: "[1]#[0]" equivalence) + ["[0]" binary (.only Binary) (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)]] [collection ["[0]" list]]] [math - ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]] + ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]]] [\\library ["[0]" / (.only) ["/[1]" //]]] diff --git a/stdlib/source/test/lux/world/input/keyboard.lux b/stdlib/source/test/lux/world/input/keyboard.lux index a2db959e7..fdb0dda38 100644 --- a/stdlib/source/test/lux/world/input/keyboard.lux +++ b/stdlib/source/test/lux/world/input/keyboard.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,7 +7,7 @@ [control ["[0]" maybe]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.use "[1]#[0]" equivalence)] [collection ["[0]" list] ["[0]" set (.only Set)]]] diff --git a/stdlib/source/test/lux/world/net/http/client.lux b/stdlib/source/test/lux/world/net/http/client.lux index 1572f30d3..ee7ed16d2 100644 --- a/stdlib/source/test/lux/world/net/http/client.lux +++ b/stdlib/source/test/lux/world/net/http/client.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -10,7 +10,7 @@ ["[0]" try (.only Try)] ["[0]" function] [concurrency - ["[0]" async (.open: "[1]#[0]" functor)]]] + ["[0]" async (.use "[1]#[0]" functor)]]] [data ["[0]" binary] ["[0]" product] diff --git a/stdlib/source/test/lux/world/net/http/status.lux b/stdlib/source/test/lux/world/net/http/status.lux index 4ba760537..1dfd7833b 100644 --- a/stdlib/source/test/lux/world/net/http/status.lux +++ b/stdlib/source/test/lux/world/net/http/status.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except all) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/world/output/video/resolution.lux b/stdlib/source/test/lux/world/output/video/resolution.lux index d7fa6e20b..1135566e6 100644 --- a/stdlib/source/test/lux/world/output/video/resolution.lux +++ b/stdlib/source/test/lux/world/output/video/resolution.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] diff --git a/stdlib/source/test/lux/world/program.lux b/stdlib/source/test/lux/world/program.lux index dac2768c9..545401bee 100644 --- a/stdlib/source/test/lux/world/program.lux +++ b/stdlib/source/test/lux/world/program.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -7,13 +7,13 @@ [control ["[0]" pipe] ["[0]" io] - ["[0]" maybe (.open: "[1]#[0]" functor)] + ["[0]" maybe (.use "[1]#[0]" functor)] ["[0]" try] ["[0]" exception] [parser [environment (.only Environment)]]] [data - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] [collection ["[0]" dictionary] ["[0]" list]]] diff --git a/stdlib/source/test/lux/world/shell.lux b/stdlib/source/test/lux/world/shell.lux index dd83fd31b..6a3679e3d 100644 --- a/stdlib/source/test/lux/world/shell.lux +++ b/stdlib/source/test/lux/world/shell.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -13,7 +13,7 @@ [parser ["[0]" environment (.only Environment)]]] [data - ["[0]" text (.open: "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] [collection ["[0]" list]]] [math |