diff options
Diffstat (limited to 'stdlib/source/test/aedifex/artifact')
12 files changed, 29 insertions, 29 deletions
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 |