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/specification/compositor.lux | 42 ++++++++++++++++--------------
 1 file changed, 22 insertions(+), 20 deletions(-)

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

diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux
index 6a6ff9cfb..1caf89d56 100644
--- a/stdlib/source/specification/compositor.lux
+++ b/stdlib/source/specification/compositor.lux
@@ -1,22 +1,24 @@
 (.require
- [lux (.except)
-  ["_" test (.only Test)]
-  [abstract
-   [monad (.only do)]]
-  [control
-   ["[0]" io (.only IO)]
-   ["[0]" try]]
-  [math
-   ["r" random]]
-  [meta
-   [compiler
-    ["[0]" analysis]
-    ["[0]" declaration]
-    [phase
-     [macro (.only Expander)]
-     [generation (.only Bundle)]]
-    [default
-     [platform (.only Platform)]]]]]
+ [library
+  [lux (.except)
+   [abstract
+    [monad (.only do)]]
+   [control
+    ["[0]" io (.only IO)]
+    ["[0]" try]]
+   [math
+    ["r" random]]
+   [meta
+    [compiler
+     ["[0]" analysis]
+     ["[0]" declaration]
+     [phase
+      [macro (.only Expander)]
+      [generation (.only Bundle)]]
+     [default
+      [platform (.only Platform)]]]]
+   [test
+    ["_" property (.only Test)]]]]
  ["[0]" /
   ["[1][0]" common (.only Runner Definer)]
   ["[1]./" analysis
@@ -60,8 +62,8 @@
     (case ?state,runner,definer
       {try.#Success [[declaration_bundle declaration_state] runner definer]}
       (..test runner definer
-              (the [declaration.#analysis declaration.#state] declaration_state)
-              expander)
+        (the [declaration.#analysis declaration.#state] declaration_state)
+        expander)
 
       {try.#Failure error}
       (_.failure error))))
-- 
cgit v1.2.3