From 8df33c8683ec3e0b31b6b9dde25625bfb2e6e5d4 Mon Sep 17 00:00:00 2001 From: Jamie Willis Date: Fri, 11 Aug 2023 21:27:47 +0100 Subject: [PATCH] battle notes --- parsley/shared/src/main/scala/parsley/character.scala | 2 ++ 1 file changed, 2 insertions(+) diff --git a/parsley/shared/src/main/scala/parsley/character.scala b/parsley/shared/src/main/scala/parsley/character.scala index b86f177ce..e3d650338 100644 --- a/parsley/shared/src/main/scala/parsley/character.scala +++ b/parsley/shared/src/main/scala/parsley/character.scala @@ -405,6 +405,7 @@ object character { } // TODO: document + // TODO: optimise, this can be _really_ tightly implemented with a substring on the input def stringOfMany(pred: Char => Boolean): Parsley[String] = stringOfMany(satisfy(pred)) // TODO: document that it only handles 16-bit characters @@ -436,6 +437,7 @@ object character { } // TODO: document + // TODO: optimise, this can be _really_ tightly implemented with a substring on the input def stringOfSome(pred: Char => Boolean): Parsley[String] = stringOfSome(satisfy(pred)) /** This combinator tries to parse each of the strings `strs` (and `str0`), until one of them succeeds.