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/lang/analysis/primitive.lux | 34 ++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 new-luxc/source/luxc/lang/analysis/primitive.lux

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

diff --git a/new-luxc/source/luxc/lang/analysis/primitive.lux b/new-luxc/source/luxc/lang/analysis/primitive.lux
new file mode 100644
index 000000000..c7f7243fd
--- /dev/null
+++ b/new-luxc/source/luxc/lang/analysis/primitive.lux
@@ -0,0 +1,34 @@
+(;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