From 5b655f558a0cc78b44736eec8eabeed6216f883f Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 26 Apr 2019 23:41:03 -0400
Subject: Refactored the spec a bit better.

---
 stdlib/source/spec/compositor/generation/reference.lux | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'stdlib/source/spec/compositor/generation/reference.lux')

diff --git a/stdlib/source/spec/compositor/generation/reference.lux b/stdlib/source/spec/compositor/generation/reference.lux
index 35de4e8ef..066b604dc 100644
--- a/stdlib/source/spec/compositor/generation/reference.lux
+++ b/stdlib/source/spec/compositor/generation/reference.lux
@@ -13,7 +13,8 @@
      ["." synthesis]]]
    [math
     ["r" random (#+ Random)]]]
-  ["." ///])
+  [///
+   [common (#+ Runner Definer)]])
 
 (def: name
   (Random Name)
@@ -21,7 +22,7 @@
     [(r.and name-part name-part)]))
 
 (def: (definition define)
-  (-> ///.Definer Test)
+  (-> Definer Test)
   (do r.monad
     [name ..name
      expected r.safe-frac]
@@ -34,7 +35,7 @@
                        false)))))
 
 (def: (variable run)
-  (-> ///.Runner Test)
+  (-> Runner Test)
   (do r.monad
     [register (|> r.nat (:: @ map (n/% 100)))
      expected r.safe-frac]
@@ -50,7 +51,7 @@
                        false)))))
 
 (def: #export (spec runner definer)
-  (-> ///.Runner ///.Definer Test)
+  (-> Runner Definer Test)
   ($_ _.and
       (..definition definer)
       (..variable runner)))
-- 
cgit v1.2.3