From 4ca5d0b507906e0f352217899776ca0f4f37cd29 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 14 Mar 2005 16:40:08 +0000 Subject: swadesh fixes; bug fix in i -old --- src/GF/API/IOGrammar.hs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'src/GF/API') diff --git a/src/GF/API/IOGrammar.hs b/src/GF/API/IOGrammar.hs index c2c2628ba..8a521cc67 100644 --- a/src/GF/API/IOGrammar.hs +++ b/src/GF/API/IOGrammar.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/03/08 18:08:58 $ +-- > CVS $Date: 2005/03/14 17:40:10 $ -- > CVS $Author: aarne $ --- > CVS $Revision: 1.15 $ +-- > CVS $Revision: 1.16 $ -- -- for reading grammars and terms from strings and files ----------------------------------------------------------------------------- @@ -67,7 +67,8 @@ shellStateFromFiles opts st file = case fileSuffix file of else addOptions (options [emitCode]) opts' grts <- compileModule osb st file let top = identC $ justModuleName file - ioeErr $ updateShellState opts' (Just top) st grts + mtop = if oElem showOld opts' then Nothing else Just top + ioeErr $ updateShellState opts' mtop st grts --- liftM (changeModTimes rts) $ grammar2shellState opts gr getShellStateFromFiles :: Options -> FilePath -> IO ShellState -- cgit v1.2.3