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 :

---
 .../luxc/lang/translation/jvm/extension/common.lux | 118 ++++++++++-----------
 1 file changed, 59 insertions(+), 59 deletions(-)

(limited to 'lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux')

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
index 20f3fdf7a..10fe4e948 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
@@ -1,45 +1,45 @@
 (.using
-  [library
-   [lux {"-" Type Label}
-    [ffi {"+" import:}]
-    [abstract
-     ["[0]" monad {"+" do}]]
-    [control
-     ["[0]" try]
-     ["<>" parser
-      ["<s>" synthesis {"+" Parser}]]]
-    [data
-     ["[0]" product]
-     [collection
-      ["[0]" list ("[1]@[0]" monad)]
-      ["[0]" dictionary]]]
-    [math
-     [number
-      ["f" frac]]]
-    [target
-     [jvm
-      ["[0]" type]]]
-    [tool
-     [compiler
-      ["[0]" phase]
-      [meta
-       [archive {"+" Archive}]]
-      [language
-       [lux
-        ["[0]" synthesis {"+" Synthesis %synthesis}]
-        [phase
-         [generation
-          [extension {"+" Nullary Unary Binary Trinary Variadic
-                      nullary unary binary trinary variadic}]]
-         ["[0]" extension
-          ["[0]" bundle]]]]]]]]]
-  [luxc
-   [lang
-    [host
-     ["$" jvm {"+" Label Inst Def Handler Bundle Operation Phase}
-      ["_" inst]]]]]
-  ["[0]" ///
-   ["[0]" runtime]])
+ [library
+  [lux {"-" Type Label}
+   [ffi {"+" import:}]
+   [abstract
+    ["[0]" monad {"+" do}]]
+   [control
+    ["[0]" try]
+    ["<>" parser
+     ["<s>" synthesis {"+" Parser}]]]
+   [data
+    ["[0]" product]
+    [collection
+     ["[0]" list ("[1]@[0]" monad)]
+     ["[0]" dictionary]]]
+   [math
+    [number
+     ["f" frac]]]
+   [target
+    [jvm
+     ["[0]" type]]]
+   [tool
+    [compiler
+     ["[0]" phase]
+     [meta
+      [archive {"+" Archive}]]
+     [language
+      [lux
+       ["[0]" synthesis {"+" Synthesis %synthesis}]
+       [phase
+        [generation
+         [extension {"+" Nullary Unary Binary Trinary Variadic
+                     nullary unary binary trinary variadic}]]
+        ["[0]" extension
+         ["[0]" bundle]]]]]]]]]
+ [luxc
+  [lang
+   [host
+    ["$" jvm {"+" Label Inst Def Handler Bundle Operation Phase}
+     ["_" inst]]]]]
+ ["[0]" ///
+  ["[0]" runtime]])
 
 (def: .public (custom [parser handler])
   (All (_ s)
@@ -93,19 +93,19 @@
                    (do [@ phase.monad]
                      [inputG (phase archive input)
                       elseG (phase archive else)
-                      conditionalsG+ (: (Operation (List [(List [Int Label])
-                                                          Inst]))
-                                        (monad.each @ (function (_ [chars branch])
-                                                        (do @
-                                                          [branchG (phase archive branch)]
-                                                          (in (<| _.with_label (function (_ @branch))
-                                                                  [(list@each (function (_ char)
-                                                                                [(.int char) @branch])
-                                                                              chars)
-                                                                   (|>> (_.label @branch)
-                                                                        branchG
-                                                                        (_.GOTO @end))]))))
-                                                    conditionals))
+                      conditionalsG+ (is (Operation (List [(List [Int Label])
+                                                           Inst]))
+                                         (monad.each @ (function (_ [chars branch])
+                                                         (do @
+                                                           [branchG (phase archive branch)]
+                                                           (in (<| _.with_label (function (_ @branch))
+                                                                   [(list@each (function (_ char)
+                                                                                 [(.int char) @branch])
+                                                                               chars)
+                                                                    (|>> (_.label @branch)
+                                                                         branchG
+                                                                         (_.GOTO @end))]))))
+                                                     conditionals))
                       .let [table (|> conditionalsG+
                                       (list@each product.left)
                                       list@conjoint)
@@ -291,7 +291,7 @@
 
 (def: bundle::lux
   Bundle
-  (|> (: Bundle bundle.empty)
+  (|> (is Bundle bundle.empty)
       (bundle.install "syntax char case!" lux::syntax_char_case!)
       (bundle.install "is" (binary lux::is))
       (bundle.install "try" (unary lux::try))))
@@ -299,7 +299,7 @@
 (def: bundle::i64
   Bundle
   (<| (bundle.prefix "i64")
-      (|> (: Bundle bundle.empty)
+      (|> (is Bundle bundle.empty)
           (bundle.install "and" (binary i64::and))
           (bundle.install "or" (binary i64::or))
           (bundle.install "xor" (binary i64::xor))
@@ -318,7 +318,7 @@
 (def: bundle::f64
   Bundle
   (<| (bundle.prefix "f64")
-      (|> (: Bundle bundle.empty)
+      (|> (is Bundle bundle.empty)
           (bundle.install "+" (binary f64::+))
           (bundle.install "-" (binary f64::-))
           (bundle.install "*" (binary f64::*))
@@ -333,7 +333,7 @@
 (def: bundle::text
   Bundle
   (<| (bundle.prefix "text")
-      (|> (: Bundle bundle.empty)
+      (|> (is Bundle bundle.empty)
           (bundle.install "=" (binary text::=))
           (bundle.install "<" (binary text::<))
           (bundle.install "concat" (binary text::concat))
@@ -345,7 +345,7 @@
 (def: bundle::io
   Bundle
   (<| (bundle.prefix "io")
-      (|> (: Bundle bundle.empty)
+      (|> (is Bundle bundle.empty)
           (bundle.install "log" (unary io::log))
           (bundle.install "error" (unary io::error)))))
 
-- 
cgit v1.2.3