De-sigil-ification: prefix :

1 files changed, 33 insertions, 33 deletions

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$"])