aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/artifact
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/aedifex/artifact')
-rw-r--r--stdlib/source/test/aedifex/artifact/extension.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/build.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/stamp.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/time.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux8
-rw-r--r--stdlib/source/test/aedifex/artifact/time.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/time/date.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/time/time.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/type.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/versioning.lux4
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