diff options
| author | Eduardo Julian | 2022-11-20 18:55:23 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-11-20 18:55:23 -0400 |
| commit | df0e015145981602b3f97113bcfa586b4f6d0757 (patch) | |
| tree | 3613c83b65df3bc83f6548abb7ad71fc801b434c /stdlib/source/experiment | |
| parent | d4c72c03c1a47fe388ec36e973db17cb95dfdcfb (diff) | |
Fixed a bug when optimization record access.
Diffstat (limited to 'stdlib/source/experiment')
| -rw-r--r-- | stdlib/source/experiment/tool/interpreter.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/experiment/tool/interpreter.lux b/stdlib/source/experiment/tool/interpreter.lux index a52ae4129..3a001396a 100644 --- a/stdlib/source/experiment/tool/interpreter.lux +++ b/stdlib/source/experiment/tool/interpreter.lux @@ -60,7 +60,7 @@ (def enter_module (All (_ anchor expression declaration) (Operation anchor expression declaration Any)) - (declaration.lifted_analysis + (declaration.of_analysis (do phase.monad [_ (module.create 0 ..module)] (analysis.set_current_module ..module)))) @@ -103,7 +103,7 @@ .let [analyse (the [declaration.#analysis declaration.#phase] state) synthesize (the [declaration.#synthesis declaration.#phase] state) translate (the [declaration.#translation declaration.#phase] state)] - [_ codeT codeA] (declaration.lifted_analysis + [_ codeT codeA] (declaration.of_analysis (analysis.with_scope (type.with_fresh_env (do ! @@ -112,9 +112,9 @@ codeT (type.with_env (check.clean codeT))] (in [codeT codeA]))))) - codeS (declaration.lifted_synthesis + codeS (declaration.of_synthesis (synthesize codeA))] - (declaration.lifted_translation + (declaration.of_translation (translation.with_buffer (do ! [codeH (translate codeS) |