diff options
Diffstat (limited to 'src/GF/API/IOGrammar.hs')
| -rw-r--r-- | src/GF/API/IOGrammar.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/GF/API/IOGrammar.hs b/src/GF/API/IOGrammar.hs index a00ef18a6..9732c6ea8 100644 --- a/src/GF/API/IOGrammar.hs +++ b/src/GF/API/IOGrammar.hs @@ -36,7 +36,9 @@ string2annotTree gr m = annotate gr . string2absTerm (prt m) ---- prt shellStateFromFiles :: Options -> ShellState -> FilePath -> IOE ShellState shellStateFromFiles opts st file = do - let osb = addOptions (options [beVerbose, emitCode]) opts --- + let osb = if oElem showOld opts + then addOptions (options [beVerbose]) opts -- for old, no emit + else addOptions (options [beVerbose, emitCode]) opts -- for new, do grts <- compileModule osb st file ioeErr $ updateShellState opts st grts --- liftM (changeModTimes rts) $ grammar2shellState opts gr |