strings.parser: Add more escape codes.

2017-08-26 01:58:33 -05:00 · 2017-08-26 01:58:33 -05:00 · 7cf91e005d
parent 84e40810cd
commit 7cf91e005d
1 changed files with 5 additions and 0 deletions
--- 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