GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 11:42:49 -06:00
Code Issues Packages Projects Releases Wiki Activity

pgf-shell.hs: remove call to performGC and document the 'i' command

Browse Source
This commit is contained in:
hallgren
2015-04-17 13:34:41 +00:00
parent 3263968c79
commit 78a34bc52b
1 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/runtime/haskell-bind/examples/pgf-shell.hs
View File

@@ -1,11 +1,12 @@
-- | pgf-shell: A simple shell to illustrate the use of the Haskell binding -- | pgf-shell: A simple shell to illustrate the use of the Haskell binding
-- to the C implementation of the PGF run-time system. -- to the C implementation of the PGF run-time system.
-- --
-- The shell has 3 commands: -- The shell has 4 commands:
-- --
-- * parse: p <lang> <text> -- * parse: p <lang> <text>
-- * linearize: l <lang> <tree> -- * linearize: l <lang> <tree>
-- * translate: t <lang> <lang> <text> -- * translate: t <lang> <lang> <text>
-- * import: i <path to pgf>
import Control.Monad(forever) import Control.Monad(forever)
import Control.Monad.State(evalStateT,put,get,gets,liftIO) import Control.Monad.State(evalStateT,put,get,gets,liftIO)
@@ -15,7 +16,6 @@ import qualified Data.Map as M
import System.IO(hFlush,stdout) import System.IO(hFlush,stdout)
import System.Environment import System.Environment
import PGF2 import PGF2
import System.Mem(performGC)
import qualified Data.Map as Map import qualified Data.Map as Map
main = getPGF =<< getArgs main = getPGF =<< getArgs
@@ -25,8 +25,7 @@ getPGF _ = putStrLn "Usage: pgf-shell <path to pgf>"
pgfShell pgf = pgfShell pgf =
do putStrLn . unwords . M.keys $ languages pgf do putStrLn . unwords . M.keys $ languages pgf
flip evalStateT (pgf,[]) $ forever $ do liftIO performGC flip evalStateT (pgf,[]) $ forever $ do puts "> "; liftIO $ hFlush stdout
puts "> "; liftIO $ hFlush stdout
execute =<< liftIO readLn execute =<< liftIO readLn
execute cmd = execute cmd =