From a77519ba1045d23a7bb8ea1c56cc90518e9fedb9 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Wed, 16 Jun 2004 14:49:50 +0000
Subject: bug fixes ; command so ; reintroduce batch mode

---
 src/GF/API/IOGrammar.hs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/GF/API')

diff --git a/src/GF/API/IOGrammar.hs b/src/GF/API/IOGrammar.hs
index 7d0f0f15f..73fb0b438 100644
--- a/src/GF/API/IOGrammar.hs
+++ b/src/GF/API/IOGrammar.hs
@@ -55,3 +55,8 @@ shellStateFromFiles opts st file = case fileSuffix file of
      grts <- compileModule osb st file
      ioeErr $ updateShellState opts' st grts
      --- liftM (changeModTimes rts) $ grammar2shellState opts gr
+
+getShellStateFromFiles :: Options -> FilePath -> IO ShellState
+getShellStateFromFiles os = 
+  useIOE emptyShellState . 
+  shellStateFromFiles os emptyShellState
-- 
cgit v1.2.3