diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/target/jvm/constant.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux index 54b1d15d5..f404694ea 100644 --- a/stdlib/source/library/lux/target/jvm/constant.lux +++ b/stdlib/source/library/lux/target/jvm/constant.lux @@ -33,7 +33,7 @@ [encoding ["[1][0]" unsigned]]]]) -(type: .public UTF8 +(type .public UTF8 Text) (def utf8_writer @@ -98,7 +98,7 @@ Equivalence<kind>)) (with_template [<constructor> <type> <marker>] - [(type: .public <type> + [(type .public <type> (Value <marker>)) (def .public <constructor> @@ -127,12 +127,12 @@ ) ) -(type: .public (Name_And_Type of) +(type .public (Name_And_Type of) (Record [#name (Index UTF8) #descriptor (Index (Descriptor of))])) -(type: .public (Reference of) +(type .public (Reference of) (Record [#class (Index Class) #name_and_type (Index (Name_And_Type of))])) @@ -154,7 +154,7 @@ [Reference reference_equivalence reference_writer] ) -(type: .public Constant +(type .public Constant (Variant {#UTF8 UTF8} {#Integer Integer} |