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.lux16
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux
index 71aab1ed3..1afa70f79 100644
--- a/stdlib/source/library/lux/target/jvm/constant.lux
+++ b/stdlib/source/library/lux/target/jvm/constant.lux
@@ -22,7 +22,7 @@
["[0]" int]
["[0]" frac]]]
[type
- abstract]]]
+ [abstract {"-" pattern}]]]]
["[0]" / "_"
["[1][0]" tag]
["/[1]" // "_"
@@ -45,11 +45,11 @@
(def: .public index
(-> Class (Index UTF8))
- (|>> :representation))
+ (|>> representation))
(def: .public class
(-> (Index UTF8) Class)
- (|>> :abstraction))
+ (|>> abstraction))
(def: .public class_equivalence
(Equivalence Class)
@@ -59,7 +59,7 @@
(def: class_writer
(Writer Class)
- (|>> :representation //index.writer))
+ (|>> representation //index.writer))
)
(import: java/lang/Float
@@ -87,14 +87,14 @@
(def: .public value
(All (_ kind) (-> (Value kind) kind))
- (|>> :representation))
+ (|>> representation))
(def: .public (value_equivalence Equivalence<kind>)
(All (_ kind)
(-> (Equivalence kind)
(Equivalence (Value kind))))
(# equivalence.functor each
- (|>> :representation)
+ (|>> representation)
Equivalence<kind>))
(template [<constructor> <type> <marker>]
@@ -103,7 +103,7 @@
(def: .public <constructor>
(-> <marker> <type>)
- (|>> :abstraction))]
+ (|>> abstraction))]
[integer Integer I32]
[float Float java/lang/Float]
@@ -115,7 +115,7 @@
(template [<writer_name> <type> <write> <writer>]
[(def: <writer_name>
(Writer <type>)
- (`` (|>> :representation
+ (`` (|>> representation
(~~ (template.spliced <write>))
(~~ (template.spliced <writer>)))))]