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.

---
 .../luxc/lang/translation/expression.jvm.lux       | 74 +++++++++++-----------
 1 file changed, 37 insertions(+), 37 deletions(-)

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

diff --git a/new-luxc/source/luxc/lang/translation/expression.jvm.lux b/new-luxc/source/luxc/lang/translation/expression.jvm.lux
index 65bb5b772..c75ef0a19 100644
--- a/new-luxc/source/luxc/lang/translation/expression.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/expression.jvm.lux
@@ -1,4 +1,4 @@
-(;module:
+(.module:
   lux
   (lux (control monad
                 ["ex" exception #+ exception:]
@@ -8,25 +8,25 @@
        [macro]
        (macro ["s" syntax]))
   (luxc ["&" lang]
-        (lang [";L" variable #+ Variable Register]
+        (lang [".L" variable #+ Variable Register]
               (host ["$" jvm])
               ["ls" synthesis]
-              (translation [";T" common]
-                           [";T" primitive]
-                           [";T" structure]
-                           [";T" eval]
-                           [";T" procedure]
-                           [";T" function]
-                           [";T" reference]
-                           [";T" case]))))
+              (translation [".T" common]
+                           [".T" primitive]
+                           [".T" structure]
+                           [".T" eval]
+                           [".T" procedure]
+                           [".T" function]
+                           [".T" reference]
+                           [".T" case]))))
 
 (exception: #export Unrecognized-Synthesis)
 
 (def: #export (translate synthesis)
-  (-> ls;Synthesis (Meta $;Inst))
+  (-> ls.Synthesis (Meta $.Inst))
   (case synthesis
     (^code [])
-    primitiveT;translate-unit
+    primitiveT.translate-unit
 
     (^code [(~ singleton)])
     (translate singleton)
@@ -34,43 +34,43 @@
     (^template [<tag> <generator>]
       [_ (<tag> value)]
       (<generator> value))
-    ([#;Bool primitiveT;translate-bool]
-     [#;Nat  primitiveT;translate-nat]
-     [#;Int  primitiveT;translate-int]
-     [#;Deg  primitiveT;translate-deg]
-     [#;Frac primitiveT;translate-frac]
-     [#;Text primitiveT;translate-text])
+    ([#.Bool primitiveT.translate-bool]
+     [#.Nat  primitiveT.translate-nat]
+     [#.Int  primitiveT.translate-int]
+     [#.Deg  primitiveT.translate-deg]
+     [#.Frac primitiveT.translate-frac]
+     [#.Text primitiveT.translate-text])
 
-    (^code ((~ [_ (#;Nat tag)]) (~ [_ (#;Bool last?)]) (~ valueS)))
-    (structureT;translate-variant translate tag last? valueS)
+    (^code ((~ [_ (#.Nat tag)]) (~ [_ (#.Bool last?)]) (~ valueS)))
+    (structureT.translate-variant translate tag last? valueS)
 
     (^code [(~@ members)])
-    (structureT;translate-tuple translate members)
+    (structureT.translate-tuple translate members)
 
-    (^ [_ (#;Form (list [_ (#;Int var)]))])
-    (if (variableL;captured? var)
-      (referenceT;translate-captured var)
-      (referenceT;translate-local var))
+    (^ [_ (#.Form (list [_ (#.Int var)]))])
+    (if (variableL.captured? var)
+      (referenceT.translate-captured var)
+      (referenceT.translate-local var))
 
-    [_ (#;Symbol definition)]
-    (referenceT;translate-definition definition)
+    [_ (#.Symbol definition)]
+    (referenceT.translate-definition definition)
 
-    (^code ("lux let" (~ [_ (#;Nat register)]) (~ inputS) (~ exprS)))
-    (caseT;translate-let translate register inputS exprS)
+    (^code ("lux let" (~ [_ (#.Nat register)]) (~ inputS) (~ exprS)))
+    (caseT.translate-let translate register inputS exprS)
 
     (^code ("lux case" (~ inputS) (~ pathPS)))
-    (caseT;translate-case translate inputS pathPS)
+    (caseT.translate-case translate inputS pathPS)
 
-    (^multi (^code ("lux function" (~ [_ (#;Nat arity)]) [(~@ environment)] (~ bodyS)))
-            [(s;run environment (p;some s;int)) (#e;Success environment)])
-    (functionT;translate-function translate environment arity bodyS)
+    (^multi (^code ("lux function" (~ [_ (#.Nat arity)]) [(~@ environment)] (~ bodyS)))
+            [(s.run environment (p.some s.int)) (#e.Success environment)])
+    (functionT.translate-function translate environment arity bodyS)
 
     (^code ("lux call" (~ functionS) (~@ argsS)))
-    (functionT;translate-call translate functionS argsS)
+    (functionT.translate-call translate functionS argsS)
 
-    (^code ((~ [_ (#;Text procedure)]) (~@ argsS)))
-    (procedureT;translate-procedure translate procedure argsS)
+    (^code ((~ [_ (#.Text procedure)]) (~@ argsS)))
+    (procedureT.translate-procedure translate procedure argsS)
 
     _
-    (&;throw Unrecognized-Synthesis (%code synthesis))
+    (&.throw Unrecognized-Synthesis (%code synthesis))
     ))
-- 
cgit v1.2.3