19489, "mppf", "I/O module: should channel.flush be available for a reader channel?", "2022-03-18T14:51:12Z"
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.
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?