aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc/lang/translation/jvm
diff options
context:
space:
mode:
authorEduardo Julian2021-08-27 20:59:34 -0400
committerEduardo Julian2021-08-27 20:59:34 -0400
commitc5b61d2f46ac19bf511197f3a537c4be0f47df33 (patch)
treecd62d188403e9b3998ba293dc5308719a430f1fe /lux-jvm/source/luxc/lang/translation/jvm
parente814f667aed509a70bd386dcd54628929134def4 (diff)
Updates to the Ruby compiler.
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm')
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/common.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux4
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/runtime.lux2
4 files changed, 5 insertions, 5 deletions
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))