On Fri, Mar 20, 2020 at 9:17 AM Lassi Kortela <xxxxxx@lassi.io> wrote:

Shouldn't set-position implicitly flush the buffer, and get-position
count only the characters/bytes that the user of the port has already
received from the custom read procedure?

My understanding is that when set-port-position! is called, the port discard the buffered characters,

calls set-position callback, and calls read! callback to repopulate the buffer.

Actually, now I realized that textual port must buffer at least one character to support peek-char.

port-position shouldn't change its value depending on whether a character has been peeked form

the port or not; otherwise, a simple routine like "save the position, read ahead something, the restore position"

won't work because it fails if given port has been peeked.