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/analyser/reference.lux | 53 -----------------------------
1 file changed, 53 deletions(-)
delete mode 100644 new-luxc/source/luxc/analyser/reference.lux
(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
deleted file mode 100644
index 5bc1f96c9..000000000
--- a/new-luxc/source/luxc/analyser/reference.lux
+++ /dev/null
@@ -1,53 +0,0 @@
-(;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