summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
15d82a5)
make it compile with #define NO_READLINE
-----------------------------------------------------------------------------
-----------------------------------------------------------------------------
--- $Id: InteractiveUI.hs,v 1.20 2000/11/28 14:41:54 sewardj Exp $
+-- $Id: InteractiveUI.hs,v 1.21 2000/12/12 10:02:57 sewardj Exp $
--
-- GHC Interactive User Interface
--
--
-- GHC Interactive User Interface
--
import Util
import Exception
import Util
import Exception
import IOExts
import Numeric
import IOExts
import Numeric
-----------------------------------------------------------------------------
ghciWelcomeMsg = "\
-----------------------------------------------------------------------------
ghciWelcomeMsg = "\
#ifndef NO_READLINE
l <- io (readline (moduleNameUserString (current_module st) ++ "> "))
#else
#ifndef NO_READLINE
l <- io (readline (moduleNameUserString (current_module st) ++ "> "))
#else
- l <- io (hGetLine stdin)
+ l_ok <- io (hGetLine stdin)
+ let l = Just l_ok
#endif
case l of
Nothing -> exitGHCi
#endif
case l of
Nothing -> exitGHCi