blob: 87cbadfa0cbc65faa2c51ce5c072f69e4748587a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
(.module:
lux
(lux (control [monad #+ do])
[macro])
(luxc ["&" lang]
(lang [".L" extension]
(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))
syntheses extensionL.all-syntheses
#let [exprS (expressionS.synthesize syntheses exprA)]
exprI (expressionT.translate exprS)]
(evalT.eval exprI)))
|