read-escape ( stream -- type/f )


Vocabulary
io.encodings.iso2022.private

Inputs
streaman object


Outputs
type/fan object


Definition


: read-escape ( stream -- type/f )
dup stream-read1 {
{
40
[
stream-read1 {
{ 66 ~quotation~ }
{ 74 ~quotation~ }
[ drop f ]
} case
]
}
{
36
[
dup stream-read1 {
{ 64 ~quotation~ }
{ 66 ~quotation~ }
{ 40 ~quotation~ }
[ 2drop f ]
} case
]
}
[ 2drop f ]
} case ;