From 62299ecdc93b39f6a22b1f89779f55dfa735fb3c Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 14 Mar 2022 17:03:38 -0400
Subject: Made JVM "import:" syntax consistent with the other "import:"s.

---
 .../source/luxc/lang/translation/jvm/structure.lux | 86 +++++++++++-----------
 1 file changed, 43 insertions(+), 43 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 9c8b8b52a..e7604be15 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
@@ -1,41 +1,41 @@
 (.using
-  [library
-   [lux {"-" Type Primitive}
-    ["[0]" ffi {"+" import:}]
-    [abstract
-     ["[0]" monad {"+" do}]]
-    [control
-     ["[0]" exception {"+" exception:}]]
-    [data
-     [text
-      ["%" format {"+" format}]]
-     [collection
-      ["[0]" list]]]
-    [math
-     [number
-      ["n" nat]
-      ["i" int]]]
-    [target
-     [jvm
-      ["[0]" type {"+" Type}
-       ["[0]" category {"+" Void Value Return Primitive Object Class Array Var Parameter Method}]
-       ["[0]" descriptor {"+" Descriptor}]
-       ["[0]" signature {"+" Signature}]]]]
-    [tool
-     [compiler
-      ["[0]" phase]
-      [meta
-       [archive {"+" Archive}]]
-      [language
-       [lux
-        [synthesis {"+" Synthesis}]]]]]]]
-  [luxc
-   [lang
-    [host
-     [jvm {"+" Inst Operation Phase Generator}
-      ["_" inst]]]]]
-  ["[0]" //
-   ["[1][0]" runtime]])
+ [library
+  [lux {"-" Type Primitive}
+   ["[0]" ffi {"+" import:}]
+   [abstract
+    ["[0]" monad {"+" do}]]
+   [control
+    ["[0]" exception {"+" exception:}]]
+   [data
+    [text
+     ["%" format {"+" format}]]
+    [collection
+     ["[0]" list]]]
+   [math
+    [number
+     ["n" nat]
+     ["i" int]]]
+   [target
+    [jvm
+     ["[0]" type {"+" Type}
+      ["[0]" category {"+" Void Value Return Primitive Object Class Array Var Parameter Method}]
+      ["[0]" descriptor {"+" Descriptor}]
+      ["[0]" signature {"+" Signature}]]]]
+   [tool
+    [compiler
+     ["[0]" phase]
+     [meta
+      [archive {"+" Archive}]]
+     [language
+      [lux
+       [synthesis {"+" Synthesis}]]]]]]]
+ [luxc
+  [lang
+   [host
+    [jvm {"+" Inst Operation Phase Generator}
+     ["_" inst]]]]]
+ ["[0]" //
+  ["[1][0]" runtime]])
 
 (exception: .public (not_a_tuple [size Nat])
   (exception.report
@@ -63,14 +63,14 @@
              membersI))))
 
 (import: java/lang/Byte
-  ["[1]::[0]"
-   ("static" MAX_VALUE byte)
-   ("static" MIN_VALUE byte)])
+  "[1]::[0]"
+  ("static" MAX_VALUE byte)
+  ("static" MIN_VALUE byte))
 
 (import: java/lang/Short
-  ["[1]::[0]"
-   ("static" MAX_VALUE short)
-   ("static" MIN_VALUE short)])
+  "[1]::[0]"
+  ("static" MAX_VALUE short)
+  ("static" MIN_VALUE short))
 
 (def: .public (tagI lefts right?)
   (-> Nat Bit Inst)
-- 
cgit v1.2.3