@@ -177,7 +177,8 @@ stringLit = is '"' <+> many strChar <+> is '"'
177||| (Note: doesn't yet handle escape sequences such as \123)
177||| (Note: doesn't yet handle escape sequences such as \123)
179charLit : Lexer
179charLit : Lexer
180−charLit = is '\'' <+> strChar <+> is '\''
180+charLit = let q = '\'' in
181+ is q <+> ((is '\\' <+> any) <|> isNot q) <+> is q
182||| Recognise an integer literal (possibly with a '-' prefix)
183||| Recognise an integer literal (possibly with a '-' prefix)