-
Reuben Thomas authored
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).
d011e911