To reproduce:
- Write a file with an infinite loop but no
input calls.
- Type a bunch of characters besides ctrl-c.
- Type ctrl-c to break out of the loop.
- The first of a bunch of characters satisfies the any keypress to enter repl and then the repl gets the rest.
Instead, we should clear the input buffer after main finishes and before we wait for another character.
To reproduce:
inputcalls.Instead, we should clear the input buffer after main finishes and before we wait for another character.