Adapted new-luxc to latest stdlib changes.

1 files changed, 87 insertions, 86 deletions

diff --git a/new-luxc/source/luxc/lang/host/jvm/def.lux b/new-luxc/source/luxc/lang/host/jvm/def.lux
index ff31157b0..e8efe306b 100644
--- a/new-luxc/source/luxc/lang/host/jvm/def.lux
+++ b/new-luxc/source/luxc/lang/host/jvm/def.lux
@@ -77,43 +77,43 @@
 (def: (version-flag version)
   (-> $.Version Int)
   (case version
-    #$.V1_1 Opcodes::V1_1
-    #$.V1_2 Opcodes::V1_2
-    #$.V1_3 Opcodes::V1_3
-    #$.V1_4 Opcodes::V1_4
-    #$.V1_5 Opcodes::V1_5
-    #$.V1_6 Opcodes::V1_6
-    #$.V1_7 Opcodes::V1_7
-    #$.V1_8 Opcodes::V1_8))
+    #$.V1_1 (Opcodes::V1_1)
+    #$.V1_2 (Opcodes::V1_2)
+    #$.V1_3 (Opcodes::V1_3)
+    #$.V1_4 (Opcodes::V1_4)
+    #$.V1_5 (Opcodes::V1_5)
+    #$.V1_6 (Opcodes::V1_6)
+    #$.V1_7 (Opcodes::V1_7)
+    #$.V1_8 (Opcodes::V1_8)))
 
 (def: (visibility-flag visibility)
   (-> $.Visibility Int)
   (case visibility
-    #$.Public    Opcodes::ACC_PUBLIC
-    #$.Protected Opcodes::ACC_PROTECTED
-    #$.Private   Opcodes::ACC_PRIVATE
+    #$.Public    (Opcodes::ACC_PUBLIC)
+    #$.Protected (Opcodes::ACC_PROTECTED)
+    #$.Private   (Opcodes::ACC_PRIVATE)
     #$.Default   +0))
 
 (def: (class-flags config)
   (-> $.Class-Config Int)
   ($_ i/+
-      (if (get@ #$.finalC config) Opcodes::ACC_FINAL +0)))
+      (if (get@ #$.finalC config) (Opcodes::ACC_FINAL) +0)))
 
 (def: (method-flags config)
   (-> $.Method-Config Int)
   ($_ i/+
-      (if (get@ #$.staticM config) Opcodes::ACC_STATIC +0)
-      (if (get@ #$.finalM config) Opcodes::ACC_FINAL +0)
-      (if (get@ #$.synchronizedM config) Opcodes::ACC_SYNCHRONIZED +0)
-      (if (get@ #$.strictM config) Opcodes::ACC_STRICT +0)))
+      (if (get@ #$.staticM config) (Opcodes::ACC_STATIC) +0)
+      (if (get@ #$.finalM config) (Opcodes::ACC_FINAL) +0)
+      (if (get@ #$.synchronizedM config) (Opcodes::ACC_SYNCHRONIZED) +0)
+      (if (get@ #$.strictM config) (Opcodes::ACC_STRICT) +0)))
 
 (def: (field-flags config)
   (-> $.Field-Config Int)
   ($_ i/+
-      (if (get@ #$.staticF config) Opcodes::ACC_STATIC +0)
-      (if (get@ #$.finalF config) Opcodes::ACC_FINAL +0)
-      (if (get@ #$.transientF config) Opcodes::ACC_TRANSIENT +0)
-      (if (get@ #$.volatileF config) Opcodes::ACC_VOLATILE +0)))
+      (if (get@ #$.staticF config) (Opcodes::ACC_STATIC) +0)
+      (if (get@ #$.finalF config) (Opcodes::ACC_FINAL) +0)
+      (if (get@ #$.transientF config) (Opcodes::ACC_TRANSIENT) +0)
+      (if (get@ #$.volatileF config) (Opcodes::ACC_VOLATILE) +0)))
 
 (def: class-to-type
   (-> $.Class $.Type)
@@ -150,8 +150,8 @@
 (def: class-computes
   Int
   ($_ i/+
-      ClassWriter::COMPUTE_MAXS
-      ## ClassWriter::COMPUTE_FRAMES
+      (ClassWriter::COMPUTE_MAXS)
+      ## (ClassWriter::COMPUTE_FRAMES)
       ))
 
 (do-template [<name> <flag>]
@@ -160,24 +160,24 @@
      (-> $.Version $.Visibility $.Class-Config Text (List $.Parameter) $.Class (List $.Class) $.Def
          (host.type (Array byte)))
      (let [writer (|> (do-to (ClassWriter::new class-computes)
-                        (ClassWriter::visit [(version-flag version)
-                                             ($_ i/+
-                                                 Opcodes::ACC_SUPER
-                                                 <flag>
-                                                 (visibility-flag visibility)
-                                                 (class-flags config))
-                                             ($t.binary-name name)
-                                             (parameters-signature parameters super interfaces)
-                                             (|> super product.left $t.binary-name)
-                                             (|> interfaces
-                                                 (list/map (|>> product.left $t.binary-name))
-                                                 string-array)]))
+                        (ClassWriter::visit (version-flag version)
+                                            ($_ i/+
+                                                (Opcodes::ACC_SUPER)
+                                                <flag>
+                                                (visibility-flag visibility)
+                                                (class-flags config))
+                                            ($t.binary-name name)
+                                            (parameters-signature parameters super interfaces)
+                                            (|> super product.left $t.binary-name)
+                                            (|> interfaces
+                                                (list/map (|>> product.left $t.binary-name))
+                                                string-array)))
                       definitions)
-           _ (ClassWriter::visitEnd [] writer)]
-       (ClassWriter::toByteArray [] writer)))]
+           _ (ClassWriter::visitEnd writer)]
+       (ClassWriter::toByteArray writer)))]
 
   [class     +0]
-  [abstract  Opcodes::ACC_ABSTRACT]
+  [abstract  (Opcodes::ACC_ABSTRACT)]
   )
 
 (def: $Object $.Class ["java.lang.Object" (list)])
@@ -187,82 +187,83 @@
   (-> $.Version $.Visibility $.Class-Config Text (List $.Parameter) (List $.Class) $.Def
       (host.type (Array byte)))
   (let [writer (|> (do-to (ClassWriter::new class-computes)
-                     (ClassWriter::visit [(version-flag version)
-                                          ($_ i/+
-                                              Opcodes::ACC_SUPER
-                                              Opcodes::ACC_INTERFACE
-                                              (visibility-flag visibility)
-                                              (class-flags config))
-                                          ($t.binary-name name)
-                                          (parameters-signature parameters $Object interfaces)
-                                          (|> $Object product.left $t.binary-name)
-                                          (|> interfaces
-                                              (list/map (|>> product.left $t.binary-name))
-                                              string-array)]))
+                     (ClassWriter::visit (version-flag version)
+                                         ($_ i/+
+                                             (Opcodes::ACC_SUPER)
+                                             (Opcodes::ACC_INTERFACE)
+                                             (visibility-flag visibility)
+                                             (class-flags config))
+                                         ($t.binary-name name)
+                                         (parameters-signature parameters $Object interfaces)
+                                         (|> $Object product.left $t.binary-name)
+                                         (|> interfaces
+                                             (list/map (|>> product.left $t.binary-name))
+                                             string-array)))
                    definitions)
-        _ (ClassWriter::visitEnd [] writer)]
-    (ClassWriter::toByteArray [] writer)))
+        _ (ClassWriter::visitEnd writer)]
+    (ClassWriter::toByteArray writer)))
 
 (def: #export (method visibility config name type then)
   (-> $.Visibility $.Method-Config Text $.Method $.Inst
       $.Def)
   (function (_ writer)
-    (let [=method (ClassWriter::visitMethod [($_ i/+
-                                                 (visibility-flag visibility)
-                                                 (method-flags config))
-                                             ($t.binary-name name)
-                                             ($t.method-descriptor type)
-                                             ($t.method-signature type)
-                                             (exceptions-array type)]
+    (let [=method (ClassWriter::visitMethod ($_ i/+
+                                                (visibility-flag visibility)
+                                                (method-flags config))
+                                            ($t.binary-name name)
+                                            ($t.method-descriptor type)
+                                            ($t.method-signature type)
+                                            (exceptions-array type)
                                             writer)
-          _ (MethodVisitor::visitCode [] =method)
+          _ (MethodVisitor::visitCode =method)
           _ (then =method)
-          _ (MethodVisitor::visitMaxs [+0 +0] =method)
-          _ (MethodVisitor::visitEnd [] =method)]
+          _ (MethodVisitor::visitMaxs +0 +0 =method)
+          _ (MethodVisitor::visitEnd =method)]
       writer)))
 
 (def: #export (abstract-method visibility config name type)
   (-> $.Visibility $.Method-Config Text $.Method
       $.Def)
   (function (_ writer)
-    (let [=method (ClassWriter::visitMethod [($_ i/+
-                                                 (visibility-flag visibility)
-                                                 (method-flags config)
-                                                 Opcodes::ACC_ABSTRACT)
-                                             ($t.binary-name name)
-                                             ($t.method-descriptor type)
-                                             ($t.method-signature type)
-                                             (exceptions-array type)]
+    (let [=method (ClassWriter::visitMethod ($_ i/+
+                                                (visibility-flag visibility)
+                                                (method-flags config)
+                                                (Opcodes::ACC_ABSTRACT))
+                                            ($t.binary-name name)
+                                            ($t.method-descriptor type)
+                                            ($t.method-signature type)
+                                            (exceptions-array type)
                                             writer)
-          _ (MethodVisitor::visitEnd [] =method)]
+          _ (MethodVisitor::visitEnd =method)]
       writer)))
 
 (def: #export (field visibility config name type)
   (-> $.Visibility $.Field-Config Text $.Type $.Def)
   (function (_ writer)
-    (let [=field (do-to (ClassWriter::visitField [($_ i/+
-                                                      (visibility-flag visibility)
-                                                      (field-flags config))
-                                                  ($t.binary-name name)
-                                                  ($t.descriptor type)
-                                                  ($t.signature type)
-                                                  (host.null)] writer)
-                   (FieldVisitor::visitEnd []))]
+    (let [=field (do-to (ClassWriter::visitField ($_ i/+
+                                                     (visibility-flag visibility)
+                                                     (field-flags config))
+                                                 ($t.binary-name name)
+                                                 ($t.descriptor type)
+                                                 ($t.signature type)
+                                                 (host.null)
+                                                 writer)
+                   (FieldVisitor::visitEnd))]
       writer)))
 
 (do-template [<name> <lux-type> <jvm-type> <prepare>]
   [(def: #export (<name> visibility config name value)
      (-> $.Visibility $.Field-Config Text <lux-type> $.Def)
      (function (_ writer)
-       (let [=field (do-to (ClassWriter::visitField [($_ i/+
-                                                         (visibility-flag visibility)
-                                                         (field-flags config))
-                                                     ($t.binary-name name)
-                                                     ($t.descriptor <jvm-type>)
-                                                     ($t.signature <jvm-type>)
-                                                     (<prepare> value)]
+       (let [=field (do-to (ClassWriter::visitField ($_ i/+
+                                                        (visibility-flag visibility)
+                                                        (field-flags config))
+                                                    ($t.binary-name name)
+                                                    ($t.descriptor <jvm-type>)
+                                                    ($t.signature <jvm-type>)
+                                                    (<prepare> value)
                                                     writer)
-                      (FieldVisitor::visitEnd []))]
+                      (FieldVisitor::visitEnd))]
          writer)))]
 
   [boolean-field Bit  $t.boolean id]