From c5b61d2f46ac19bf511197f3a537c4be0f47df33 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 27 Aug 2021 20:59:34 -0400
Subject: Updates to the Ruby compiler.

---
 lux-jvm/source/luxc/lang/directive/jvm.lux                    | 2 +-
 lux-jvm/source/luxc/lang/host/jvm/inst.lux                    | 4 ++--
 lux-jvm/source/luxc/lang/translation/jvm/common.lux           | 2 +-
 lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux | 2 +-
 lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux   | 4 ++--
 lux-jvm/source/luxc/lang/translation/jvm/runtime.lux          | 2 +-
 lux-jvm/source/program.lux                                    | 4 ++--
 7 files changed, 10 insertions(+), 10 deletions(-)

(limited to 'lux-jvm/source')

diff --git a/lux-jvm/source/luxc/lang/directive/jvm.lux b/lux-jvm/source/luxc/lang/directive/jvm.lux
index b52d4b63e..22715276b 100644
--- a/lux-jvm/source/luxc/lang/directive/jvm.lux
+++ b/lux-jvm/source/luxc/lang/directive/jvm.lux
@@ -581,7 +581,7 @@
       (phase.except extension.invalid_syntax [extension_name %.code inputsC+]))))
 
 (def: .public (custom [parser handler])
-  (All [i]
+  (All (_ i)
     (-> [(Parser i)
          (-> Text ..Phase Archive i (..Operation Requirements))]
         ..Handler))
diff --git a/lux-jvm/source/luxc/lang/host/jvm/inst.lux b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
index 2dac20c54..296baf8d4 100644
--- a/lux-jvm/source/luxc/lang/host/jvm/inst.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
@@ -150,12 +150,12 @@
 
 ... [Insts]
 (def: .public make_label
-  (All [s] (Operation s org/objectweb/asm/Label))
+  (All (_ s) (Operation s org/objectweb/asm/Label))
   (function (_ state)
     (#try.Success [state (org/objectweb/asm/Label::new)])))
 
 (def: .public (with_label action)
-  (All [a] (-> (-> org/objectweb/asm/Label a) a))
+  (All (_ a) (-> (-> org/objectweb/asm/Label a) a))
   (action (org/objectweb/asm/Label::new)))
 
 (template [<name> <type> <prepare>]
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/common.lux b/lux-jvm/source/luxc/lang/translation/jvm/common.lux
index cfdadecb5..f1dc4ae24 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/common.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/common.lux
@@ -29,7 +29,7 @@
   )
 
 ... (def: .public (with-artifacts action)
-...   (All [a] (-> (Meta a) (Meta [Artifacts a])))
+...   (All (_ a) (-> (Meta a) (Meta [Artifacts a])))
 ...   (function (_ state)
 ...     (case (action (revised@ #.host
 ...                            (|>> (:coerce Host)
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 96fdefe31..5de412695 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
@@ -42,7 +42,7 @@
    ["." runtime]])
 
 (def: .public (custom [parser handler])
-  (All [s]
+  (All (_ s)
     (-> [(Parser s)
          (-> Text Phase Archive s (Operation Inst))]
         Handler))
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
index 826c45f1a..e132e9eb9 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
@@ -80,11 +80,11 @@
   )
 
 (def: signature
-  (All [a] (-> (Type a) Text))
+  (All (_ a) (-> (Type a) Text))
   (|>> type.signature signature.signature))
 
 (def: descriptor
-  (All [a] (-> (Type a) Text))
+  (All (_ a) (-> (Type a) Text))
   (|>> type.descriptor descriptor.descriptor))
 
 (exception: .public (not_an_object_array {arrayJT (Type Array)})
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
index 0e758f149..5b1743157 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
@@ -332,7 +332,7 @@
          )))
 
 (def: reflection
-  (All [category]
+  (All (_ category)
     (-> (Type (<| Return' Value' category)) Text))
   (|>> type.reflection reflection.reflection))
 
diff --git a/lux-jvm/source/program.lux b/lux-jvm/source/program.lux
index 242d0553e..ac4da1255 100644
--- a/lux-jvm/source/program.lux
+++ b/lux-jvm/source/program.lux
@@ -134,7 +134,7 @@
         java/lang/Object (jvm/type.class "java.lang.Object" (list))
         <java/lang/Object> (jvm/type.array java/lang/Object)
 
-        jvm_type (: (All [c] (-> (jvm/type.Type c) Synthesis))
+        jvm_type (: (All (_ c) (-> (jvm/type.Type c) Synthesis))
                     (|>> jvm/type.format
                          $.text))
         class_type (: (-> Text Synthesis)
@@ -170,7 +170,7 @@
                                            (class_type "java.lang.Class")
                                            object
                                            (list)))))
-        input (: (All [c] (-> (jvm/type.Type c) Synthesis Synthesis))
+        input (: (All (_ c) (-> (jvm/type.Type c) Synthesis Synthesis))
                  (function (_ value_type value)
                    ($.tuple (list (jvm_type value_type) value))))
         
-- 
cgit v1.2.3