From 5a7d6e542d7fc0c01bec9163e4be732ac1c6d217 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 14 Nov 2003 12:36:23 +0000
Subject: New unicodings.

New unicodings.
Module with works.

Better compilation of old GF.
---
 src/GF/API/IOGrammar.hs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/GF/API')

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
-- 
cgit v1.2.3