From df0e015145981602b3f97113bcfa586b4f6d0757 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 20 Nov 2022 18:55:23 -0400
Subject: Fixed a bug when optimization record access.

---
 stdlib/source/experiment/tool/interpreter.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'stdlib/source/experiment')

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)
-- 
cgit v1.2.3