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

5 files changed, 31 insertions, 25 deletions

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
index 0388c5c7f..e73ea068e 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
@@ -53,8 +53,9 @@
       (phase.throw extension.invalid-syntax [extension-name %synthesis input]))))
 
 (import: java/lang/Double
-  (#static MIN_VALUE java/lang/Double)
-  (#static MAX_VALUE java/lang/Double))
+  ["#::."
+   (#static MIN_VALUE java/lang/Double)
+   (#static MAX_VALUE java/lang/Double)])
 
 (def: $String (type.class "java.lang.String" (list)))
 (def: $CharSequence (type.class "java.lang.CharSequence" (list)))
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
index 86b814bad..77f421703 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
@@ -956,20 +956,20 @@
            _.ARETURN)
       
       (#.Right returnT)
-      (cond (or (:: type.equivalence = type.boolean returnT)
-                (:: type.equivalence = type.byte returnT)
-                (:: type.equivalence = type.short returnT)
-                (:: type.equivalence = type.int returnT)
-                (:: type.equivalence = type.char returnT))
+      (cond (or (\ type.equivalence = type.boolean returnT)
+                (\ type.equivalence = type.byte returnT)
+                (\ type.equivalence = type.short returnT)
+                (\ type.equivalence = type.int returnT)
+                (\ type.equivalence = type.char returnT))
             _.IRETURN
 
-            (:: type.equivalence = type.long returnT)
+            (\ type.equivalence = type.long returnT)
             _.LRETURN
 
-            (:: type.equivalence = type.float returnT)
+            (\ type.equivalence = type.float returnT)
             _.FRETURN
 
-            ## (:: type.equivalence = type.double returnT)
+            ## (\ type.equivalence = type.double returnT)
             _.DRETURN))))
 
 (def: class::anonymous
@@ -1038,7 +1038,7 @@
                                                                                   returnT
                                                                                   exceptionsT])
                                                                     (|>> bodyG (returnI returnT)))))))
-                                (:: @ map _def.fuse))
+                                (\ @ map _def.fuse))
          #let [directive [anonymous-class-name
                           (_def.class #$.V1_6 #$.Public $.finalC
                                       anonymous-class-name (list)
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux b/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
index 2e0aba43e..2d8bff828 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
@@ -23,12 +23,14 @@
       (operation@wrap (_.GETSTATIC Boolean (if value "TRUE" "FALSE") Boolean)))))
 
 (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 (i64 value)
   (-> (I64 Any) (Operation Inst))
@@ -64,7 +66,8 @@
       (operation@wrap (|>> constantI (_.wrap type.long))))))
 
 (import: java/lang/Double
-  (#static doubleToRawLongBits #manual [double] int))
+  ["#::."
+   (#static doubleToRawLongBits #manual [double] int)])
 
 (def: d0-bits
   Int
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/reference.lux b/lux-jvm/source/luxc/lang/translation/jvm/reference.lux
index 61eac8dcc..c7570d01a 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/reference.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/reference.lux
@@ -38,8 +38,8 @@
 (def: (foreign archive variable)
   (-> Archive Register (Operation Inst))
   (do {@ phase.monad}
-    [class-name (:: @ map //.class-name
-                    (generation.context archive))]
+    [class-name (\ @ map //.class-name
+                   (generation.context archive))]
     (wrap (|>> (_.ALOAD 0)
                (_.GETFIELD (type.class class-name (list))
                            (|> variable .nat foreign-name)
@@ -61,6 +61,6 @@
 (def: #export (constant archive name)
   (-> Archive Name (Operation Inst))
   (do {@ phase.monad}
-    [class-name (:: @ map //.class-name
-                    (generation.remember archive name))]
+    [class-name (\ @ map //.class-name
+                   (generation.remember archive name))]
     (wrap (_.GETSTATIC (type.class class-name (list)) //.value-field //.$Value))))
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)