aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/eval.lux
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/eval.lux')
-rw-r--r--new-luxc/source/luxc/eval.lux18
1 files changed, 0 insertions, 18 deletions
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)))