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).
-----------------------------------------------------------------------------
--- $Id: InteractiveUI.hs,v 1.80 2001/06/28 11:29:26 simonmar Exp $
+-- $Id: InteractiveUI.hs,v 1.81 2001/07/17 14:53:48 rrt Exp $
--
-- GHC Interactive User Interface
--
startGHCi runGHCi GHCiState{ targets = paths,
cmstate = cmstate,
options = [] }
+
+#if HAVE_READLINE_HEADERS && HAVE_READLINE_LIBS
+ Readline.resetTerminal Nothing
+#endif
+
return ()