aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/eval.lux
diff options
context:
space:
mode:
authorEduardo Julian2017-11-29 22:49:56 -0400
committerEduardo Julian2017-11-29 22:49:56 -0400
commit4433c9bcd6c6cac44c018aad2e21a5b4d7cc4896 (patch)
tree0c166db6e01b41dfadd01801b5242967f2363b7d /new-luxc/source/luxc/lang/eval.lux
parent77c113a3455cdbc4bb485a94f67f392480cdcfbf (diff)
- Adapted main codebase to the latest syntatic changes.
Diffstat (limited to 'new-luxc/source/luxc/lang/eval.lux')
-rw-r--r--new-luxc/source/luxc/lang/eval.lux24
1 files changed, 12 insertions, 12 deletions
diff --git a/new-luxc/source/luxc/lang/eval.lux b/new-luxc/source/luxc/lang/eval.lux
index e691ec7a1..62d6a438b 100644
--- a/new-luxc/source/luxc/lang/eval.lux
+++ b/new-luxc/source/luxc/lang/eval.lux
@@ -1,18 +1,18 @@
-(;module:
+(.module:
lux
(lux (control [monad #+ do])
[macro])
(luxc ["&" lang]
- (lang (analysis [";A" expression])
- (synthesis [";S" expression])
- (translation [";T" expression]
- [";T" eval]))))
+ (lang (analysis [".A" expression])
+ (synthesis [".S" expression])
+ (translation [".T" expression]
+ [".T" eval]))))
(def: #export (eval type exprC)
- &;Eval
- (do macro;Monad<Meta>
- [exprA (&;with-type type
- (expressionA;analyser eval exprC))
- #let [exprS (expressionS;synthesize exprA)]
- exprI (expressionT;translate exprS)]
- (evalT;eval exprI)))
+ &.Eval
+ (do macro.Monad<Meta>
+ [exprA (&.with-type type
+ (expressionA.analyser eval exprC))
+ #let [exprS (expressionS.synthesize exprA)]
+ exprI (expressionT.translate exprS)]
+ (evalT.eval exprI)))