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/parser/lux/data/binary.lux | 6 +++---
 stdlib/source/parser/lux/data/text.lux   | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'stdlib/source/parser')

diff --git a/stdlib/source/parser/lux/data/binary.lux b/stdlib/source/parser/lux/data/binary.lux
index 3130b607a..7ed8a1fdd 100644
--- a/stdlib/source/parser/lux/data/binary.lux
+++ b/stdlib/source/parser/lux/data/binary.lux
@@ -142,7 +142,7 @@
              [<number> (`` (at ! each (|>> {(,, (template.spliced <tag>))}) <parser>))])
            (<case>+')
            
-           _ (//.lifted (exception.except ..invalid_tag [(template.amount [<case>+]) flag])))))]))
+           _ (//.of_try (exception.except ..invalid_tag [(template.amount [<case>+]) flag])))))]))
 
 (def .public (or left right)
   (All (_ l r) (-> (Parser l) (Parser r) (Parser (Or l r))))
@@ -173,7 +173,7 @@
     (when value
       0 (in #0)
       1 (in #1)
-      _ (//.lifted (exception.except ..not_a_bit [value])))))
+      _ (//.of_try (exception.except ..not_a_bit [value])))))
 
 (def .public (segment size)
   (-> Nat (Parser Binary))
@@ -206,7 +206,7 @@
          (Parser Text)
          (do //.monad
            [utf8 <binary>]
-           (//.lifted (at utf8.codec decoded utf8)))))]
+           (//.of_try (at utf8.codec decoded utf8)))))]
 
   [08 utf8_8  ..binary_8]
   [16 utf8_16 ..binary_16]
diff --git a/stdlib/source/parser/lux/data/text.lux b/stdlib/source/parser/lux/data/text.lux
index 3c2b9baf8..0fe1fb3ec 100644
--- a/stdlib/source/parser/lux/data/text.lux
+++ b/stdlib/source/parser/lux/data/text.lux
@@ -407,4 +407,4 @@
         (//.Parser s a)))
   (do //.monad
     [raw text]
-    (//.lifted (..result structured raw))))
+    (//.of_try (..result structured raw))))
-- 
cgit v1.2.3