write-json-generic-escape-bmp ( stream char -- stream )

Vocabulary

json.private

Inputs

stream	an object
char	an object

Outputs

stream

an object

Definition

USING: formatting io kernel ;

IN: json.private

: write-json-generic-escape-bmp ( stream char -- stream )
    "\\u%04x" sprintf over stream-write ;