aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/parser/lux/data/text.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/parser/lux/data/text.lux22
1 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/parser/lux/data/text.lux b/stdlib/source/parser/lux/data/text.lux
index 3cc4dd8da..3cd4076f5 100644
--- a/stdlib/source/parser/lux/data/text.lux
+++ b/stdlib/source/parser/lux/data/text.lux
@@ -7,7 +7,7 @@
["//" parser]
["[0]" maybe]
["[0]" try (.only Try)]
- ["[0]" exception (.only exception:)]]
+ ["[0]" exception (.only exception)]]
[data
["/" text (.only Char) (.use "[1]#[0]" monoid)]
["[0]" product]
@@ -28,8 +28,8 @@
Offset
0)
-(exception: .public cannot_parse)
-(exception: .public cannot_slice)
+(exception .public cannot_parse)
+(exception .public cannot_slice)
(type .public Parser
(//.Parser [Offset Text]))
@@ -55,15 +55,15 @@
(-> Offset Text Text)
(|> tape (/.clip_since offset) maybe.trusted))
-(exception: .public (unconsumed_input [offset Offset
- tape Text])
+(exception .public (unconsumed_input [offset Offset
+ tape Text])
(exception.report
"Offset" (n#encoded offset)
"Input size" (n#encoded (/.size tape))
"Remaining input" (..left_over offset tape)))
-(exception: .public (expected_to_fail [offset Offset
- tape Text])
+(exception .public (expected_to_fail [offset Offset
+ tape Text])
(exception.report
"Offset" (n#encoded offset)
"Input" (..left_over offset tape)))
@@ -133,7 +133,7 @@
[not! Slice ..any!]
)
-(exception: .public (cannot_match [reference Text])
+(exception .public (cannot_match [reference Text])
(exception.report
"Reference" (/.format reference)))
@@ -229,8 +229,8 @@
(..range! (char "A") (char "F"))))
(with_template [<name>]
- [(exception: .public (<name> [options Text
- character Char])
+ [(exception .public (<name> [options Text
+ character Char])
(exception.report
"Options" (/.format options)
"Character" (/.format (/.of_char character))))]
@@ -277,7 +277,7 @@
[none_of! .not ..character_should_not_be]
)
-(exception: .public (character_does_not_satisfy_predicate [character Char])
+(exception .public (character_does_not_satisfy_predicate [character Char])
(exception.report
"Character" (/.format (/.of_char character))))