From ffdae812bb80bbaf511508b2463c3519edfc504c Mon Sep 17 00:00:00 2001
From: sewardj <unknown>
Date: Tue, 12 Dec 2000 10:02:57 +0000
Subject: [PATCH 1/1] [project @ 2000-12-12 10:02:57 by sewardj] make it
 compile with #define NO_READLINE

---
 ghc/compiler/ghci/InteractiveUI.hs |    8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/ghc/compiler/ghci/InteractiveUI.hs b/ghc/compiler/ghci/InteractiveUI.hs
index 534a715..79d6a8f 100644
--- a/ghc/compiler/ghci/InteractiveUI.hs
+++ b/ghc/compiler/ghci/InteractiveUI.hs
@@ -1,5 +1,5 @@
 -----------------------------------------------------------------------------
--- $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
 --
@@ -22,7 +22,9 @@ import Outputable
 import Util
 
 import Exception
+#ifndef NO_READLINE
 import Readline
+#endif
 import IOExts
 
 import Numeric
@@ -33,6 +35,7 @@ import Directory
 import IO
 import Char
 
+
 -----------------------------------------------------------------------------
 
 ghciWelcomeMsg = "\ 
@@ -122,7 +125,8 @@ uiLoop = do
 #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
-- 
1.7.10.4