[project @ 2005-10-20 00:52:38 by sof]
authorsof <unknown>
Thu, 20 Oct 2005 00:52:38 +0000 (00:52 +0000)
committersof <unknown>
Thu, 20 Oct 2005 00:52:38 +0000 (00:52 +0000)
commitc86b512d648e23eed323451d5e2998947a9e68b4
tree266ea6d68392bb28fb3d0a1ed555d3b662ee73a6
parent3d8a086764395544acbfc522e46eab082a0079c0
[project @ 2005-10-20 00:52:38 by sof]
[mingw]delay flushing console buffer until last possible moment. Merge to STABLE
ghc/compiler/ghci/InteractiveUI.hs