aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/eval.lux
diff options
context:
space:
mode:
authorEduardo Julian2017-10-31 23:39:49 -0400
committerEduardo Julian2017-10-31 23:39:49 -0400
commit15121222d570f8fe3c5a326208e4f0bad737e63c (patch)
tree88c93ed1f4965fd0e80677df5553a0d47e521963 /new-luxc/source/luxc/eval.lux
parenta269ea72337852e8e57bd427773baed111ad6e92 (diff)
- Re-organized analysis.
Diffstat (limited to 'new-luxc/source/luxc/eval.lux')
-rw-r--r--new-luxc/source/luxc/eval.lux6
1 files changed, 3 insertions, 3 deletions
diff --git a/new-luxc/source/luxc/eval.lux b/new-luxc/source/luxc/eval.lux
index 91195fbfd..fdbf8e781 100644
--- a/new-luxc/source/luxc/eval.lux
+++ b/new-luxc/source/luxc/eval.lux
@@ -2,9 +2,9 @@
lux
(lux (control [monad #+ do])
[meta])
+ (luxc (lang (analysis [";A" expression])))
[../base]
- (.. [analyser]
- [synthesizer]
+ (.. [synthesizer]
(generator [";G" expression]
[eval])))
@@ -12,7 +12,7 @@
../base;Eval
(do meta;Monad<Meta>
[exprA (../base;with-expected-type type
- (analyser;analyser eval exprC))
+ (expressionA;analyser eval exprC))
#let [exprS (synthesizer;synthesize exprA)]
exprI (expressionG;generate exprS)]
(eval;eval exprI)))