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/case.lux | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

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

diff --git a/stdlib/source/spec/compositor/generation/case.lux b/stdlib/source/spec/compositor/generation/case.lux
index 1c398d301..880a26eae 100644
--- a/stdlib/source/spec/compositor/generation/case.lux
+++ b/stdlib/source/spec/compositor/generation/case.lux
@@ -22,7 +22,8 @@
       ["#/." synthesis
        ["." case]]
       ["." extension/synthesis]]]]]
-  ["." ///])
+  [///
+   [common (#+ Runner)]])
 
 (def: limit Nat 10)
 
@@ -93,7 +94,7 @@
               ))))
 
 (def: (let-spec run)
-  (-> ///.Runner Test)
+  (-> Runner Test)
   (do r.monad
     [value r.safe-frac]
     (_.test (%name (name-of synthesis.branch/let))
@@ -104,7 +105,7 @@
                 (verify value)))))
 
 (def: (if-spec run)
-  (-> ///.Runner Test)
+  (-> Runner Test)
   (do r.monad
     [on-true r.safe-frac
      on-false (|> r.safe-frac (r.filter (|>> (f/= on-true) not)))
@@ -117,7 +118,7 @@
                 (verify (if verdict on-true on-false))))))
 
 (def: (case-spec run)
-  (-> ///.Runner Test)
+  (-> Runner Test)
   (do r.monad
     [[inputS pathS] ..case
      on-success r.safe-frac
@@ -240,7 +241,7 @@
 
 ## TODO: Get rid of this ASAP
 (def: (special-spec run)
-  (-> ///.Runner Test)
+  (-> Runner Test)
   ($_ _.and
       (_.test "==="
               (and (text@= (synthesis.%path special-path)
@@ -275,7 +276,7 @@
       ))
 
 (def: #export (spec run)
-  (-> ///.Runner Test)
+  (-> Runner Test)
   ($_ _.and
       (..special-spec run)
       (..let-spec run)
-- 
cgit v1.2.3