[project @ 2001-07-17 14:53:48 by rrt]
authorrrt <unknown>
Tue, 17 Jul 2001 14:53:48 +0000 (14:53 +0000)
committerrrt <unknown>
Tue, 17 Jul 2001 14:53:48 +0000 (14:53 +0000)
commitd011e9110e2d9b0dd7a8f18f2e0cada8e537f86b
tree31f1050e60a26cdb0235d5930adf40c1edde4378
parente1d82082439399c35c8dcb5a65c886abe5447f84
[project @ 2001-07-17 14:53:48 by rrt]
Reset the terminal on exit so that ghci doesn't leave it messed up. To see
what I mean, run ghci, then type :q RET, then su return, and start typing a
password. Alarming, isn't it?

This fix needs a patch to the Readline library (next commit).
ghc/compiler/ghci/InteractiveUI.hs