summaryrefslogtreecommitdiff
path: root/src/GF.hs
diff options
context:
space:
mode:
authoraarne <unknown>2005-06-02 09:23:52 +0000
committeraarne <unknown>2005-06-02 09:23:52 +0000
commita38a894481aff1b658b1d86409a1eaa59c737f2e (patch)
tree7f955c733808000e1a20af013a1aa63bc11a1bbd /src/GF.hs
parentd1ce9df4643af5f27972771ad6baf4d7bc81d369 (diff)
lin rules by parsing
Diffstat (limited to 'src/GF.hs')
-rw-r--r--src/GF.hs19
1 files changed, 12 insertions, 7 deletions
diff --git a/src/GF.hs b/src/GF.hs
index df394709d..5cd474f1f 100644
--- a/src/GF.hs
+++ b/src/GF.hs
@@ -5,9 +5,9 @@
-- Stability : (stability)
-- Portability : (portability)
--
--- > CVS $Date: 2005/05/12 10:03:33 $
+-- > CVS $Date: 2005/06/02 10:23:52 $
-- > CVS $Author: aarne $
--- > CVS $Revision: 1.24 $
+-- > CVS $Revision: 1.25 $
--
-- The Main module of GF program.
-----------------------------------------------------------------------------
@@ -20,6 +20,7 @@ import GF.Infra.UseIO
import GF.Infra.Option
import GF.API.IOGrammar
import GF.Compile.ShellState
+import GF.Compile.MkConcrete
import GF.Shell
import GF.Shell.SubShell
import GF.Shell.ShellCommands
@@ -58,6 +59,9 @@ main = do
[f] -> batchCompile os f
_ -> putStrLnFlush "expecting exactly one gf file to compile"
+ _ | opt makeConcrete -> do
+ mapM_ mkConcrete fs
+
_ | opt doBatch -> do
if opt beSilent then return () else putStrLnFlush "<gfbatch>"
st <- useIOE st0 $
@@ -77,11 +81,12 @@ main = do
helpMsg = unlines [
"Usage: gf <option>* <file>*",
"Options:",
- " -make batch-compile files",
- " -noemit do not emit code when compiling",
- " -v be verbose when compiling",
- " -batch structure session by XML tags (use > to send into a file)",
- " -help show this message",
+ " -make batch-compile files",
+ " -noemit do not emit code when compiling",
+ " -v be verbose when compiling",
+ " -batch structure session by XML tags (use > to send into a file)",
+ " -makeconcrete batch-compile .gfp file to concrete syntax using parser",
+ " -help show this message",
"To use the GUI: jgf <option>* <file>*"
]