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/parser | |
| parent | d4c72c03c1a47fe388ec36e973db17cb95dfdcfb (diff) | |
Fixed a bug when optimization record access.
Diffstat (limited to 'stdlib/source/parser')
| -rw-r--r-- | stdlib/source/parser/lux/data/binary.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/parser/lux/data/text.lux | 2 |
2 files changed, 4 insertions, 4 deletions
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)))) |