escape-string ( str -- str' ) (original) (raw)
Inputs
str | an object |
---|
Outputs
str' | an object |
---|
Definition
: escape-string ( str -- str' )
H{
{ 41 "\\)" }
{ 8 "\\b" }
{ 9 "\\t" }
{ 10 "\\n" }
{ 40 "\\(" }
{ 12 "\\f" }
{ 13 "\\r" }
{ 92 "\\\\" }
} escape-string-by ;