diff options
| author | aarne <unknown> | 2004-09-23 14:41:42 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-09-23 14:41:42 +0000 |
| commit | 2c60a2d82a0d7b90924e7dbbcacf36afb8549d17 (patch) | |
| tree | 0a04734e741c294cb9f58cfdcafa2ff2b55894dd /src/GF.hs | |
| parent | d5b4230d6dbee8c03eedf8d181dfa2badf1a954b (diff) | |
Ints n
Diffstat (limited to 'src/GF.hs')
| -rw-r--r-- | src/GF.hs | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -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,", |
