From 72950a540be3dc49a107700c77c0195db16a4f58 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 23 May 2018 02:04:47 -0400
Subject: - Migrated special-form analysis to stdlib.

---
 new-luxc/source/luxc/lang/analysis/type.lux | 27 ---------------------------
 1 file changed, 27 deletions(-)
 delete mode 100644 new-luxc/source/luxc/lang/analysis/type.lux

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

diff --git a/new-luxc/source/luxc/lang/analysis/type.lux b/new-luxc/source/luxc/lang/analysis/type.lux
deleted file mode 100644
index 6d89dd5ef..000000000
--- a/new-luxc/source/luxc/lang/analysis/type.lux
+++ /dev/null
@@ -1,27 +0,0 @@
-(.module:
-  lux
-  (lux (control monad)
-       [macro]
-       (lang (type ["tc" check])))
-  (luxc ["&" lang]
-        (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 macro.Monad<Meta>
-    [actualT (eval Type type)
-     #let [actualT (:! Type actualT)]
-     _ (&.infer actualT)]
-    (&.with-type actualT
-      (analyse value))))
-
-(def: #export (analyse-coerce analyse eval type value)
-  (-> &.Analyser &.Eval Code Code (Meta Analysis))
-  (do macro.Monad<Meta>
-    [actualT (eval Type type)
-     _ (&.infer (:! Type actualT))]
-    (&.with-type Any
-      (analyse value))))
-- 
cgit v1.2.3