From 296d087530cb142efec1dea159770346bb43c3c0 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 15 Nov 2017 19:51:33 -0400
Subject: - Heavy refactoring.

---
 new-luxc/source/luxc/lang/eval.lux | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 new-luxc/source/luxc/lang/eval.lux

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

diff --git a/new-luxc/source/luxc/lang/eval.lux b/new-luxc/source/luxc/lang/eval.lux
new file mode 100644
index 000000000..20c3acaeb
--- /dev/null
+++ b/new-luxc/source/luxc/lang/eval.lux
@@ -0,0 +1,18 @@
+(;module:
+  lux
+  (lux (control [monad #+ do])
+       [meta])
+  (luxc ["&" lang]
+        (lang (analysis [";A" expression])
+              (synthesis [";S" expression])
+              (translation [";T" expression]
+                           [";T" eval]))))
+
+(def: #export (eval type exprC)
+  &;Eval
+  (do meta;Monad<Meta>
+    [exprA (&;with-expected-type type
+             (expressionA;analyser eval exprC))
+     #let [exprS (expressionS;synthesize exprA)]
+     exprI (expressionT;translate exprS)]
+    (evalT;eval exprI)))
-- 
cgit v1.2.3