New Issue: I/O module: should channel.flush be available for a reader channel?

[mppf1]

19489, "mppf", "I/O module: should channel.flush be available for a reader channel?", "2022-03-18T14:51:12Z"

I/O module: should channel.flush be available for a reader channel?

Today we have this:

proc channel.flush() throws

Flushes the channel’s buffered data to the OS when writing. The documentation does not say what it does when reading.

Proposal:

Keep it as-is but include an explicit void return type

proc writer.flush() : void throws

Open Q: Should flush be available on ‘reader’? What should it do?