From 15121222d570f8fe3c5a326208e4f0bad737e63c Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 31 Oct 2017 23:39:49 -0400
Subject: - Re-organized analysis.
---
new-luxc/source/luxc/lang/analysis/reference.lux | 53 ++++++++++++++++++++++++
1 file changed, 53 insertions(+)
create mode 100644 new-luxc/source/luxc/lang/analysis/reference.lux
(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
new file mode 100644
index 000000000..5bc1f96c9
--- /dev/null
+++ b/new-luxc/source/luxc/lang/analysis/reference.lux
@@ -0,0 +1,53 @@
+(;module:
+ lux
+ (lux (control monad)
+ [meta]
+ (meta [code]
+ (type ["tc" check])))
+ (luxc ["&" base]
+ (lang ["la" analysis #+ Analysis]
+ [";L" variable #+ Variable])
+ ["&;" scope]))
+
+## [Analysers]
+(def: (analyse-definition def-name)
+ (-> Ident (Meta Analysis))
+ (do meta;Monad
+ [actualT (meta;find-def-type def-name)
+ expectedT meta;expected-type
+ _ (&;with-type-env
+ (tc;check expectedT actualT))]
+ (wrap (code;symbol def-name))))
+
+(def: (analyse-variable var-name)
+ (-> Text (Meta (Maybe Analysis)))
+ (do meta;Monad
+ [?var (&scope;find var-name)]
+ (case ?var
+ (#;Some [actualT ref])
+ (do @
+ [expectedT meta;expected-type
+ _ (&;with-type-env
+ (tc;check expectedT actualT))]
+ (wrap (#;Some (` ((~ (code;int (variableL;from-ref ref))))))))
+
+ #;None
+ (wrap #;None))))
+
+(def: #export (analyse-reference reference)
+ (-> Ident (Meta Analysis))
+ (case reference
+ ["" simple-name]
+ (do meta;Monad
+ [?var (analyse-variable simple-name)]
+ (case ?var
+ (#;Some analysis)
+ (wrap analysis)
+
+ #;None
+ (do @
+ [this-module meta;current-module-name]
+ (analyse-definition [this-module simple-name]))))
+
+ _
+ (analyse-definition reference)))
--
cgit v1.2.3