summaryrefslogtreecommitdiff
path: root/src/GF.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/GF.hs')
-rw-r--r--src/GF.hs8
1 files changed, 5 insertions, 3 deletions
diff --git a/src/GF.hs b/src/GF.hs
index 64c54eb1a..451a519a7 100644
--- a/src/GF.hs
+++ b/src/GF.hs
@@ -26,6 +26,7 @@ main = do
let (os,fs) = getOptions "-" xs
opt j = oElem j os
st0 = optInitShellState os
+ ifNotSil c = if oElem beSilent os then return () else c
case 0 of
_ | opt getHelp -> do
@@ -51,10 +52,11 @@ main = do
if opt beSilent then return () else putStrLnFlush "</gfbatch>"
return ()
_ -> do
- putStrLnFlush $ welcomeMsg
+
+ ifNotSil $ putStrLnFlush $ welcomeMsg
st <- useIOE st0 $
foldM (shellStateFromFiles os) st0 fs
- if null fs then return () else putCPU
+ if null fs then return () else (ifNotSil putCPU)
gfInteract (initHState st)
return ()
@@ -73,7 +75,7 @@ welcomeMsg =
"Welcome to " ++ authorMsg ++++ welcomeArch ++ "\n\nType 'h' for help."
authorMsg = unlines [
- "Grammatical Framework, Version 2.0",
+ "Grammatical Framework, Version 2.0+",
"Compiled " ++ today,
"Copyright (c)",
"Björn Bringert, Markus Forsberg, Thomas Hallgren, Harald Hammarström,",