Extracted property-based testing machinery into its own module.

19 files changed, 57 insertions, 38 deletions

diff --git a/stdlib/source/test/lux/world/console.lux b/stdlib/source/test/lux/world/console.lux
index 9dd7975c7..1cac08a06 100644
--- a/stdlib/source/test/lux/world/console.lux
+++ b/stdlib/source/test/lux/world/console.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]]
    [control
@@ -12,7 +11,9 @@
     ["[0]" text (.use "[1]#[0]" equivalence)
      ["%" \\format (.only format)]]]
    [math
-    ["[0]" random]]]]
+    ["[0]" random]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" /]]
  [\\specification
diff --git a/stdlib/source/test/lux/world/environment.lux b/stdlib/source/test/lux/world/environment.lux
index ee9879d21..c2a9ac384 100644
--- a/stdlib/source/test/lux/world/environment.lux
+++ b/stdlib/source/test/lux/world/environment.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]]
    [control
@@ -19,7 +18,9 @@
    [math
     ["[0]" random (.only Random)]
     [number
-     ["n" nat]]]]]
+     ["n" nat]]]
+   [test
+    ["_" property (.only Test)]]]]
  ["[0]" \\parser (.only Environment)]
  [\\library
   ["[0]" / (.only)
diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux
index ff12cb791..3eec4fa19 100644
--- a/stdlib/source/test/lux/world/file.lux
+++ b/stdlib/source/test/lux/world/file.lux
@@ -24,8 +24,9 @@
    [world
     [time
      ["[0]" instant (.only Instant)]]]
-   ["_" test (.only Test)
-    ["[0]" unit]]]]
+   [test
+    ["[0]" unit]
+    ["_" property (.only Test)]]]]
  ["[0]" /
   ["[1][0]" watch]]
  [\\library
diff --git a/stdlib/source/test/lux/world/file/watch.lux b/stdlib/source/test/lux/world/file/watch.lux
index a56fce833..73f7755ca 100644
--- a/stdlib/source/test/lux/world/file/watch.lux
+++ b/stdlib/source/test/lux/world/file/watch.lux
@@ -18,8 +18,9 @@
      ["[0]" list]]]
    [math
     ["[0]" random (.only Random) (.use "[1]#[0]" monad)]]
-   ["_" test (.only Test)
-    ["[0]" unit]]]]
+   [test
+    ["[0]" unit]
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" / (.only)
    ["/[1]" //]]]
diff --git a/stdlib/source/test/lux/world/input/keyboard.lux b/stdlib/source/test/lux/world/input/keyboard.lux
index ef44188ba..408e3f92c 100644
--- a/stdlib/source/test/lux/world/input/keyboard.lux
+++ b/stdlib/source/test/lux/world/input/keyboard.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]]
    [control
@@ -17,7 +16,9 @@
      ["n" nat]]]
    [meta
     [macro
-     ["[0]" template]]]]]
+     ["[0]" template]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" /]])
 
diff --git a/stdlib/source/test/lux/world/locale.lux b/stdlib/source/test/lux/world/locale.lux
index b7c99d34a..f4e8f7919 100644
--- a/stdlib/source/test/lux/world/locale.lux
+++ b/stdlib/source/test/lux/world/locale.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -13,7 +12,9 @@
     ["[0]" text (.use "[1]#[0]" equivalence)
      ["[0]" encoding (.only Encoding)]]
     [collection
-     ["[0]" list]]]]]
+     ["[0]" list]]]
+   [test
+    ["_" property (.only Test)]]]]
  ["[0]" /
   ["[1][0]" language]
   ["[1][0]" territory]]
diff --git a/stdlib/source/test/lux/world/locale/language.lux b/stdlib/source/test/lux/world/locale/language.lux
index edabb90d2..8e203a4d9 100644
--- a/stdlib/source/test/lux/world/locale/language.lux
+++ b/stdlib/source/test/lux/world/locale/language.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [hash (.only Hash)]
@@ -20,7 +19,9 @@
      ["n" nat]]]
    [meta
     [macro
-     ["[0]" template]]]]]
+     ["[0]" template]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" /]])
 
diff --git a/stdlib/source/test/lux/world/locale/territory.lux b/stdlib/source/test/lux/world/locale/territory.lux
index 969fe32a1..06ab0b2d5 100644
--- a/stdlib/source/test/lux/world/locale/territory.lux
+++ b/stdlib/source/test/lux/world/locale/territory.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [hash (.only Hash)]
@@ -20,7 +19,9 @@
      ["n" nat]]]
    [meta
     [macro
-     ["[0]" template]]]]]
+     ["[0]" template]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" /]])
 
diff --git a/stdlib/source/test/lux/world/net/http/client.lux b/stdlib/source/test/lux/world/net/http/client.lux
index fcba904f9..01bd03616 100644
--- a/stdlib/source/test/lux/world/net/http/client.lux
+++ b/stdlib/source/test/lux/world/net/http/client.lux
@@ -23,8 +23,9 @@
     ["[0]" random (.only Random)]
     [number
      ["[0]" nat]]]
