De-sigil-ification: prefix :

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>)))))]