- Re-organized analysis.

1 files changed, 0 insertions, 34 deletions

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 (` []))))