From bf53ee92fc3c33a4885aa227e55d24f7ba3cb2c4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 16 Mar 2022 08:37:23 -0400
Subject: De-sigil-ification: prefix :

---
 .../specification/compositor/generation/case.lux   | 66 +++++++++++-----------
 1 file changed, 33 insertions(+), 33 deletions(-)

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

diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index 46fd92eb2..80faa246f 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -42,7 +42,7 @@
   (-> Frac (Try Any) Bit)
   (|>> (pipe.case
          {try.#Success actual}
-         (f.= expected (:as Frac actual))
+         (f.= expected (as Frac actual))
 
          {try.#Failure _}
          false)))
@@ -140,38 +140,38 @@
 
 (def: special_input
   Synthesis
-  (let [_cursor_ (: Synthesis
-                    (synthesis.tuple (list (synthesis.text .prelude_module)
-                                           (synthesis.i64 +901)
-                                           (synthesis.i64 +13))))
-        _code_ (: (-> Synthesis Synthesis)
-                  (function (_ content)
-                    (synthesis.tuple (list _cursor_ content))))
-        _end_ (: Synthesis
-                 (synthesis.variant [0 #0 (synthesis.text "")]))
-        _item_ (: (-> Synthesis Synthesis Synthesis)
-                  (function (_ head tail)
-                    (synthesis.variant [0 #1 (synthesis.tuple (list head tail))])))
-        _list_ (: (-> (List Synthesis) Synthesis)
-                  (list#mix _item_ _end_))]
-    (let [__tuple__ (: (-> (List Synthesis) Synthesis)
-                       (|>> list.reversed _list_ [9 #0] synthesis.variant _code_))
-          __form__ (: (-> (List Synthesis) Synthesis)
-                      (|>> list.reversed _list_ [7 #0] synthesis.variant _code_))
-          __text__ (: (-> Text Synthesis)
-                      (function (_ value)
-                        (_code_ (synthesis.variant [5 #0 (synthesis.text value)]))))
-          __symbol__ (: (-> Symbol Synthesis)
-                        (function (_ [module short])
-                          (_code_ (synthesis.variant [6 #0 (synthesis.tuple (list (synthesis.text module)
-                                                                                  (synthesis.text short)))]))))
-          __list__ (: (-> (List Synthesis) Synthesis)
-                      (list#mix (function (_ head tail)
-                                  (__form__ (list (__tag__ ["" "Item"]) head tail)))
-                                (__tag__ ["" "End"])))
-          __apply__ (: (-> Synthesis Synthesis Synthesis)
-                       (function (_ func arg)
-                         (__form__ (list func arg))))]
+  (let [_cursor_ (is Synthesis
+                     (synthesis.tuple (list (synthesis.text .prelude_module)
+                                            (synthesis.i64 +901)
+                                            (synthesis.i64 +13))))
+        _code_ (is (-> Synthesis Synthesis)
+                   (function (_ content)
+                     (synthesis.tuple (list _cursor_ content))))
+        _end_ (is Synthesis
+                  (synthesis.variant [0 #0 (synthesis.text "")]))
+        _item_ (is (-> Synthesis Synthesis Synthesis)
+                   (function (_ head tail)
+                     (synthesis.variant [0 #1 (synthesis.tuple (list head tail))])))
+        _list_ (is (-> (List Synthesis) Synthesis)
+                   (list#mix _item_ _end_))]
+    (let [__tuple__ (is (-> (List Synthesis) Synthesis)
+                        (|>> list.reversed _list_ [9 #0] synthesis.variant _code_))
+          __form__ (is (-> (List Synthesis) Synthesis)
+                       (|>> list.reversed _list_ [7 #0] synthesis.variant _code_))
+          __text__ (is (-> Text Synthesis)
+                       (function (_ value)
+                         (_code_ (synthesis.variant [5 #0 (synthesis.text value)]))))
+          __symbol__ (is (-> Symbol Synthesis)
+                         (function (_ [module short])
+                           (_code_ (synthesis.variant [6 #0 (synthesis.tuple (list (synthesis.text module)
+                                                                                   (synthesis.text short)))]))))
+          __list__ (is (-> (List Synthesis) Synthesis)
+                       (list#mix (function (_ head tail)
+                                   (__form__ (list (__tag__ ["" "Item"]) head tail)))
+                                 (__tag__ ["" "End"])))
+          __apply__ (is (-> Synthesis Synthesis Synthesis)
+                        (function (_ func arg)
+                          (__form__ (list func arg))))]
       (|> _end_
           (_item_ (__apply__ (__symbol__ ["" "form$"])
                              (__list__ (list (__apply__ (__symbol__ ["" "tag$"])
-- 
cgit v1.2.3