diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/target/jvm/type.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/target/jvm/type.lux b/stdlib/source/library/lux/target/jvm/type.lux index 1eeccbe72..0b89649c3 100644 --- a/stdlib/source/library/lux/target/jvm/type.lux +++ b/stdlib/source/library/lux/target/jvm/type.lux @@ -44,7 +44,7 @@ (template [<name> <style>] [(def: .public (<name> type) - (All [category] (-> (Type category) (<style> category))) + (All (_ category) (-> (Type category) (<style> category))) (let [[signature descriptor reflection] (:representation type)] <name>))] @@ -53,7 +53,7 @@ ) (def: .public (reflection type) - (All [category] + (All (_ category) (-> (Type (<| Return' Value' category)) (Reflection (<| Return' Value' category)))) (let [[signature descriptor reflection] (:representation type)] @@ -150,7 +150,7 @@ (:expected ..void)])) (implementation: .public equivalence - (All [category] (Equivalence (Type category))) + (All (_ category) (Equivalence (Type category))) (def: (= parameter subject) (\ /signature.equivalence = @@ -158,7 +158,7 @@ (..signature subject)))) (implementation: .public hash - (All [category] (Hash (Type category))) + (All (_ category) (Hash (Type category))) (def: &equivalence ..equivalence) (def: hash (|>> ..signature (\ /signature.hash hash)))) @@ -207,5 +207,5 @@ #.None))) (def: .public format - (All [a] (Format (Type a))) + (All (_ a) (Format (Type a))) (|>> ..signature /signature.signature)) |