@@ -291,7 +291,7 @@ symbols = some symbol
291||| delimiting lexers
291||| delimiting lexers
293surround : (start : Lexer) -> (end : Lexer) -> (l : Lexer) -> Lexer
293surround : (start : Lexer) -> (end : Lexer) -> (l : Lexer) -> Lexer
294−surround start end l = start <+> manyTill l end
294+surround start end l = start <+> many (reject end <+> l) <+> end
296||| Recognise zero or more occurrences of a sub-lexer surrounded
296||| Recognise zero or more occurrences of a sub-lexer surrounded
297||| by the same quote lexer on both sides (useful for strings)
297||| by the same quote lexer on both sides (useful for strings)