From 8a6dbdcb62b825fc63f547db8bd0a76dead25ed9 Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Fri, 17 Jun 2016 12:48:50 -0700 Subject: [PATCH] strings.parser: allow escaping of all special characters. --- core/strings/parser/parser.factor | 27 +++++++++++++++++++++++---- 1 file changed, 23 insertions(+), 4 deletions(-) diff --git a/core/strings/parser/parser.factor b/core/strings/parser/parser.factor index 18c4fa41be..91a8e7172a 100644 --- a/core/strings/parser/parser.factor +++ b/core/strings/parser/parser.factor @@ -20,18 +20,37 @@ 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: \[ } { char: \] char: \] } + { char: \{ char: \{ } + { char: \} char: \} } + { char: \< char: \< } + { char: \> char: \> } + { char: \` char: \` } + { char: \~ char: \~ } + { char: \! char: \! } + { char: \@ char: \@ } + { char: \# char: \# } + { char: \$ char: \$ } + { char: \% char: \% } + { char: \^ char: \^ } + { 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