on master help sign in
A couple of missing control codes in Lexer
commitfb3a0957620889cbf29fd8ac7d74b0e492cd18be authorEdwin Brady <ecb10@st-andrews.ac.uk> dateSat 4 Aug 2018, 19:37 (8 years ago) parent3bf02be
1 file changed+2−1
libs/contrib/Text/Lexer.idr+2−1
libs/contrib/Text/Lexer.idr+2−1
@@ -289,7 +289,8 @@ charLit = let q = '\'' in
289289 control = lexStr ["NUL", "SOH", "STX", "ETX", "EOT", "ENQ", "ACK", "BEL",
290290 "BS", "HT", "LF", "VT", "FF", "CR", "SO", "SI",
291291 "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"]
293294 <|> (is 'x' <+> hexDigits)
294295 <|> (is 'o' <+> octDigits)
295296 <|> digits