aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/artifact/snapshot
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/build.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/stamp.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/time.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version.lux5
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux5
6 files changed, 18 insertions, 12 deletions
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index 8312e69f0..9a71acb9c 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["_" test (.only Test)]
[abstract
[monad (.only do)]
[\\specification
@@ -13,7 +12,9 @@
["[0]" xml
["<[1]>" \\parser]]]]
[math
- ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]]]
+ ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]
+ [test
+ ["_" property (.only Test)]]]]
["$[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 c0016b9a6..53be5d10f 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["_" test (.only Test)]
[abstract
[monad (.only do)]
[\\specification
@@ -13,7 +12,9 @@
["[0]" xml
["<[1]>" \\parser]]]]
[math
- ["[0]" random (.only Random)]]]]
+ ["[0]" random (.only Random)]]
+ [test
+ ["_" property (.only Test)]]]]
[\\program
["[0]" /]])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index 2b4265932..eba776e33 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["_" test (.only Test)]
[abstract
[monad (.only do)]
[\\specification
@@ -16,7 +15,9 @@
["[0]" random (.only Random)]]
[world
[time
- ["[0]" instant]]]]]
+ ["[0]" instant]]]
+ [test
+ ["_" property (.only Test)]]]]
[\\program
["[0]" /]]
["$[0]" //
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index 0a748e1b4..40f181552 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["_" test (.only Test)]
[abstract
[monad (.only do)]
[\\specification
@@ -12,7 +11,9 @@
["[0]" text
["<[1]>" \\parser]]]
[math
- ["[0]" random (.only Random)]]]]
+ ["[0]" random (.only Random)]]
+ [test
+ ["_" property (.only Test)]]]]
[\\program
["[0]" /]]
["$[0]" ///
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index 5285d7598..31336c5df 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["_" test (.only Test)]
[abstract
[monad (.only do)]
[\\specification
@@ -13,7 +12,9 @@
["[0]" xml
["<[1]>" \\parser]]]]
[math
- ["[0]" random (.only Random)]]]]
+ ["[0]" random (.only Random)]]
+ [test
+ ["_" property (.only Test)]]]]
[\\program
["[0]" /]]
["[0]" /
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index 525c4ec32..470cd66c7 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["_" test (.only Test)]
[abstract
[monad (.only do)]
[\\specification
@@ -18,7 +17,9 @@
["n" nat]
["i" int]]]
[time
- ["[0]" instant]]]]
+ ["[0]" instant]]
+ [test
+ ["_" property (.only Test)]]]]
["$[0]" ///
["[1][0]" stamp]]
[\\program