summaryrefslogtreecommitdiff
path: root/src/GF/Shell
diff options
context:
space:
mode:
authoraarne <unknown>2003-11-07 14:54:44 +0000
committeraarne <unknown>2003-11-07 14:54:44 +0000
commit4c99687f217ce258f821d55e68f5403233f6dea7 (patch)
tree04e2d94654dd4ceb4c5e988f18f979594876c730 /src/GF/Shell
parent6ae3322b373c52e59fb34360345d1c1e35049c5f (diff)
Fixed treatment of predefined types (Int, String).
Fixed treatment of predefined types (Int, String). Added treatment of new reserved words to reading old grammars.
Diffstat (limited to 'src/GF/Shell')
-rw-r--r--src/GF/Shell/SubShell.hs3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/GF/Shell/SubShell.hs b/src/GF/Shell/SubShell.hs
index c910d3dd0..1b8a647df 100644
--- a/src/GF/Shell/SubShell.hs
+++ b/src/GF/Shell/SubShell.hs
@@ -21,7 +21,7 @@ editSession opts st
myUniFont = "-mutt-clearlyu-medium-r-normal--0-0-100-100-p-0-iso10646-1"
mkOptFont = id
-{- ----
+
translateSession :: Options -> ShellState -> IO ()
translateSession opts st = do
let grs = allStateGrammars st
@@ -40,4 +40,3 @@ translateLoop opts trans = do
if s == "." then return () else do
putStrLnFlush $ trans s
loopLine
--}