Summary

repl should consume remaining input on error

Metadata

Description

In the REPL, remaing input after a read error is still read and parsed which can result in annoying "hangs", when for example another double quote follows - in that case a new string is read but no closing quotes yet encountered.

On an error, all remaining input should be consumed and discarded, if the input is from a terminal.