From 41495e32d3f5f88b5f189f48dd4fdbfa883c6ac0 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 14 Mar 2022 18:27:37 -0400
Subject: De-sigil-ification: >

---
 .../compositor/generation/reference.lux            | 56 +++++++++++-----------
 1 file changed, 29 insertions(+), 27 deletions(-)

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

diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux
index b3f270445..87c7b605b 100644
--- a/stdlib/source/specification/compositor/generation/reference.lux
+++ b/stdlib/source/specification/compositor/generation/reference.lux
@@ -1,23 +1,23 @@
 (.using
-  [lux {"-" symbol}
-   ["_" test {"+" Test}]
-   [abstract
-    [monad {"+" do}]]
-   [control
-    [pipe {"+" case>}]
-    ["[0]" try]]
-   [data
-    [number
-     ["n" nat]
-     ["f" frac]]]
-   [tool
-    [compiler
-     ["[0]" reference]
-     ["[0]" synthesis]]]
-   [math
-    ["r" random {"+" Random}]]]
-  [///
-   [common {"+" Runner Definer}]])
+ [lux {"-" symbol}
+  ["_" test {"+" Test}]
+  [abstract
+   [monad {"+" do}]]
+  [control
+   ["[0]" pipe]
+   ["[0]" try]]
+  [data
+   [number
+    ["n" nat]
+    ["f" frac]]]
+  [tool
+   [compiler
+    ["[0]" reference]
+    ["[0]" synthesis]]]
+  [math
+   ["r" random {"+" Random}]]]
+ [///
+  [common {"+" Runner Definer}]])
 
 (def: symbol
   (Random Symbol)
@@ -31,11 +31,12 @@
      expected r.safe_frac]
     (_.test "Definitions."
             (|> (define name (synthesis.f64 expected))
-                (case> {try.#Success actual}
-                       (f.= expected (:as Frac actual))
+                (pipe.case
+                  {try.#Success actual}
+                  (f.= expected (:as Frac actual))
 
-                       {try.#Failure _}
-                       false)))))
+                  {try.#Failure _}
+                  false)))))
 
 (def: (variable run)
   (-> Runner Test)
@@ -47,11 +48,12 @@
                                        register
                                        (synthesis.variable/local register)])
                 (run "variable")
-                (case> {try.#Success actual}
-                       (f.= expected (:as Frac actual))
+                (pipe.case
+                  {try.#Success actual}
+                  (f.= expected (:as Frac actual))
 
-                       {try.#Failure _}
-                       false)))))
+                  {try.#Failure _}
+                  false)))))
 
 (def: .public (spec runner definer)
   (-> Runner Definer Test)
-- 
cgit v1.2.3