diff options
| author | aarne <unknown> | 2003-11-14 12:36:23 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-11-14 12:36:23 +0000 |
| commit | 5a7d6e542d7fc0c01bec9163e4be732ac1c6d217 (patch) | |
| tree | 7e7899236393081209aa494b391d3409d087fcc3 /src/GF/Shell.hs | |
| parent | 37384dbe06913a0352d4459050c1382874a45a62 (diff) | |
New unicodings.
New unicodings.
Module with works.
Better compilation of old GF.
Diffstat (limited to 'src/GF/Shell.hs')
| -rw-r--r-- | src/GF/Shell.hs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/GF/Shell.hs b/src/GF/Shell.hs index 0444a0a33..2fd686601 100644 --- a/src/GF/Shell.hs +++ b/src/GF/Shell.hs @@ -139,9 +139,6 @@ execLine put (c@(co, os), arg, cs) (outps,st) = do execC :: CommandOpt -> ShellIO execC co@(comm, opts0) sa@((st,(h,_)),a) = case comm of - --- read old GF and write into files; no update of st yet - CImport file | oElem showOld opts -> useIOE sa $ batchCompileOld file >> return sa - CImport file -> useIOE sa $ do st1 <- shellStateFromFiles opts st file ioeIO $ changeState (const st1) sa --- \ ((_,h),a) -> ((st,h), a)) |