handle-readln ( stream str ch -- str )

Vocabulary

io.encodings.private

Inputs

stream	an object
str	an object
ch	an object

Outputs

str

an object

Definition

USING: combinators ;

IN: io.encodings.private

: handle-readln ( stream str ch -- str )
    {
        { f [ line-ends/eof ] }
        { 13 [ line-ends\r ] }
        { 10 [ line-ends\n ] }
    } case ; inline