Currently, if you call write() after you read() and before that read has completed, the written text is inserted directly after the prompt with the typed content and the prompt line is not refreshed. If you backspace to force it to refresh, it overwrites the written text as if the write() has never happened.
This would be useful for an async REPL where text may be printed from async code running in the background.
Currently, if you call
write()after youread()and before that read has completed, the written text is inserted directly after the prompt with the typed content and the prompt line is not refreshed. If you backspace to force it to refresh, it overwrites the written text as if thewrite()has never happened.This would be useful for an async REPL where text may be printed from async code running in the background.