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/primitive.lux | 34 -----------------------------
 1 file changed, 34 deletions(-)
 delete mode 100644 new-luxc/source/luxc/analyser/primitive.lux

(limited to 'new-luxc/source/luxc/analyser/primitive.lux')

diff --git a/new-luxc/source/luxc/analyser/primitive.lux b/new-luxc/source/luxc/analyser/primitive.lux
deleted file mode 100644
index c7f7243fd..000000000
--- a/new-luxc/source/luxc/analyser/primitive.lux
+++ /dev/null
@@ -1,34 +0,0 @@
-(;module:
-  lux
-  (lux (control monad)
-       [meta]
-       (meta [code]
-             (type ["tc" check])))
-  (luxc ["&" base]
-        (lang ["la" analysis #+ Analysis])))
-
-## [Analysers]
-(do-template [<name> <type> <tag>]
-  [(def: #export (<name> value)
-     (-> <type> (Meta Analysis))
-     (do meta;Monad<Meta>
-       [expected meta;expected-type
-        _ (&;with-type-env
-            (tc;check expected <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 meta;Monad<Meta>
-    [expected meta;expected-type
-     _ (&;with-type-env
-         (tc;check expected Unit))]
-    (wrap (` []))))
-- 
cgit v1.2.3