From 4c99687f217ce258f821d55e68f5403233f6dea7 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 7 Nov 2003 14:54:44 +0000 Subject: Fixed treatment of predefined types (Int, String). Fixed treatment of predefined types (Int, String). Added treatment of new reserved words to reading old grammars. --- src/GF/Shell/SubShell.hs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src/GF/Shell/SubShell.hs') 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 --} -- cgit v1.2.3