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.

---
 .../specification/compositor/analysis/type.lux     | 40 ++++++++++++----------
 1 file changed, 21 insertions(+), 19 deletions(-)

(limited to 'stdlib/source/specification/compositor/analysis/type.lux')

diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux
index 89ee8646f..acd970ebc 100644
--- a/stdlib/source/specification/compositor/analysis/type.lux
+++ b/stdlib/source/specification/compositor/analysis/type.lux
@@ -1,23 +1,25 @@
 (.require
- [lux (.except)
-  ["_" test (.only Test)]
-  [abstract
-   [monad (.only do)]]
-  [control
-   ["[0]" pipe]
-   ["[0]" io]
-   ["[0]" try]]
-  [math
-   ["r" random (.only Random)]]
-  [meta
-   ["[0]" code]
-   [compiler
-    [analysis (.only State+)]
-    ["[0]" phase
-     [macro (.only Expander)]
-     ["[0]" analysis
-      ["[1]/[0]" scope]
-      ["[1]/[0]" type]]]]]])
+ [library
+  [lux (.except)
+   [abstract
+    [monad (.only do)]]
+   [control
+    ["[0]" pipe]
+    ["[0]" io]
+    ["[0]" try]]
+   [math
+    ["r" random (.only Random)]]
+   [meta
+    ["[0]" code]
+    [compiler
+     [analysis (.only State+)]
+     ["[0]" phase
+      [macro (.only Expander)]
+      ["[0]" analysis
+       ["[1]/[0]" scope]
+       ["[1]/[0]" type]]]]]
+   [test
+    ["_" property (.only Test)]]]])
 
 (def (check_success+ expander state extension params output_type)
   (-> Expander State+ Text (List Code) Type Bit)
-- 
cgit v1.2.3