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

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

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