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/lux.lux | 29 +++++++++++++++--------------
 1 file changed, 15 insertions(+), 14 deletions(-)

(limited to 'stdlib/source/test/lux.lux')

diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 3d7251c98..4d7a695e8 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -2,7 +2,6 @@
            [library
             ["/" lux (.except)
              [program (.only program)]
-             ["_" test (.only Test)]
              [abstract
               [monad (.only do)]]
              [control
@@ -38,7 +37,9 @@
               ["[0]" macro (.only)
                [syntax (.only syntax)]
                ["^" pattern]
-               ["[0]" template]]]]]
+               ["[0]" template]]]
+             [test
+              ["_" property (.only Test)]]]]
            ... TODO: Must have 100% coverage on tests.
            ["[0]" /
             ["[1][0]" abstract]
@@ -51,7 +52,7 @@
             
             ["[1][0]" meta]
             ["[1][0]" program]
-            ["[1][0]" test]
+            ["[1][0]" test/property]
             
             ["[1][0]" world]
 
@@ -429,35 +430,35 @@
                    ...                    [(.require [<module/0>'])
                    ...                     ("lux def module" [])
                    ...                     []]
-                                      
+                   
                    ...                    [(.require [<alias> <module/0>' (.except)])
                    ...                     ("lux def module" [[<module/0> <alias>]])
                    ...                     [(<referral> <module/0> (.except))]]
-                                      
+                   
                    ...                    [(.require [<alias> <module/0>' (.only <definition>)])
                    ...                     ("lux def module" [[<module/0> <alias>]])
                    ...                     [(<referral> <module/0> (.only <definition>))]]
-                                      
+                   
                    ...                    [(.require [<alias> <module/0>' (.except <definition>)])
                    ...                     ("lux def module" [[<module/0> <alias>]])
                    ...                     [(<referral> <module/0> (.except <definition>))]]
-                                      
+                   
                    ...                    [(.require [<alias> <module/0>'])
                    ...                     ("lux def module" [])
                    ...                     []]
-                                      
+                   
                    ...                    [(.require [<module/0>'
                    ...                                [<alias> <module/1>']])
                    ...                     ("lux def module" [[<m0/1> <alias>]])
                    ...                     [(<referral> <m0/1>)]]
-                                      
+                   
                    ...                    [(.require ["[0]" <module/0>'
                    ...                                ["[0]" <module/1>']])
                    ...                     ("lux def module" [[<module/0> <module/0>]
                    ...                                        [<m0/1> <module/1>]])
                    ...                     [(<referral> <module/0>)
                    ...                      (<referral> <m0/1>)]]
-                                      
+                   
                    ...                    [(.require ["[0]" <module/0>'
                    ...                                ["[1]" <module/1>']])
                    ...                     ("lux def module" [[<m0/1> <module/0>]])
@@ -468,7 +469,7 @@
                    ...                                 ["[2]" <module/2>']]])
                    ...                     ("lux def module" [[<m0/1/2> <module/0>]])
                    ...                     [(<referral> <m0/1/2>)]]
-                                      
+                   
                    ...                    [(.require [<module/0>'
                    ...                                ["[0]" <module/1>'
                    ...                                 ["[0]" <//>']]])
@@ -476,7 +477,7 @@
                    ...                                        [<m0/2> <//>]])
                    ...                     [(<referral> <m0/1>)
                    ...                      (<referral> <m0/2>)]]
-                                      
+                   
                    ...                    [(.require ["[0]" <module/0>'
                    ...                                [<module/1>'
                    ...                                 ["[0]" <\\>']]])
@@ -484,7 +485,7 @@
                    ...                                        [<m2/1> <\\>]])
                    ...                     [(<referral> <module/0>)
                    ...                      (<referral> <m2/1>)]]
-                                      
+                   
                    ...                    [(.require ["[0]" <module/0>' (.use "[1]#[0]" <definition>)])
                    ...                     ("lux def module" [[<module/0> <module/0>]])
                    ...                     [(<referral> <module/0> (<open/0> <definition>))]]
@@ -1205,7 +1206,7 @@
              
              /meta.test
              /program.test
-             /test.test
+             /test/property.test
              
              /world.test
 
-- 
cgit v1.2.3