@@ -107,6 +107,7 @@ any : Lexer
107any = Pred (const True)
107any = Pred (const True)
109||| Recognise any character if the sub-lexer `l` fails.
109||| Recognise any character if the sub-lexer `l` fails.
110non : (l : Lexer) -> Lexer
111non : (l : Lexer) -> Lexer
111non l = reject l <+> any
112non l = reject l <+> any