flush all input on a read error
authorAndy Wingo <wingo@pobox.com>
Sun, 27 Feb 2011 22:26:08 +0000 (23:26 +0100)
committerAndy Wingo <wingo@pobox.com>
Sun, 27 Feb 2011 22:26:08 +0000 (23:26 +0100)
commitdcb7c7ddf5dc2c7e32720ed91c6d7bbed7f7455a
tree1a1bfaa955dccbcc65fb6775075ac28a4298fb74
parent4e33a13246751034adbcc53f9e93223e19f57db2
flush all input on a read error

* module/system/repl/repl.scm (flush-all-input): New helper.
  (prompting-meta-read): Flush all input on a read error, as we could be
  within some expression or a string or something.
module/system/repl/repl.scm