-   ["_" test (.only Test)
-    ["[0]" unit]]]]
+   [test
+    ["[0]" unit]
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" / (.only)
    ["/[1]" // (.only)
diff --git a/stdlib/source/test/lux/world/net/http/status.lux b/stdlib/source/test/lux/world/net/http/status.lux
index 370c1e6bd..e155c44a0 100644
--- a/stdlib/source/test/lux/world/net/http/status.lux
+++ b/stdlib/source/test/lux/world/net/http/status.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except all)
-   ["_" test (.only Test)]
    [data
     [collection
      ["[0]" list]
@@ -11,7 +10,9 @@
      ["n" nat]]]
    [meta
     [macro
-     ["[0]" template]]]]]
+     ["[0]" template]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" / (.only)
    ["/[1]" //]]])
diff --git a/stdlib/source/test/lux/world/output/video/resolution.lux b/stdlib/source/test/lux/world/output/video/resolution.lux
index 1135566e6..80add1ed7 100644
--- a/stdlib/source/test/lux/world/output/video/resolution.lux
+++ b/stdlib/source/test/lux/world/output/video/resolution.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -16,7 +15,9 @@
    [math
     ["[0]" random (.only Random)]
     [number
-     ["n" nat]]]]]
+     ["n" nat]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" /]])
 
diff --git a/stdlib/source/test/lux/world/shell.lux b/stdlib/source/test/lux/world/shell.lux
index 0e3b16ce9..8b3da3a10 100644
--- a/stdlib/source/test/lux/world/shell.lux
+++ b/stdlib/source/test/lux/world/shell.lux
@@ -18,8 +18,9 @@
     [number
      ["n" nat]
      ["i" int]]]
-   ["_" test (.only Test)
-    ["[0]" unit]]]]
+   [test
+    ["[0]" unit]
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" / (.only)
    [//
diff --git a/stdlib/source/test/lux/world/time.lux b/stdlib/source/test/lux/world/time.lux
index 62c3ec43c..6e3bbff5b 100644
--- a/stdlib/source/test/lux/world/time.lux
+++ b/stdlib/source/test/lux/world/time.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -20,7 +19,9 @@
    [math
     ["[0]" random]
     [number
-     ["n" nat]]]]]
+     ["n" nat]]]
+   [test
+    ["_" property (.only Test)]]]]
  ["[0]" /
   ["[1][0]" date]
   ["[1][0]" day]
diff --git a/stdlib/source/test/lux/world/time/date.lux b/stdlib/source/test/lux/world/time/date.lux
index c97fd626e..e6887f9e0 100644
--- a/stdlib/source/test/lux/world/time/date.lux
+++ b/stdlib/source/test/lux/world/time/date.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -20,7 +19,9 @@
     ["[0]" random (.only Random)]
     [number
      ["n" nat]
-     ["i" int]]]]]
+     ["i" int]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" /]])
 
diff --git a/stdlib/source/test/lux/world/time/day.lux b/stdlib/source/test/lux/world/time/day.lux
index eecc8a0fb..f69727234 100644
--- a/stdlib/source/test/lux/world/time/day.lux
+++ b/stdlib/source/test/lux/world/time/day.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -22,7 +21,9 @@
    [math
     ["[0]" random (.only Random) (.use "[1]#[0]" monad)]
     [number
-     ["n" nat]]]]]
+     ["n" nat]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" /]])
 
diff --git a/stdlib/source/test/lux/world/time/duration.lux b/stdlib/source/test/lux/world/time/duration.lux
index e73108548..093f98f0d 100644
--- a/stdlib/source/test/lux/world/time/duration.lux
+++ b/stdlib/source/test/lux/world/time/duration.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)]
     [number
      ["n" nat]
-     ["i" int]]]]]
+     ["i" int]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" /]])
 
diff --git a/stdlib/source/test/lux/world/time/instant.lux b/stdlib/source/test/lux/world/time/instant.lux
index 56a4749ec..cebba07ff 100644
--- a/stdlib/source/test/lux/world/time/instant.lux
+++ b/stdlib/source/test/lux/world/time/instant.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -17,7 +16,9 @@
     [collection
      ["[0]" list (.use "[1]#[0]" mix)]]]
    [math
-    ["[0]" random]]]]
+    ["[0]" random]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" / (.only)
    [//
diff --git a/stdlib/source/test/lux/world/time/month.lux b/stdlib/source/test/lux/world/time/month.lux
index c87a956cd..e7b5f09a2 100644
--- a/stdlib/source/test/lux/world/time/month.lux
+++ b/stdlib/source/test/lux/world/time/month.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -22,7 +21,9 @@
    [math
     ["[0]" random (.only Random)]
     [number
-     ["n" nat]]]]]
+     ["n" nat]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" / (.only)
    [//
diff --git a/stdlib/source/test/lux/world/time/year.lux b/stdlib/source/test/lux/world/time/year.lux
index 0e0dee518..32c19dccf 100644
--- a/stdlib/source/test/lux/world/time/year.lux
+++ b/stdlib/source/test/lux/world/time/year.lux
@@ -1,7 +1,6 @@
 (.require
  [library
   [lux (.except)
-   ["_" test (.only Test)]
    [abstract
     [monad (.only do)]
     [\\specification
@@ -19,7 +18,9 @@
     ["[0]" random (.only Random)]
     [number
      ["n" nat]
-     ["i" int]]]]]
+     ["i" int]]]
+   [test
+    ["_" property (.only Test)]]]]
  [\\library
   ["[0]" / (.only)
    ["/[1]" // (.only)