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.

---
 .../compositor/generation/function.lux             | 40 ++++++++++++----------
 1 file changed, 21 insertions(+), 19 deletions(-)

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

diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux
index 2fb9714e0..92d0bdaa2 100644
--- a/stdlib/source/specification/compositor/generation/function.lux
+++ b/stdlib/source/specification/compositor/generation/function.lux
@@ -1,23 +1,25 @@
 (.require
- [lux (.except function)
-  ["_" test (.only Test)]
-  [abstract
-   [monad (.only do)]
-   ["[0]" enum]]
-  [control
-   ["[0]" maybe]]
-  [data
-   [number
-    ["n" nat]]
-   [collection
-    ["[0]" list (.use "[1]#[0]" functor)]]]
-  [math
-   ["r" random (.only Random) (.use "[1]#[0]" monad)]]
-  [meta
-   [compiler
-    [analysis (.only Arity)]
-    ["[0]" reference (.only Register)]
-    ["[0]" synthesis (.only Synthesis)]]]]
+ [library
+  [lux (.except function)
+   [abstract
+    [monad (.only do)]
+    ["[0]" enum]]
+   [control
+    ["[0]" maybe]]
+   [data
+    [number
+     ["n" nat]]
+    [collection
+     ["[0]" list (.use "[1]#[0]" functor)]]]
+   [math
+    ["r" random (.only Random) (.use "[1]#[0]" monad)]]
+   [meta
+    [compiler
+     [analysis (.only Arity)]
+     ["[0]" reference (.only Register)]
+     ["[0]" synthesis (.only Synthesis)]]]]
+  [test
+   ["_" property (.only Test)]]]
  ["[0]" //
   ["[1][0]" case]
   [//
-- 
cgit v1.2.3