aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/target/jvm/constant.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/target/jvm/constant.lux')
-rw-r--r--stdlib/source/library/lux/target/jvm/constant.lux28
1 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux
index d1e9b2122..27efe496d 100644
--- a/stdlib/source/library/lux/target/jvm/constant.lux
+++ b/stdlib/source/library/lux/target/jvm/constant.lux
@@ -157,22 +157,22 @@
(type: .public Constant
(Variant
- (#UTF8 UTF8)
- (#Integer Integer)
- (#Float Float)
- (#Long Long)
- (#Double Double)
- (#Class Class)
- (#String String)
- (#Field (Reference //category.Value))
- (#Method (Reference //category.Method))
- (#Interface_Method (Reference //category.Method))
- (#Name_And_Type (Name_And_Type Any))))
+ {#UTF8 UTF8}
+ {#Integer Integer}
+ {#Float Float}
+ {#Long Long}
+ {#Double Double}
+ {#Class Class}
+ {#String String}
+ {#Field (Reference //category.Value)}
+ {#Method (Reference //category.Method)}
+ {#Interface_Method (Reference //category.Method)}
+ {#Name_And_Type (Name_And_Type Any)}))
(def: .public (size constant)
(-> Constant Nat)
(case constant
- (^or (#Long _) (#Double _))
+ (^or {#Long _} {#Double _})
2
_
@@ -186,7 +186,7 @@
(def: (= reference sample)
(case [reference sample]
(^template [<tag> <equivalence>]
- [[(<tag> reference) (<tag> sample)]
+ [[{<tag> reference} {<tag> sample}]
(\ <equivalence> = reference sample)])
([#UTF8 text.equivalence]
[#Integer (..value_equivalence i32.equivalence)]
@@ -244,7 +244,7 @@
(function (_ value)
(case value
(^template [<case> <tag> <writer>]
- [(<case> value)
+ [{<case> value}
(binaryF\composite (/tag.writer <tag>)
(<writer> value))])
(<constants>)