- Re-organized analysis.

1 files changed, 34 insertions, 0 deletions

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