From 901b09dada43ec6f3b21618800ec7400fda54a0d Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 18 Oct 2017 12:42:46 -0400
Subject: - Updated to the latest changes in stdlib.

---
 new-luxc/source/luxc/analyser/reference.lux | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

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

diff --git a/new-luxc/source/luxc/analyser/reference.lux b/new-luxc/source/luxc/analyser/reference.lux
index 9b051bb79..9756a1b9c 100644
--- a/new-luxc/source/luxc/analyser/reference.lux
+++ b/new-luxc/source/luxc/analyser/reference.lux
@@ -1,30 +1,30 @@
 (;module:
   lux
   (lux (control monad)
-       [macro #+ Monad<Lux>]
-       (type ["TC" check]))
+       [meta #+ Monad<Meta>]
+       (meta (type ["TC" check])))
   (luxc ["&" base]
         (lang ["la" analysis #+ Analysis])
         ["&;" scope]))
 
 ## [Analysers]
 (def: (analyse-definition def-name)
-  (-> Ident (Lux Analysis))
-  (do Monad<Lux>
-    [actual (macro;find-def-type def-name)
-     expected macro;expected-type
+  (-> Ident (Meta Analysis))
+  (do Monad<Meta>
+    [actual (meta;find-def-type def-name)
+     expected meta;expected-type
      _ (&;with-type-env
          (TC;check expected actual))]
     (wrap (#la;Definition def-name))))
 
 (def: (analyse-variable var-name)
-  (-> Text (Lux (Maybe Analysis)))
-  (do Monad<Lux>
+  (-> Text (Meta (Maybe Analysis)))
+  (do Monad<Meta>
     [?var (&scope;find var-name)]
     (case ?var
       (#;Some [actual ref])
       (do @
-        [expected macro;expected-type
+        [expected meta;expected-type
          _ (&;with-type-env
              (TC;check expected actual))]
         (wrap (#;Some (#la;Variable ref))))
@@ -33,10 +33,10 @@
       (wrap #;None))))
 
 (def: #export (analyse-reference reference)
-  (-> Ident (Lux Analysis))
+  (-> Ident (Meta Analysis))
   (case reference
     ["" simple-name]
-    (do Monad<Lux>
+    (do Monad<Meta>
       [?var (analyse-variable simple-name)]
       (case ?var
         (#;Some analysis)
@@ -44,7 +44,7 @@
 
         #;None
         (do @
-          [this-module macro;current-module-name]
+          [this-module meta;current-module-name]
           (analyse-definition [this-module simple-name]))))
 
     _
-- 
cgit v1.2.3