From 68d78235694c633c956bb9e8a007cad7d65370bc Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 10 Aug 2022 19:38:43 -0400
Subject: Extracted property-based testing machinery into its own module.

---
 stdlib/source/test/aedifex/artifact/extension.lux              | 5 +++--
 stdlib/source/test/aedifex/artifact/snapshot.lux               | 5 +++--
 stdlib/source/test/aedifex/artifact/snapshot/build.lux         | 5 +++--
 stdlib/source/test/aedifex/artifact/snapshot/stamp.lux         | 5 +++--
 stdlib/source/test/aedifex/artifact/snapshot/time.lux          | 5 +++--
 stdlib/source/test/aedifex/artifact/snapshot/version.lux       | 5 +++--
 stdlib/source/test/aedifex/artifact/snapshot/version/value.lux | 5 +++--
 stdlib/source/test/aedifex/artifact/time.lux                   | 5 +++--
 stdlib/source/test/aedifex/artifact/time/date.lux              | 5 +++--
 stdlib/source/test/aedifex/artifact/time/time.lux              | 5 +++--
 stdlib/source/test/aedifex/artifact/type.lux                   | 5 +++--
 stdlib/source/test/aedifex/artifact/versioning.lux             | 5 +++--
 12 files changed, 36 insertions(+), 24 deletions(-)

(limited to 'stdlib/source/test/aedifex/artifact')

diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index 7024ed43b..17267bdab 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]]
    [data
@@ -12,7 +11,9 @@
    [math
     ["[0]" random (.only Random)]
     [number
-     ["n" nat]]]]]
+     ["n" nat]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" / (.only)
    ["/[1]" //
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
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index 2c7d29269..d26f6d55b 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -17,7 +16,9 @@
      ["i" int]]]
    [world
     [time
-     ["[0]" instant (.use "[1]#[0]" equivalence)]]]]]
+     ["[0]" instant (.use "[1]#[0]" equivalence)]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" /]]
  ["[0]" /
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index a97bcbb8f..e50626c79 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -19,7 +18,9 @@
      ["i" int]]]
    [time
     ["[0]" date (.use "[1]#[0]" equivalence)]
-    ["[0]" year]]]]
+    ["[0]" year]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" /]])
 
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index 288d6169e..d4bc90f4e 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    ["[0]" time]
    [abstract
     [monad (.only do)]]
@@ -14,7 +13,9 @@
     ["[0]" random (.only Random)]
     [number
      ["n" nat]
-     ["i" int]]]]]
+     ["i" int]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" /]])
 
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux
index cf47b1ec5..60ec8e199 100644
--- a/stdlib/source/test/aedifex/artifact/type.lux
+++ b/stdlib/source/test/aedifex/artifact/type.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]]
    [data
@@ -12,7 +11,9 @@
    [math
     ["[0]" random (.only Random) (.use "[1]#[0]" monad)]
     [number
-     ["n" nat]]]]]
+     ["n" nat]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\program
   ["[0]" /]])
 
diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux
index fede17e9f..71d9ad175 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.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]" //
-- 
cgit v1.2.3