mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-04 16:52:50 -06:00
always use Haskeline. drop Readline & Editline
This commit is contained in:
@@ -1,33 +0,0 @@
|
||||
----------------------------------------------------------------------
|
||||
-- |
|
||||
-- Module : GF.System.NoReadline
|
||||
-- Maintainer : BB
|
||||
-- Stability : (stable)
|
||||
-- Portability : (portable)
|
||||
--
|
||||
-- > CVS $Date: 2005/05/10 15:04:01 $
|
||||
-- > CVS $Author: bringert $
|
||||
-- > CVS $Revision: 1.1 $
|
||||
--
|
||||
-- Do not use readline.
|
||||
-----------------------------------------------------------------------------
|
||||
|
||||
module GF.System.NoReadline (fetchCommand, setCompletionFunction, filenameCompletionFunction) where
|
||||
|
||||
import System.IO.Error (try)
|
||||
import System.IO (stdout,hFlush)
|
||||
|
||||
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
|
||||
|
||||
setCompletionFunction :: Maybe (String -> String -> Int -> IO [String]) -> IO ()
|
||||
setCompletionFunction _ = return ()
|
||||
|
||||
filenameCompletionFunction :: String -> IO [String]
|
||||
filenameCompletionFunction _ = return []
|
||||
@@ -1,35 +0,0 @@
|
||||
{-# OPTIONS -cpp #-}
|
||||
|
||||
----------------------------------------------------------------------
|
||||
-- |
|
||||
-- Module : GF.System.Readline
|
||||
-- Maintainer : BB
|
||||
-- Stability : (stable)
|
||||
-- Portability : (portable)
|
||||
--
|
||||
-- > CVS $Date: 2005/05/10 15:04:01 $
|
||||
-- > CVS $Author: bringert $
|
||||
-- > CVS $Revision: 1.2 $
|
||||
--
|
||||
-- Uses the right readline library to read user input.
|
||||
-----------------------------------------------------------------------------
|
||||
|
||||
module GF.System.Readline (fetchCommand, setCompletionFunction, filenameCompletionFunction) where
|
||||
|
||||
#ifdef USE_HASKELINE
|
||||
|
||||
import GF.System.UseHaskeline
|
||||
|
||||
#elif USE_READLINE
|
||||
|
||||
import GF.System.UseReadline
|
||||
|
||||
#elif USE_EDITLINE
|
||||
|
||||
import GF.System.UseEditline
|
||||
|
||||
#else
|
||||
|
||||
import GF.System.NoReadline
|
||||
|
||||
#endif
|
||||
@@ -1,36 +0,0 @@
|
||||
----------------------------------------------------------------------
|
||||
-- |
|
||||
-- Module : GF.System.UseReadline
|
||||
-- Maintainer : BB
|
||||
-- Stability : (stable)
|
||||
-- Portability : (portable)
|
||||
--
|
||||
-- > CVS $Date: 2005/05/10 15:04:01 $
|
||||
-- > CVS $Author: bringert $
|
||||
-- > CVS $Revision: 1.1 $
|
||||
--
|
||||
-- Use GNU readline
|
||||
-----------------------------------------------------------------------------
|
||||
|
||||
module GF.System.UseEditline (fetchCommand, setCompletionFunction, filenameCompletionFunction) where
|
||||
|
||||
import System.Console.Editline.Readline
|
||||
|
||||
fetchCommand :: String -> IO (String)
|
||||
fetchCommand s = do
|
||||
setCompletionAppendCharacter Nothing
|
||||
--setBasicQuoteCharacters ""
|
||||
res <- readline s
|
||||
case res of
|
||||
Nothing -> return "q"
|
||||
Just s -> do addHistory s
|
||||
return s
|
||||
|
||||
setCompletionFunction :: Maybe (String -> String -> Int -> IO [String]) -> IO ()
|
||||
setCompletionFunction Nothing = setCompletionEntryFunction Nothing
|
||||
setCompletionFunction (Just fn) = setCompletionEntryFunction (Just my_fn)
|
||||
where
|
||||
my_fn prefix = do
|
||||
s <- getLineBuffer
|
||||
p <- getPoint
|
||||
fn s prefix p
|
||||
@@ -1,43 +0,0 @@
|
||||
----------------------------------------------------------------------
|
||||
-- |
|
||||
-- Module : GF.System.UseReadline
|
||||
-- Maintainer : BB
|
||||
-- Stability : (stable)
|
||||
-- Portability : (portable)
|
||||
--
|
||||
-- > CVS $Date: 2005/05/10 15:04:01 $
|
||||
-- > CVS $Author: bringert $
|
||||
-- > CVS $Revision: 1.1 $
|
||||
--
|
||||
-- Use GNU readline
|
||||
-----------------------------------------------------------------------------
|
||||
|
||||
module GF.System.UseHaskeline (fetchCommand, setCompletionFunction, filenameCompletionFunction) where
|
||||
|
||||
import System.Console.Haskeline
|
||||
import System.Directory
|
||||
|
||||
fetchCommand :: String -> IO (String)
|
||||
fetchCommand s = do
|
||||
settings <- getGFSettings
|
||||
res <- runInputT settings (getInputLine s)
|
||||
case res of
|
||||
Nothing -> return "q"
|
||||
Just s -> return s
|
||||
|
||||
getGFSettings :: IO (Settings IO)
|
||||
getGFSettings = do
|
||||
path <- getAppUserDataDirectory "gf_history"
|
||||
return $
|
||||
Settings {
|
||||
complete = completeFilename,
|
||||
historyFile = Just path,
|
||||
autoAddHistory = True
|
||||
}
|
||||
|
||||
|
||||
setCompletionFunction :: Maybe (String -> String -> Int -> IO [String]) -> IO ()
|
||||
setCompletionFunction _ = return ()
|
||||
|
||||
filenameCompletionFunction :: String -> IO [String]
|
||||
filenameCompletionFunction _ = return []
|
||||
@@ -1,36 +0,0 @@
|
||||
----------------------------------------------------------------------
|
||||
-- |
|
||||
-- Module : GF.System.UseReadline
|
||||
-- Maintainer : BB
|
||||
-- Stability : (stable)
|
||||
-- Portability : (portable)
|
||||
--
|
||||
-- > CVS $Date: 2005/05/10 15:04:01 $
|
||||
-- > CVS $Author: bringert $
|
||||
-- > CVS $Revision: 1.1 $
|
||||
--
|
||||
-- Use GNU readline
|
||||
-----------------------------------------------------------------------------
|
||||
|
||||
module GF.System.UseReadline (fetchCommand, setCompletionFunction, filenameCompletionFunction) where
|
||||
|
||||
import System.Console.Readline
|
||||
|
||||
fetchCommand :: String -> IO (String)
|
||||
fetchCommand s = do
|
||||
setCompletionAppendCharacter Nothing
|
||||
setBasicQuoteCharacters ""
|
||||
res <- readline s
|
||||
case res of
|
||||
Nothing -> return "q"
|
||||
Just s -> do addHistory s
|
||||
return s
|
||||
|
||||
setCompletionFunction :: Maybe (String -> String -> Int -> IO [String]) -> IO ()
|
||||
setCompletionFunction Nothing = setCompletionEntryFunction Nothing
|
||||
setCompletionFunction (Just fn) = setCompletionEntryFunction (Just my_fn)
|
||||
where
|
||||
my_fn prefix = do
|
||||
s <- getLineBuffer
|
||||
p <- getPoint
|
||||
fn s prefix p
|
||||
Reference in New Issue
Block a user