summaryrefslogtreecommitdiff
path: root/src/GF.hs
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-10-01 16:01:51 +0000
committeraarne <aarne@cs.chalmers.se>2008-10-01 16:01:51 +0000
commit429092ac6aa1374a468b36904b4c2c668d892c54 (patch)
tree73d56e3a233b80b8e25a80b5b518802590603718 /src/GF.hs
parent307042a6a1863854920da7eaae6fbc588457221c (diff)
added mode 'gf --run' for running silently a script ; made quizzes handle character encoding correctly ; for this end, collected coding functions in GF.Text.Coding
Diffstat (limited to 'src/GF.hs')
-rw-r--r--src/GF.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF.hs b/src/GF.hs
index 5b1776987..de288df10 100644
--- a/src/GF.hs
+++ b/src/GF.hs
@@ -37,5 +37,6 @@ mainOpts opts files =
ModeVersion -> putStrLn $ "Grammatical Framework (GF) version " ++ showVersion version
ModeHelp -> putStrLn helpMessage
ModeInteractive -> mainGFI opts files
+ ModeRun -> mainRunGFI opts files
ModeCompiler -> dieIOE (mainGFC opts files)