Yeah, this is basically the underlying issue – I couldn’t find a way stop an existing REPL mode from an async task (which leads to obvious problems when either trying to read from stdin or when trying to switch to a new REPL mode).
Yeah, this is basically the underlying issue – I couldn’t find a way stop an existing REPL mode from an async task (which leads to obvious problems when either trying to read from stdin or when trying to switch to a new REPL mode).