aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--lux-jvm/source/luxc/lang/directive/jvm.lux2
-rw-r--r--lux-jvm/source/luxc/lang/host/jvm/inst.lux4
-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
6 files changed, 8 insertions, 8 deletions
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))