diff options
| author | bringert <unknown> | 2005-05-10 14:04:01 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-05-10 14:04:01 +0000 |
| commit | 63d3bb58ee82f9d3240ccb4b0559a995417c085a (patch) | |
| tree | 356b73d98d40b45ab1fe73134ea36bd4b476581b /src/GF/System/Readline.hs | |
| parent | 2fa6b60d0449b49fd9eaa75c72d07f10d45c9837 (diff) | |
Made conditional compilation of readline stuff cleaner
Diffstat (limited to 'src/GF/System/Readline.hs')
| -rw-r--r-- | src/GF/System/Readline.hs | 32 |
1 files changed, 4 insertions, 28 deletions
diff --git a/src/GF/System/Readline.hs b/src/GF/System/Readline.hs index 588b277d0..c12493f98 100644 --- a/src/GF/System/Readline.hs +++ b/src/GF/System/Readline.hs @@ -7,9 +7,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/05/10 14:55:01 $ +-- > CVS $Date: 2005/05/10 15:04:01 $ -- > CVS $Author: bringert $ --- > CVS $Revision: 1.1 $ +-- > CVS $Revision: 1.2 $ -- -- Uses the right readline library to read user input. ----------------------------------------------------------------------------- @@ -18,34 +18,10 @@ module GF.System.Readline (fetchCommand) where #ifdef USE_READLINE -import System.Console.Readline (readline, addHistory) +import GF.System.UseReadline (fetchCommand) #else -import System.IO.Error (try) -import System.IO (stdout,hFlush) - -#endif - -#ifdef USE_READLINE - -fetchCommand :: String -> IO (String) -fetchCommand s = do - res <- readline s - case res of - Nothing -> return "q" - Just s -> do addHistory s - return s - -#else - -fetchCommand :: String -> IO (String) -fetchCommand s = do - putStr s - hFlush stdout - res <- try getLine - case res of - Left e -> return "q" - Right l -> return l +import GF.System.NoReadline (fetchCommand) #endif |
