From 4242e4d3b18eb532ae18e8b38e85ad1ee1988e02 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 15 May 2018 19:52:04 -0400
Subject: - Migrated primitive analysis to stdlib.

---
 new-luxc/source/luxc/lang/analysis/common.lux    |  9 -------
 new-luxc/source/luxc/lang/analysis/primitive.lux | 30 ------------------------
 2 files changed, 39 deletions(-)
 delete mode 100644 new-luxc/source/luxc/lang/analysis/primitive.lux

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

diff --git a/new-luxc/source/luxc/lang/analysis/common.lux b/new-luxc/source/luxc/lang/analysis/common.lux
index c4ff4bfde..072616cfa 100644
--- a/new-luxc/source/luxc/lang/analysis/common.lux
+++ b/new-luxc/source/luxc/lang/analysis/common.lux
@@ -10,15 +10,6 @@
   (luxc ["&" lang]
         (lang analysis)))
 
-(def: #export (with-unknown-type action)
-  (All [a] (-> (Meta a) (Meta [Type a])))
-  (do macro.Monad<Meta>
-    [[_ varT] (&.with-type-env tc.var)
-     analysis (&.with-type varT
-                action)
-     knownT (&.with-type-env (tc.clean varT))]
-    (wrap [knownT analysis])))
-
 (exception: #export (Variant-Tag-Out-Of-Bounds {message Text})
   message)
 
diff --git a/new-luxc/source/luxc/lang/analysis/primitive.lux b/new-luxc/source/luxc/lang/analysis/primitive.lux
deleted file mode 100644
index ff7908669..000000000
--- a/new-luxc/source/luxc/lang/analysis/primitive.lux
+++ /dev/null
@@ -1,30 +0,0 @@
-(.module:
-  lux
-  (lux (control monad)
-       [macro]
-       (macro [code])
-       (lang (type ["tc" check])))
-  (luxc ["&" lang]
-        (lang ["la" analysis #+ Analysis])))
-
-## [Analysers]
-(do-template [<name> <type> <tag>]
-  [(def: #export (<name> value)
-     (-> <type> (Meta Analysis))
-     (do macro.Monad<Meta>
-       [_ (&.infer <type>)]
-       (wrap (<tag> value))))]
-
-  [analyse-bool Bool code.bool]
-  [analyse-nat  Nat  code.nat]
-  [analyse-int  Int  code.int]
-  [analyse-deg  Deg  code.deg]
-  [analyse-frac Frac code.frac]
-  [analyse-text Text code.text]
-  )
-
-(def: #export analyse-unit
-  (Meta Analysis)
-  (do macro.Monad<Meta>
-    [_ (&.infer Top)]
-    (wrap (` []))))
-- 
cgit v1.2.3