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/documentation/lux/control/parser.lux                  | 4 ++--
 stdlib/source/documentation/lux/meta.lux                            | 2 +-
 .../documentation/lux/meta/compiler/language/lux/declaration.lux    | 6 +++---
 stdlib/source/documentation/lux/meta/compiler/phase.lux             | 2 +-
 4 files changed, 7 insertions(+), 7 deletions(-)

(limited to 'stdlib/source/documentation')

diff --git a/stdlib/source/documentation/lux/control/parser.lux b/stdlib/source/documentation/lux/control/parser.lux
index ba7a726b2..a0ccd9f40 100644
--- a/stdlib/source/documentation/lux/control/parser.lux
+++ b/stdlib/source/documentation/lux/control/parser.lux
@@ -82,9 +82,9 @@
           "Always fail with this 'message'."
           ($.example (failure message)))
 
-        ($.definition /.lifted
+        ($.definition /.of_try
           "Lift a potentially failed computation into a parser."
-          ($.example (lifted operation)))
+          ($.example (of_try operation)))
 
         ($.definition /.else
           "If the given parser fails, returns the default value."
diff --git a/stdlib/source/documentation/lux/meta.lux b/stdlib/source/documentation/lux/meta.lux
index a14f67132..f2a72fb32 100644
--- a/stdlib/source/documentation/lux/meta.lux
+++ b/stdlib/source/documentation/lux/meta.lux
@@ -144,7 +144,7 @@
 
                     ($.definition /.type_context
                       "The current type-checking context."))
-        computation (list ($.definition /.lifted)
+        computation (list ($.definition /.of_try)
                           ($.definition /.try)
 
                           ($.definition /.result'
diff --git a/stdlib/source/documentation/lux/meta/compiler/language/lux/declaration.lux b/stdlib/source/documentation/lux/meta/compiler/language/lux/declaration.lux
index 8a073556e..42c985ad2 100644
--- a/stdlib/source/documentation/lux/meta/compiler/language/lux/declaration.lux
+++ b/stdlib/source/documentation/lux/meta/compiler/language/lux/declaration.lux
@@ -29,8 +29,8 @@
         ($.definition /.analysis)
         ($.definition /.synthesis)
         ($.definition /.translation)
-        ($.definition /.lifted_analysis)
-        ($.definition /.lifted_synthesis)
-        ($.definition /.lifted_translation)
+        ($.definition /.of_analysis)
+        ($.definition /.of_synthesis)
+        ($.definition /.of_translation)
         ($.definition /.set_current_module)
         ))
diff --git a/stdlib/source/documentation/lux/meta/compiler/phase.lux b/stdlib/source/documentation/lux/meta/compiler/phase.lux
index fe549b6c9..55c5cca7c 100644
--- a/stdlib/source/documentation/lux/meta/compiler/phase.lux
+++ b/stdlib/source/documentation/lux/meta/compiler/phase.lux
@@ -26,7 +26,7 @@
         ($.definition /.sub)
         ($.definition /.failure)
         ($.definition /.except)
-        ($.definition /.lifted)
+        ($.definition /.of_try)
         ($.definition /.assertion)
         ($.definition /.identity)
         ($.definition /.composite)
-- 
cgit v1.2.3