From 7cf91e005d2201807fe45faddd82410bbeacb6cb Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Sat, 26 Aug 2017 01:58:33 -0500 Subject: [PATCH] strings.parser: Add more escape codes. --- core/strings/parser/parser.factor | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/core/strings/parser/parser.factor b/core/strings/parser/parser.factor index 6b8bd10570..8899cea0f7 100644 --- a/core/strings/parser/parser.factor +++ b/core/strings/parser/parser.factor @@ -20,12 +20,17 @@ ERROR: bad-escape char ; { CHAR: v CHAR: \v } { CHAR: \s CHAR: \s } { CHAR: 0 CHAR: \0 } + { CHAR: \! CHAR: \! } { CHAR: \\ CHAR: \\ } { CHAR: \" CHAR: \" } { CHAR: \: CHAR: \: } { CHAR: \[ CHAR: \[ } { CHAR: \{ CHAR: \{ } { CHAR: \( CHAR: \( } + { CHAR: \; CHAR: \; } + { CHAR: \] CHAR: \] } + { CHAR: \} CHAR: \} } + { CHAR: \) CHAR: \) } } ?at [ bad-escape ] unless ; SYMBOL: name>char-hook