stream.readLine

[Frits van Bommel]

bobef wrote:
> The implementation of stream.readLine() threats char.init as EOF, which is not right because char.init is 255 (which is ÿ in Cyrillic). I believe EOF should be 0.

No, char.init is 255 which is an invalid byte in UTF-8 data.
Codepoint 255 *is* ÿ, IIRC, but char doesn't store codepoints. It stores 
UTF-8 bytes (code units?).


Forgive me if I got the terminology wrong.