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.

---
 new-luxc/source/luxc/lang/analysis/reference.lux | 44 ++++++++++++------------
 1 file changed, 22 insertions(+), 22 deletions(-)

(limited to 'new-luxc/source/luxc/lang/analysis/reference.lux')

diff --git a/new-luxc/source/luxc/lang/analysis/reference.lux b/new-luxc/source/luxc/lang/analysis/reference.lux
index c660408de..56aba35de 100644
--- a/new-luxc/source/luxc/lang/analysis/reference.lux
+++ b/new-luxc/source/luxc/lang/analysis/reference.lux
@@ -1,56 +1,56 @@
-(;module:
+(.module:
   lux
   (lux (control monad)
        [macro]
        (macro [code])
        (lang (type ["tc" check])))
   (luxc ["&" lang]
-        (lang ["&;" scope]
+        (lang ["&." scope]
               ["la" analysis #+ Analysis]
-              [";L" variable #+ Variable])))
+              [".L" variable #+ Variable])))
 
 ## [Analysers]
 (def: (analyse-definition def-name)
   (-> Ident (Meta Analysis))
-  (do macro;Monad<Meta>
-    [[actualT def-anns _] (&;with-error-tracking
-                            (macro;find-def def-name))]
-    (case (macro;get-symbol-ann (ident-for #;alias) def-anns)
-      (#;Some real-def-name)
+  (do macro.Monad<Meta>
+    [[actualT def-anns _] (&.with-error-tracking
+                            (macro.find-def def-name))]
+    (case (macro.get-symbol-ann (ident-for #.alias) def-anns)
+      (#.Some real-def-name)
       (analyse-definition real-def-name)
 
       _
       (do @
-        [_ (&;infer actualT)
-         def-name (macro;normalize def-name)]
-        (wrap (code;symbol def-name))))))
+        [_ (&.infer actualT)
+         def-name (macro.normalize def-name)]
+        (wrap (code.symbol def-name))))))
 
 (def: (analyse-variable var-name)
   (-> Text (Meta (Maybe Analysis)))
-  (do macro;Monad<Meta>
-    [?var (&scope;find var-name)]
+  (do macro.Monad<Meta>
+    [?var (&scope.find var-name)]
     (case ?var
-      (#;Some [actualT ref])
+      (#.Some [actualT ref])
       (do @
-        [_ (&;infer actualT)]
-        (wrap (#;Some (` ((~ (code;int (variableL;from-ref ref))))))))
+        [_ (&.infer actualT)]
+        (wrap (#.Some (` ((~ (code.int (variableL.from-ref ref))))))))
 
-      #;None
-      (wrap #;None))))
+      #.None
+      (wrap #.None))))
 
 (def: #export (analyse-reference reference)
   (-> Ident (Meta Analysis))
   (case reference
     ["" simple-name]
-    (do macro;Monad<Meta>
+    (do macro.Monad<Meta>
       [?var (analyse-variable simple-name)]
       (case ?var
-        (#;Some varA)
+        (#.Some varA)
         (wrap varA)
 
-        #;None
+        #.None
         (do @
-          [this-module macro;current-module-name]
+          [this-module macro.current-module-name]
           (analyse-definition [this-module simple-name]))))
 
     _
-- 
cgit v1.2.3