diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/tool/interpreter.lux | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/stdlib/source/lux/tool/interpreter.lux b/stdlib/source/lux/tool/interpreter.lux index d2fbccfdc..4edc6067a 100644 --- a/stdlib/source/lux/tool/interpreter.lux +++ b/stdlib/source/lux/tool/interpreter.lux @@ -14,7 +14,7 @@ ["." analysis ["." module] ["." type]] - ["." translation] + ["." generation] ["." statement (#+ State+ Operation) ["." total]] ["." extension]] @@ -60,15 +60,15 @@ [_ (module.create 0 ..module)] (analysis.set-current-module ..module)))) -(def: (initialize Monad<!> Console<!> platform configuration translation-bundle) +(def: (initialize Monad<!> Console<!> platform configuration generation-bundle) (All [! anchor expression statement] (-> (Monad !) (Console !) (Platform ! anchor expression statement) Configuration - (translation.Bundle anchor expression statement) + (generation.Bundle anchor expression statement) (! (State+ anchor expression statement)))) (do Monad<!> - [state (platform.initialize platform translation-bundle) + [state (platform.initialize platform generation-bundle) state (platform.compile platform (set@ #cli.module syntax.prelude configuration) (set@ [#extension.state @@ -99,7 +99,7 @@ [state (extension.lift phase.get-state) #let [analyse (get@ [#statement.analysis #statement.phase] state) synthesize (get@ [#statement.synthesis #statement.phase] state) - translate (get@ [#statement.translation #statement.phase] state)] + generate (get@ [#statement.generation #statement.phase] state)] [_ codeT codeA] (statement.lift-analysis (analysis.with-scope (type.with-fresh-env @@ -111,12 +111,12 @@ (wrap [codeT codeA]))))) codeS (statement.lift-synthesis (synthesize codeA))] - (statement.lift-translation - (translation.with-buffer + (statement.lift-generation + (generation.with-buffer (do @ - [codeH (translate codeS) - count translation.next - codeV (translation.evaluate! (format "interpretation_" (%n count)) codeH)] + [codeH (generate codeS) + count generation.next + codeV (generation.evaluate! (format "interpretation_" (%n count)) codeH)] (wrap [codeT codeV])))))) (def: (interpret configuration code) @@ -186,12 +186,12 @@ (set@ #source source')) representation])))) -(def: #export (run Monad<!> Console<!> platform configuration translation-bundle) +(def: #export (run Monad<!> Console<!> platform configuration generation-bundle) (All [! anchor expression statement] (-> (Monad !) (Console !) (Platform ! anchor expression statement) Configuration - (translation.Bundle anchor expression statement) + (generation.Bundle anchor expression statement) (! Any))) (do Monad<!> [state (initialize Monad<!> Console<!> platform configuration)] |