From 34e310622bdeb1d0588c0664c0e78cbaa84f837c Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 2 Dec 2020 06:42:20 -0400
Subject: Re-named "::" and ":::" macros to "\" and "\\", to be consistent with
 the convention that only macros that deal with types may start with a colon.

---
 lux-jvm/source/luxc/lang/translation/jvm/structure.lux | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

(limited to 'lux-jvm/source/luxc/lang/translation/jvm/structure.lux')

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)
-- 
cgit v1.2.3