diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/tool/compiler/default/evaluation.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux/tool/compiler/default/evaluation.lux b/stdlib/source/lux/tool/compiler/default/evaluation.lux index b6bc6b46b..2d7f32d85 100644 --- a/stdlib/source/lux/tool/compiler/default/evaluation.lux +++ b/stdlib/source/lux/tool/compiler/default/evaluation.lux @@ -9,24 +9,24 @@ ["%" format (#+ format)]]]] [/// ["." phase - [macro (#+ Expander)] [".P" analysis ["." type]] [".P" synthesis] ["." generation] [// - [analysis (#+ Operation)] + [analysis (#+ Operation) + [macro (#+ Expander)]] ["." synthesis]]]]) (type: #export Eval (-> Nat Type Code (Operation Any))) (def: #export (evaluator expander synthesis-state generation-state generate) - (All [anchor expression directive] + (All [anchor expression artifact] (-> Expander synthesis.State+ - (generation.State+ anchor expression directive) - (generation.Phase anchor expression directive) + (generation.State+ anchor expression artifact) + (generation.Phase anchor expression artifact) Eval)) (let [analyze (analysisP.phase expander)] (function (eval count type exprC) |