strings.parser: Add character escapes for :[{(.

You will need to bootstrap or change them to ``char: :`` then ``char: \:`` in strings.parser.
modern-harvey2
Doug Coleman 2017-08-26 01:30:04 -05:00
parent 2d77edf9a2
commit acfb3a8992
2 changed files with 5 additions and 1 deletions

View File

@ -65,7 +65,7 @@ ERROR: no-parent-directory path ;
{
{ [ dup "\\\\?\\" head? ] [ t ] }
{ [ dup length 2 < ] [ f ] }
{ [ dup second CHAR: : = ] [ t ] }
{ [ dup second CHAR: \: = ] [ t ] }
[ f ]
} cond ;

View File

@ -22,6 +22,10 @@ ERROR: bad-escape char ;
{ CHAR: 0 CHAR: \0 }
{ CHAR: \\ CHAR: \\ }
{ CHAR: \" CHAR: \" }
{ CHAR: \: CHAR: \: }
{ CHAR: \[ CHAR: \[ }
{ CHAR: \{ CHAR: \{ }
{ CHAR: \( CHAR: \( }
} ?at [ bad-escape ] unless ;
SYMBOL: name>char-hook