- Migrated special-form analysis to stdlib.

1 files changed, 0 insertions, 27 deletions

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))))