[project @ 2001-06-18 09:09:28 by simonmar]
authorsimonmar <unknown>
Mon, 18 Jun 2001 09:09:28 +0000 (09:09 +0000)
committersimonmar <unknown>
Mon, 18 Jun 2001 09:09:28 +0000 (09:09 +0000)
commitee43954806848ffbe78f7cb8cf6732c2d86306d2
tree253170ec707bf3b267fd06b204d13a05c0b66473
parent301ba995afdbaf31dfcd9f5c4cc6048e6cd2fda8
[project @ 2001-06-18 09:09:28 by simonmar]
Forced commit to note that the previous commit also adds flushing of
stdout/stderr before printing an exception.  This fixes the problem
reported by Leon Smith last week.
ghc/compiler/ghci/InteractiveUI.hs