Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the convention that only macros that deal with types may start with a colon.

1 files changed, 7 insertions, 5 deletions

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
index c268cb14a..d91ed3d14 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
@@ -55,18 +55,20 @@
                                               (_.int (.int idx))
                                               memberI
                                               _.AASTORE)))))
-                  (:: @ map _.fuse))]
+                  (\ @ map _.fuse))]
     (wrap (|>> (_.int (.int size))
                (_.array //runtime.$Value)
                membersI))))
 
 (import: java/lang/Byte
-  (#static MAX_VALUE byte)
-  (#static MIN_VALUE byte))
+  ["#::."
+   (#static MAX_VALUE byte)
+   (#static MIN_VALUE byte)])
 
 (import: java/lang/Short
-  (#static MAX_VALUE short)
-  (#static MIN_VALUE short))
+  ["#::."
+   (#static MAX_VALUE short)
+   (#static MIN_VALUE short)])
 
 (def: #export (tagI lefts right?)
   (-> Nat Bit Inst)