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/type.lux | 31 +++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 new-luxc/source/luxc/lang/analysis/type.lux

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

diff --git a/new-luxc/source/luxc/lang/analysis/type.lux b/new-luxc/source/luxc/lang/analysis/type.lux
new file mode 100644
index 000000000..d0b038d93
--- /dev/null
+++ b/new-luxc/source/luxc/lang/analysis/type.lux
@@ -0,0 +1,31 @@
+(;module:
+  lux
+  (lux (control monad)
+       [meta #+ Monad<Meta>]
+       (meta (type ["TC" check])))
+  (luxc ["&" base]
+        (lang ["la" analysis #+ Analysis])))
+
+## These 2 analysers are somewhat special, since they require the
+## means of evaluating Lux expressions at compile-time for the sake of
+## computing Lux type values.
+(def: #export (analyse-check analyse eval type value)
+  (-> &;Analyser &;Eval Code Code (Meta Analysis))
+  (do Monad<Meta>
+    [actual (eval Type type)
+     #let [actual (:! Type actual)]
+     expected meta;expected-type
+     _ (&;with-type-env
+         (TC;check expected actual))]
+    (&;with-expected-type actual
+      (analyse value))))
+
+(def: #export (analyse-coerce analyse eval type value)
+  (-> &;Analyser &;Eval Code Code (Meta Analysis))
+  (do Monad<Meta>
+    [actual (eval Type type)
+     expected meta;expected-type
+     _ (&;with-type-env
+         (TC;check expected (:! Type actual)))]
+    (&;with-expected-type Top
+      (analyse value))))
-- 
cgit v1.2.3