diff options
author | Eduardo Julian | 2021-08-14 03:09:58 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-08-14 03:09:58 -0400 |
commit | 6fd22846f21b8b70b7867e989109d14a366c0a3e (patch) | |
tree | 9086774968ad944133dc5cf29c546add6e13a4b6 /stdlib/source/library/lux/control/parser/text.lux | |
parent | e53c1a090eb9cfac3cb23d10d981648d02518ed1 (diff) |
Moved documentation-generation machinery to its own module.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/control/parser/text.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/control/parser/text.lux b/stdlib/source/library/lux/control/parser/text.lux index 8ca2af321..ffe6e6f27 100644 --- a/stdlib/source/library/lux/control/parser/text.lux +++ b/stdlib/source/library/lux/control/parser/text.lux @@ -39,7 +39,7 @@ (def: (remaining' offset tape) (-> Offset Text Text) - (|> tape (/.split offset) maybe.assume product.right)) + (|> tape (/.split_at offset) maybe.assume product.right)) (exception: .public (unconsumed_input {offset Offset} {tape Text}) (exception.report @@ -152,7 +152,7 @@ (#try.Success [input []]) (exception.except ..unconsumed_input input)))) -(def: .public peek +(def: .public next {#.doc "Yields the next character (without consuming it from the input)."} (Parser Text) (function (_ (^@ input [offset tape])) |