diff options
| author | Eduardo Julian | 2021-09-13 01:35:52 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-13 01:35:52 -0400 |
| commit | c19b19a2d48c3937bae72982cbb88b78d21b3891 (patch) | |
| tree | 0215a9cfabfec7ad979dcfa8df0b5ffcc787ec4e /lux-jvm/source/program.lux | |
| parent | 6368253e731bd20b5f9f6891306b8302ec330d38 (diff) | |
Updated new compilers w.r.t. removal of tags/labels.
Diffstat (limited to 'lux-jvm/source/program.lux')
| -rw-r--r-- | lux-jvm/source/program.lux | 16 |
1 files changed, 8 insertions, 8 deletions
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") |