on master help sign in
A couple of missing control codes in Lexer
fb3a095Edwin Brady
libs/contrib/Text/Lexer.idr+2−1
@@ -289,7 +289,8 @@ charLit = let q = '\'' in
289 control = lexStr ["NUL", "SOH", "STX", "ETX", "EOT", "ENQ", "ACK", "BEL",
289 control = lexStr ["NUL", "SOH", "STX", "ETX", "EOT", "ENQ", "ACK", "BEL",
290 "BS", "HT", "LF", "VT", "FF", "CR", "SO", "SI",
290 "BS", "HT", "LF", "VT", "FF", "CR", "SO", "SI",
291 "DLE", "DC1", "DC2", "DC3", "DC4", "NAK", "SYN", "ETB",
291 "DLE", "DC1", "DC2", "DC3", "DC4", "NAK", "SYN", "ETB",
292− "CAN", "EM", "SUB", "ESC", "FS", "GS", "RS", "US"]
292+ "CAN", "EM", "SUB", "ESC", "FS", "GS", "RS", "US",
293+ "SP", "DEL"]
293 <|> (is 'x' <+> hexDigits)
294 <|> (is 'x' <+> hexDigits)
294 <|> (is 'o' <+> octDigits)
295 <|> (is 'o' <+> octDigits)
295 <|> digits
296 <|> digits