From 19c589edc2c1dd77550e26d4f5cf78ec772da337 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 31 Oct 2017 22:26:13 -0400
Subject: - Migrated the format of analysis nodes from a custom data-type, to
 just Code nodes.

---
 new-luxc/source/luxc/analyser/reference.lux | 10 ++++++----
 1 file changed, 6 insertions(+), 4 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 4a2f6dbc5..5bc1f96c9 100644
--- a/new-luxc/source/luxc/analyser/reference.lux
+++ b/new-luxc/source/luxc/analyser/reference.lux
@@ -2,9 +2,11 @@
   lux
   (lux (control monad)
        [meta]
-       (meta (type ["tc" check])))
+       (meta [code]
+             (type ["tc" check])))
   (luxc ["&" base]
-        (lang ["la" analysis #+ Analysis])
+        (lang ["la" analysis #+ Analysis]
+              [";L" variable #+ Variable])
         ["&;" scope]))
 
 ## [Analysers]
@@ -15,7 +17,7 @@
      expectedT meta;expected-type
      _ (&;with-type-env
          (tc;check expectedT actualT))]
-    (wrap (#la;Definition def-name))))
+    (wrap (code;symbol def-name))))
 
 (def: (analyse-variable var-name)
   (-> Text (Meta (Maybe Analysis)))
@@ -27,7 +29,7 @@
         [expectedT meta;expected-type
          _ (&;with-type-env
              (tc;check expectedT actualT))]
-        (wrap (#;Some (#la;Variable ref))))
+        (wrap (#;Some (` ((~ (code;int (variableL;from-ref ref))))))))
 
       #;None
       (wrap #;None))))
-- 
cgit v1.2.3