@@ -140,6 +140,8 @@ manyThen stopAfter l = manyUntil stopAfter l <+> stopAfter
141manyTill : (l : Lexer) -> (end : Lexer) -> Recognise False
141manyTill : (l : Lexer) -> (end : Lexer) -> Recognise False
142manyTill l end = end <|> opt (l <+> manyTill l end)
142manyTill l end = end <|> opt (l <+> manyTill l end)
144+ "Prefer `lineComment`, or `manyUntil`/`manyThen` (argument order is flipped)."
144||| Recognise any character
146||| Recognise any character