De-sigil-ification: prefix :

1 files changed, 14 insertions, 14 deletions

diff --git a/lux-jvm/source/luxc/lang/directive/jvm.lux b/lux-jvm/source/luxc/lang/directive/jvm.lux
index f125192f5..ff0e5cecf 100644
--- a/lux-jvm/source/luxc/lang/directive/jvm.lux
+++ b/lux-jvm/source/luxc/lang/directive/jvm.lux
@@ -559,7 +559,7 @@
   (-> jvm.Extender Any jvm.Handler)
   (function (_ extension_name phase archive inputs)
     (# phase.monad each
-       (|>> (:as (/.Bytecode Inst /.Label)) ..bytecode)
+       (|>> (as (/.Bytecode Inst /.Label)) ..bytecode)
        ((extender pseudo) extension_name phase archive inputs))))
 
 (type: Phase (directive.Phase jvm.Anchor jvm.Inst jvm.Definition))
@@ -573,13 +573,13 @@
       (pattern (list nameC valueC))
       (do phase.monad
         [[_ _ name] (lux/.evaluate! archive Text nameC)
-         [_ handlerV] (lux/.generator archive (:as Text name) ..Handler' valueC)
+         [_ handlerV] (lux/.generator archive (as Text name) ..Handler' valueC)
          _ (|> handlerV
                (..true_handler extender)
-               (extension.install extender (:as Text name))
+               (extension.install extender (as Text name))
                directive.lifted_generation)
          _ (directive.lifted_generation
-            (generation.log! (format "Generation " (%.text (:as Text name)))))]
+            (generation.log! (format "Generation " (%.text (as Text name)))))]
         (in directive.no_requirements))
 
       _
@@ -758,10 +758,10 @@
 
 (def: constructor
   (Parser (Constructor Code))
-  (let [constructor_argument (: (Parser [(Type Value) Code])
-                                (<code>.tuple
-                                 (<>.and ..value
-                                         <code>.any)))]
+  (let [constructor_argument (is (Parser [(Type Value) Code])
+                                 (<code>.tuple
+                                  (<>.and ..value
+                                          <code>.any)))]
     (<| <code>.form
         (<>.after (<code>.text! "init"))
         ($_ <>.and
@@ -1311,10 +1311,10 @@
                                                 /type.void
                                                 (list)])
               argumentsT (list#each product.right arguments)
-              initialize_object! (: Inst
-                                    (|>> (_.ALOAD 0)
-                                         super_constructor_argument_values
-                                         (_.INVOKESPECIAL super_class ..constructor_name super_constructorT)))]]
+              initialize_object! (is Inst
+                                     (|>> (_.ALOAD 0)
+                                          super_constructor_argument_values
+                                          (_.INVOKESPECIAL super_class ..constructor_name super_constructorT)))]]
        (in (def.method (..visibility privacy)
                        (if strict_floating_point?
                          jvm.strictM
@@ -1459,8 +1459,8 @@
          ... Necessary for reflection to work properly during analysis.
          _ (directive.lifted_generation
             (generation.execute! header))
-         .let [supers (: (List (Type Class))
-                         (list& super_class super_interfaces))]
+         .let [supers (is (List (Type Class))
+                          (list& super_class super_interfaces))]
          _ (|> methodsC
                (list.all ..convert_overriden_method)
                (//A.require_complete_method_concretion class_loader supers)