diff options
| author | Eduardo Julian | 2021-08-27 20:59:34 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-27 20:59:34 -0400 |
| commit | c5b61d2f46ac19bf511197f3a537c4be0f47df33 (patch) | |
| tree | cd62d188403e9b3998ba293dc5308719a430f1fe /lux-jvm/source/luxc/lang/translation/jvm | |
| parent | e814f667aed509a70bd386dcd54628929134def4 (diff) | |
Updates to the Ruby compiler.
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm')
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)) |