diff options
| author | aarne <unknown> | 2003-11-07 14:54:44 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-11-07 14:54:44 +0000 |
| commit | 4c99687f217ce258f821d55e68f5403233f6dea7 (patch) | |
| tree | 04e2d94654dd4ceb4c5e988f18f979594876c730 /src/GF/Shell/SubShell.hs | |
| parent | 6ae3322b373c52e59fb34360345d1c1e35049c5f (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/SubShell.hs')
| -rw-r--r-- | src/GF/Shell/SubShell.hs | 3 |
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 --} |
