From 2c60a2d82a0d7b90924e7dbbcacf36afb8549d17 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 23 Sep 2004 14:41:42 +0000 Subject: Ints n --- src/GF.hs | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'src/GF.hs') 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 "" 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,", -- cgit v1.2.3