diff options
Diffstat (limited to '')
47 files changed, 111 insertions, 111 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 |