From c19b19a2d48c3937bae72982cbb88b78d21b3891 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 13 Sep 2021 01:35:52 -0400
Subject: Updated new compilers w.r.t. removal of tags/labels.

---
 lux-jvm/source/program.lux | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'lux-jvm/source/program.lux')

diff --git a/lux-jvm/source/program.lux b/lux-jvm/source/program.lux
index 4484db653..79205fd84 100644
--- a/lux-jvm/source/program.lux
+++ b/lux-jvm/source/program.lux
@@ -144,27 +144,27 @@
         unwrap_long (: (-> Synthesis Synthesis)
                        (|>> (list ($.text jvm/type/box.long)
                                   ($.text "long"))
-                            {#$.Extension "jvm object cast"}))
+                            {$.#Extension "jvm object cast"}))
         long_to_int (: (-> Synthesis Synthesis)
                        (|>> (list)
-                            {#$.Extension "jvm conversion long-to-int"}))
+                            {$.#Extension "jvm conversion long-to-int"}))
         literal_nat (: (-> Nat Synthesis)
                        (|>> .i64 $.i64 unwrap_long long_to_int))
         write! (: (-> Text Nat Synthesis Synthesis Synthesis)
                   (function (_ element_class index value array)
-                    {#$.Extension "jvm array write object"
+                    {$.#Extension "jvm array write object"
                                   (list (jvm_type (jvm/type.array (jvm/type.class element_class (list))))
                                         (literal_nat index)
                                         value
                                         array)}))
         object_array (: (-> Text Nat Synthesis)
                         (function (_ class_name size)
-                          {#$.Extension "jvm array new object"
+                          {$.#Extension "jvm array new object"
                                         (list (class_type class_name)
                                               (literal_nat size))}))
         class_of (: (-> Synthesis Synthesis)
                     (function (_ object)
-                      {#$.Extension "jvm member invoke virtual"
+                      {$.#Extension "jvm member invoke virtual"
                                     (list& (class_type "java.lang.Object")
                                            ($.text "getClass")
                                            (class_type "java.lang.Class")
@@ -174,7 +174,7 @@
                  (function (_ value_type value)
                    ($.tuple (list (jvm_type value_type) value))))
         
-        example_object {#$.Extension "jvm member invoke constructor"
+        example_object {$.#Extension "jvm member invoke constructor"
                                      (list& (class_type "java.lang.Object")
                                             (list))}
         phase_arity 3
@@ -182,7 +182,7 @@
         $archive ($.variable/local 2)
         $input ($.variable/local 3)
         $state ($.variable/local 4)
-        apply_method {#$.Extension "jvm member invoke virtual"
+        apply_method {$.#Extension "jvm member invoke virtual"
                                    (list& (class_type "java.lang.Class")
                                           ($.text "getMethod")
                                           (class_type "java.lang.reflect.Method")
@@ -194,7 +194,7 @@
                                                            (write! "java.lang.Class" 0 (class_of example_object))
                                                            (write! "java.lang.Class" 1 (class_of example_object))
                                                            (write! "java.lang.Class" 2 (class_of example_object))))))}]
-    {#$.Extension "jvm member invoke virtual"
+    {$.#Extension "jvm member invoke virtual"
                   (list& (class_type "java.lang.reflect.Method")
                          ($.text "invoke")
                          (class_type "java.lang.Object")
-- 
cgit v1.2.3