From b71b861008381626633bf28b033cd866d7e4e0b7 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 20 Jun 2019 22:32:59 -0400
Subject: Improved the convention for using text formatters.

---
 stdlib/source/spec/compositor/generation/case.lux      | 8 ++++----
 stdlib/source/spec/compositor/generation/common.lux    | 2 +-
 stdlib/source/spec/compositor/generation/function.lux  | 2 --
 stdlib/source/spec/compositor/generation/primitive.lux | 4 ++--
 stdlib/source/spec/compositor/generation/structure.lux | 6 +++---
 5 files changed, 10 insertions(+), 12 deletions(-)

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

diff --git a/stdlib/source/spec/compositor/generation/case.lux b/stdlib/source/spec/compositor/generation/case.lux
index 880a26eae..5b1187210 100644
--- a/stdlib/source/spec/compositor/generation/case.lux
+++ b/stdlib/source/spec/compositor/generation/case.lux
@@ -8,7 +8,7 @@
    [data
     ["." error (#+ Error)]
     ["." text ("#@." equivalence)
-     format]
+     ["%" format (#+ format)]]
     [collection
      ["." list ("#@." fold)]]]
    [math
@@ -97,7 +97,7 @@
   (-> Runner Test)
   (do r.monad
     [value r.safe-frac]
-    (_.test (%name (name-of synthesis.branch/let))
+    (_.test (%.name (name-of synthesis.branch/let))
             (|> (synthesis.branch/let [(synthesis.f64 value)
                                        0
                                        (synthesis.variable/local 0)])
@@ -110,7 +110,7 @@
     [on-true r.safe-frac
      on-false (|> r.safe-frac (r.filter (|>> (f/= on-true) not)))
      verdict r.bit]
-    (_.test (%name (name-of synthesis.branch/if))
+    (_.test (%.name (name-of synthesis.branch/if))
             (|> (synthesis.branch/if [(synthesis.bit verdict)
                                       (synthesis.f64 on-true)
                                       (synthesis.f64 on-false)])
@@ -123,7 +123,7 @@
     [[inputS pathS] ..case
      on-success r.safe-frac
      on-failure (|> r.safe-frac (r.filter (|>> (f/= on-success) not)))]
-    (_.test (%name (name-of synthesis.branch/case))
+    (_.test (%.name (name-of synthesis.branch/case))
             (|> (synthesis.branch/case
                  [inputS
                   ($_ synthesis.path/alt
diff --git a/stdlib/source/spec/compositor/generation/common.lux b/stdlib/source/spec/compositor/generation/common.lux
index c837c30a3..a4037c9d4 100644
--- a/stdlib/source/spec/compositor/generation/common.lux
+++ b/stdlib/source/spec/compositor/generation/common.lux
@@ -11,7 +11,7 @@
     [number
      ["." i64]]
     ["." text ("#@." equivalence)
-     format]
+     ["%" format (#+ format)]]
     [collection
      ["." list]]]
    [math
diff --git a/stdlib/source/spec/compositor/generation/function.lux b/stdlib/source/spec/compositor/generation/function.lux
index 2a8b4687d..0f12906a0 100644
--- a/stdlib/source/spec/compositor/generation/function.lux
+++ b/stdlib/source/spec/compositor/generation/function.lux
@@ -8,8 +8,6 @@
    [data
     ["." maybe]
     ["." error (#+ Error)]
-    [text
-     format]
     [collection
      ["." list ("#@." functor)]]]
    [math
diff --git a/stdlib/source/spec/compositor/generation/primitive.lux b/stdlib/source/spec/compositor/generation/primitive.lux
index 63568fbce..48ff99933 100644
--- a/stdlib/source/spec/compositor/generation/primitive.lux
+++ b/stdlib/source/spec/compositor/generation/primitive.lux
@@ -11,7 +11,7 @@
     [number
      ["." frac]]
     ["." text ("#@." equivalence)
-     format]]
+     ["%" format (#+ format)]]]
    [math
     ["r" random]]
    [tool
@@ -32,7 +32,7 @@
           (~~ (template [<evaluation-name> <synthesis> <gen> <test>]
                 [(do r.monad
                    [expected <gen>]
-                   (_.test (%name (name-of <synthesis>))
+                   (_.test (%.name (name-of <synthesis>))
                            (|> (run <evaluation-name> (<synthesis> expected))
                                (case> (#error.Success actual)
                                       (<test> expected (:assume actual))
diff --git a/stdlib/source/spec/compositor/generation/structure.lux b/stdlib/source/spec/compositor/generation/structure.lux
index 99745a819..d22775a43 100644
--- a/stdlib/source/spec/compositor/generation/structure.lux
+++ b/stdlib/source/spec/compositor/generation/structure.lux
@@ -9,7 +9,7 @@
     ["." error]
     ["." maybe]
     ["." text ("#@." equivalence)
-     format]
+     ["%" format (#+ format)]]
     [collection
      ["." array (#+ Array)]
      ["." list ("#@." functor)]]]
@@ -32,7 +32,7 @@
      tag-in (|> r.nat (:: @ map (n/% num-tags)))
      #let [last?-in (|> num-tags dec (n/= tag-in))]
      value-in r.i64]
-    (_.test (%name (name-of synthesis.variant))
+    (_.test (%.name (name-of synthesis.variant))
             (|> (synthesis.variant {#analysis.lefts (if last?-in
                                                       (dec tag-in)
                                                       tag-in)
@@ -65,7 +65,7 @@
   (do r.monad
     [size (|> r.nat (:: @ map (|>> (n/% 10) (n/max 2))))
      tuple-in (r.list size r.i64)]
-    (_.test (%name (name-of synthesis.tuple))
+    (_.test (%.name (name-of synthesis.tuple))
             (|> (synthesis.tuple (list@map (|>> synthesis.i64) tuple-in))
                 (run "tuple")
                 (case> (#error.Success tuple-out)
-- 
cgit v1.2.3