strings.parser: allow escaping of all special characters.

locals-and-roots
Doug Coleman 2016-06-17 12:48:50 -07:00
parent a32a757879
commit 8a6dbdcb62
1 changed files with 23 additions and 4 deletions

View File

@ -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