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 +++++++------
 stdlib/source/spec/compositor/generation/common.lux    |  3 ++-
 stdlib/source/spec/compositor/generation/function.lux  |  5 +++--
 stdlib/source/spec/compositor/generation/primitive.lux |  5 +++--
 stdlib/source/spec/compositor/generation/reference.lux |  9 +++++----
 stdlib/source/spec/compositor/generation/structure.lux |  9 +++++----
 6 files changed, 25 insertions(+), 19 deletions(-)

(limited to 'stdlib/source/spec/compositor/generation')

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)
diff --git a/stdlib/source/spec/compositor/generation/common.lux b/stdlib/source/spec/compositor/generation/common.lux
index 16ff5aab8..c92859639 100644
--- a/stdlib/source/spec/compositor/generation/common.lux
+++ b/stdlib/source/spec/compositor/generation/common.lux
@@ -22,7 +22,8 @@
      ["." synthesis]]]]
   ["." // #_
    ["#." case]
-   ["/#" // (#+ Runner)]])
+   [//
+    [common (#+ Runner)]]])
 
 (def: sanitize
   (-> Text Text)
diff --git a/stdlib/source/spec/compositor/generation/function.lux b/stdlib/source/spec/compositor/generation/function.lux
index c9f8f5f56..2a8b4687d 100644
--- a/stdlib/source/spec/compositor/generation/function.lux
+++ b/stdlib/source/spec/compositor/generation/function.lux
@@ -21,7 +21,8 @@
      ["." synthesis (#+ Synthesis)]]]]
   ["." // #_
    ["#." case]
-   ["/#" //]])
+   [//
+    [common (#+ Runner)]]])
 
 (def: max-arity Arity 10)
 
@@ -45,7 +46,7 @@
              #synthesis.body (synthesis.variable/local local)})])))
 
 (def: #export (spec run)
-  (-> ///.Runner Test)
+  (-> Runner Test)
   (do r.monad
     [[arity local functionS] ..function
      partial-arity (|> r.nat (:: @ map (|>> (n/% arity) (n/max 1))))
diff --git a/stdlib/source/spec/compositor/generation/primitive.lux b/stdlib/source/spec/compositor/generation/primitive.lux
index 788085836..63568fbce 100644
--- a/stdlib/source/spec/compositor/generation/primitive.lux
+++ b/stdlib/source/spec/compositor/generation/primitive.lux
@@ -17,7 +17,8 @@
    [tool
     [compiler
      ["." synthesis]]]]
-  ["." ///])
+  [///
+   [common (#+ Runner)]])
 
 (def: (f/=' reference subject)
   (-> Frac Frac Bit)
@@ -26,7 +27,7 @@
            (frac.not-a-number? subject))))
 
 (def: #export (spec run)
-  (-> ///.Runner Test)
+  (-> Runner Test)
   (`` ($_ _.and
           (~~ (template [<evaluation-name> <synthesis> <gen> <test>]
                 [(do r.monad
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)))
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