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/common.lux | 70 +++++++++++-----------
 1 file changed, 35 insertions(+), 35 deletions(-)

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

diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux
index cf94de3a9..dc2bf6ec7 100644
--- a/stdlib/source/specification/compositor/generation/common.lux
+++ b/stdlib/source/specification/compositor/generation/common.lux
@@ -46,7 +46,7 @@
                                               (run (..safe <extension>))
                                               (pipe.case
                                                 {try.#Success valueT}
-                                                (n.= (<reference> param subject) (:as Nat valueT))
+                                                (n.= (<reference> param subject) (as Nat valueT))
 
                                                 {try.#Failure _}
                                                 false)
@@ -69,7 +69,7 @@
                         {try.#Success valueT}
                         ("lux i64 ="
                          (i64.arithmetic_right_shifted param subject)
-                         (:as I64 valueT))
+                         (as I64 valueT))
 
                         {try.#Failure _}
                         false)
@@ -88,17 +88,17 @@
                                (run (..safe <extension>))
                                (pipe.case
                                  {try.#Success valueT}
-                                 (<comp> (<prepare> subject) (:as <type> valueT))
+                                 (<comp> (<prepare> subject) (as <type> valueT))
 
                                  {try.#Failure _}
                                  false)
                                (let [subject <subject_expr>])))]
 
                   ["lux i64 f64"  Frac i.frac f.= subject]
-                  ["lux i64 char" Text (|>> (:as Nat) text.from_code) text#= (|> subject
-                                                                                 (:as Nat)
-                                                                                 (n.% (i64.left_shifted 8 1))
-                                                                                 (:as Int))]
+                  ["lux i64 char" Text (|>> (as Nat) text.from_code) text#= (|> subject
+                                                                                (as Nat)
+                                                                                (n.% (i64.left_shifted 8 1))
+                                                                                (as Int))]
                   ))
             (~~ (template [<extension> <reference> <outputT> <comp>]
                   [(_.test <extension>
@@ -107,7 +107,7 @@
                                (run (..safe <extension>))
                                (pipe.case
                                  {try.#Success valueT}
-                                 (<comp> (<reference> param subject) (:as <outputT> valueT))
+                                 (<comp> (<reference> param subject) (as <outputT> valueT))
 
                                  {try.#Failure _}
                                  false)))]
@@ -153,7 +153,7 @@
                                (pipe.case
                                  {try.#Success valueV}
                                  (bit#= (<text> param subject)
-                                        (:as Bit valueV))
+                                        (as Bit valueV))
 
                                  _
                                  false)))]
@@ -202,7 +202,7 @@
                          (run (..safe "lux text ="))
                          (pipe.case
                            {try.#Success valueV}
-                           (:as Bit valueV)
+                           (as Bit valueV)
 
                            _
                            false))
@@ -210,7 +210,7 @@
                          (run (..safe "lux text ="))
                          (pipe.case
                            {try.#Success valueV}
-                           (not (:as Bit valueV))
+                           (not (as Bit valueV))
 
                            _
                            false))))
@@ -219,7 +219,7 @@
                     (run (..safe "lux text <"))
                     (pipe.case
                       {try.#Success valueV}
-                      (:as Bit valueV)
+                      (as Bit valueV)
 
                       {try.#Failure _}
                       false)))
@@ -228,7 +228,7 @@
                     (run (..safe "lux text size"))
                     (pipe.case
                       {try.#Success valueV}
-                      (n.= sample_size (:as Nat valueV))
+                      (n.= sample_size (as Nat valueV))
 
                       _
                       false)))
@@ -237,7 +237,7 @@
                     (run (..safe "lux text size"))
                     (pipe.case
                       {try.#Success valueV}
-                      (n.= (n.* 2 sample_size) (:as Nat valueV))
+                      (n.= (n.* 2 sample_size) (as Nat valueV))
 
                       _
                       false)))
@@ -248,7 +248,7 @@
                          (run (..safe "lux text index"))
                          (pipe.case
                            (^.multi {try.#Success valueV}
-                                    [(:as (Maybe Nat) valueV)
+                                    [(as (Maybe Nat) valueV)
                                      {.#Some valueV}])
                            (n.= 0 valueV)
 
@@ -260,27 +260,27 @@
                          (run (..safe "lux text index"))
                          (pipe.case
                            (^.multi {try.#Success valueV}
-                                    [(:as (Maybe Nat) valueV)
+                                    [(as (Maybe Nat) valueV)
                                      {.#Some valueV}])
                            (n.= sample_size valueV)
 
                            _
                            false))))
-        (let [test_clip (: (-> (I64 Any) (I64 Any) Text Bit)
-                           (function (_ offset length expected)
-                             (|> {synthesis.#Extension "lux text clip"
-                                                       (list concatenatedS
-                                                             (synthesis.i64 offset)
-                                                             (synthesis.i64 length))}
-                                 (run (..safe "lux text clip"))
-                                 (pipe.case
-                                   (^.multi {try.#Success valueV}
-                                            [(:as (Maybe Text) valueV)
-                                             {.#Some valueV}])
-                                   (text#= expected valueV)
-
-                                   _
-                                   false))))]
+        (let [test_clip (is (-> (I64 Any) (I64 Any) Text Bit)
+                            (function (_ offset length expected)
+                              (|> {synthesis.#Extension "lux text clip"
+                                                        (list concatenatedS
+                                                              (synthesis.i64 offset)
+                                                              (synthesis.i64 length))}
+                                  (run (..safe "lux text clip"))
+                                  (pipe.case
+                                    (^.multi {try.#Success valueV}
+                                             [(as (Maybe Text) valueV)
+                                              {.#Some valueV}])
+                                    (text#= expected valueV)
+
+                                    _
+                                    false))))]
           (_.test "Can clip text to extract sub-text."
                   (and (test_clip 0 sample_size sample_lower)
                        (test_clip sample_size sample_size sample_upper))))
@@ -291,7 +291,7 @@
                     (run (..safe "lux text char"))
                     (pipe.case
                       (^.multi {try.#Success valueV}
-                               [(:as (Maybe Int) valueV)
+                               [(as (Maybe Int) valueV)
                                 {.#Some valueV}])
                       (text.contains? ("lux i64 char" valueV)
                                       sample_lower)
@@ -325,7 +325,7 @@
                          (run (..safe "lux try"))
                          (pipe.case
                            (^.multi {try.#Success valueV}
-                                    [(:as (Try Text) valueV)
+                                    [(as (Try Text) valueV)
                                      {try.#Failure error}])
                            (text.contains? message error)
 
@@ -339,7 +339,7 @@
                          (run (..safe "lux try"))
                          (pipe.case
                            (^.multi {try.#Success valueV}
-                                    [(:as (Try Text) valueV)
+                                    [(as (Try Text) valueV)
                                      {try.#Success valueV}])
                            (text#= message valueV)
 
@@ -351,7 +351,7 @@
                     (run (..safe "lux io current-time"))
                     (pipe.case
                       {try.#Success valueV}
-                      (let [[pre post] (:as [Nat Nat] valueV)]
+                      (let [[pre post] (as [Nat Nat] valueV)]
                         (n.>= pre post))
 
                       {try.#Failure _}
-- 
cgit v1.2.3