From 4433c9bcd6c6cac44c018aad2e21a5b4d7cc4896 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 29 Nov 2017 22:49:56 -0400
Subject: - Adapted main codebase to the latest syntatic changes.

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

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

diff --git a/new-luxc/source/luxc/lang/translation/structure.jvm.lux b/new-luxc/source/luxc/lang/translation/structure.jvm.lux
index ddb48a31e..9a78be78e 100644
--- a/new-luxc/source/luxc/lang/translation/structure.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/structure.jvm.lux
@@ -1,4 +1,4 @@
-(;module:
+(.module:
   lux
   (lux (control [monad #+ do]
                 ["ex" exception #+ exception:])
@@ -7,55 +7,55 @@
        [macro]
        [host #+ do-to])
   (luxc ["&" lang]
-        (lang [";L" host]
+        (lang [".L" host]
               (host ["$" jvm]
                     (jvm ["$t" type]
                          ["$d" def]
                          ["$i" inst]))
               ["la" analysis]
               ["ls" synthesis]
-              (translation [";T" common]))))
+              (translation [".T" common]))))
 
 (exception: #export Not-A-Tuple)
 
-(def: $Object $;Type ($t;class "java.lang.Object" (list)))
+(def: $Object $.Type ($t.class "java.lang.Object" (list)))
 
 (def: #export (translate-tuple translate members)
-  (-> (-> ls;Synthesis (Meta $;Inst)) (List ls;Synthesis) (Meta $;Inst))
-  (do macro;Monad<Meta>
-    [#let [size (list;size members)]
-     _ (&;assert Not-A-Tuple (%code (` [(~@ members)]))
-                 (n.>= +2 size))
+  (-> (-> ls.Synthesis (Meta $.Inst)) (List ls.Synthesis) (Meta $.Inst))
+  (do macro.Monad<Meta>
+    [#let [size (list.size members)]
+     _ (&.assert Not-A-Tuple (%code (` [(~@ members)]))
+                 (n/>= +2 size))
      membersI (|> members
-                  list;enumerate
-                  (monad;map @ (function [[idx member]]
+                  list.enumerate
+                  (monad.map @ (function [[idx member]]
                                  (do @
                                    [memberI (translate member)]
-                                   (wrap (|>. $i;DUP
-                                              ($i;int (nat-to-int idx))
+                                   (wrap (|>> $i.DUP
+                                              ($i.int (nat-to-int idx))
                                               memberI
-                                              $i;AASTORE)))))
-                  (:: @ map $i;fuse))]
-    (wrap (|>. ($i;int (nat-to-int size))
-               ($i;array $Object)
+                                              $i.AASTORE)))))
+                  (:: @ map $i.fuse))]
+    (wrap (|>> ($i.int (nat-to-int size))
+               ($i.array $Object)
                membersI))))
 
 (def: (flagI tail?)
-  (-> Bool $;Inst)
+  (-> Bool $.Inst)
   (if tail?
-    ($i;string "")
-    $i;NULL))
+    ($i.string "")
+    $i.NULL))
 
 (def: #export (translate-variant translate tag tail? member)
-  (-> (-> ls;Synthesis (Meta $;Inst)) Nat Bool ls;Synthesis (Meta $;Inst))
-  (do macro;Monad<Meta>
+  (-> (-> ls.Synthesis (Meta $.Inst)) Nat Bool ls.Synthesis (Meta $.Inst))
+  (do macro.Monad<Meta>
     [memberI (translate member)]
-    (wrap (|>. ($i;int (nat-to-int tag))
+    (wrap (|>> ($i.int (nat-to-int tag))
                (flagI tail?)
                memberI
-               ($i;INVOKESTATIC hostL;runtime-class
+               ($i.INVOKESTATIC hostL.runtime-class
                                 "variant_make"
-                                ($t;method (list $t;int $Object $Object)
-                                           (#;Some ($t;array +1 $Object))
+                                ($t.method (list $t.int $Object $Object)
+                                           (#.Some ($t.array +1 $Object))
                                            (list))
                                 false)))))
-- 
cgit v1.2.3