diff options
| author | Eduardo Julian | 2017-11-01 00:51:45 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-11-01 00:51:45 -0400 |
| commit | 012f6bd41e527479dddbccbdab10daa78fd9a0fd (patch) | |
| tree | 621f344a09acd52736f343d94582b3f1a2f0c5f9 /new-luxc/source/luxc/eval.lux | |
| parent | 71d7a4c7206155e09f3e1e1d8699561ea6967382 (diff) | |
- Re-organized code-generation, and re-named it "translation".
Diffstat (limited to 'new-luxc/source/luxc/eval.lux')
| -rw-r--r-- | new-luxc/source/luxc/eval.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/new-luxc/source/luxc/eval.lux b/new-luxc/source/luxc/eval.lux index baac56c64..82c355151 100644 --- a/new-luxc/source/luxc/eval.lux +++ b/new-luxc/source/luxc/eval.lux @@ -3,10 +3,10 @@ (lux (control [monad #+ do]) [meta]) (luxc (lang (analysis [";A" expression]) - (synthesis [";S" expression]))) - [../base] - (.. (generator [";G" expression] - [eval]))) + (synthesis [";S" expression]) + (translation [";T" expression] + [";T" eval]))) + [../base]) (def: #export (eval type exprC) ../base;Eval @@ -14,5 +14,5 @@ [exprA (../base;with-expected-type type (expressionA;analyser eval exprC)) #let [exprS (expressionS;synthesize exprA)] - exprI (expressionG;generate exprS)] - (eval;eval exprI))) + exprI (expressionT;generate exprS)] + (evalT;eval exprI))) |