strings.parser: use rest-slice.
parent
35e23dc547
commit
cead10cfb6
|
@ -40,8 +40,8 @@ name>char-hook [
|
||||||
|
|
||||||
: next-escape ( str -- ch str' )
|
: next-escape ( str -- ch str' )
|
||||||
dup first {
|
dup first {
|
||||||
{ CHAR: u [ 1 tail-slice unicode-escape ] }
|
{ CHAR: u [ rest-slice unicode-escape ] }
|
||||||
{ CHAR: x [ 1 tail-slice hex-escape ] }
|
{ CHAR: x [ rest-slice hex-escape ] }
|
||||||
[ drop unclip-slice escape swap ]
|
[ drop unclip-slice escape swap ]
|
||||||
} case ;
|
} case ;
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue