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/structure.lux | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

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

diff --git a/stdlib/source/spec/compositor/generation/structure.lux b/stdlib/source/spec/compositor/generation/structure.lux
index 00334596c..99745a819 100644
--- a/stdlib/source/spec/compositor/generation/structure.lux
+++ b/stdlib/source/spec/compositor/generation/structure.lux
@@ -20,12 +20,13 @@
     [compiler
      ["." analysis]
      ["." synthesis]]]]
-  ["." ///])
+  [///
+   [common (#+ Runner)]])
 
 (import: #long java/lang/Integer)
 
 (def: (variant run)
-  (-> ///.Runner Test)
+  (-> Runner Test)
   (do r.monad
     [num-tags (|> r.nat (:: @ map (|>> (n/% 10) (n/max 2))))
      tag-in (|> r.nat (:: @ map (n/% num-tags)))
@@ -60,7 +61,7 @@
                        false)))))
 
 (def: (tuple run)
-  (-> ///.Runner Test)
+  (-> Runner Test)
   (do r.monad
     [size (|> r.nat (:: @ map (|>> (n/% 10) (n/max 2))))
      tuple-in (r.list size r.i64)]
@@ -78,7 +79,7 @@
                        false)))))
 
 (def: #export (spec runner)
-  (-> ///.Runner Test)
+  (-> Runner Test)
   ($_ _.and
       (..variant runner)
       (..tuple runner)
-- 
cgit v1.2.3