From 43e9eb3a1a6da454fa3d015bfc0b860eb86f9212 Mon Sep 17 00:00:00 2001 From: bernardy Date: Mon, 15 Oct 2007 08:05:33 +0000 Subject: [PATCH] Slightly nicer output when reading old grammars --- src/GF/Compile/GetGrammar.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/GF/Compile/GetGrammar.hs b/src/GF/Compile/GetGrammar.hs index 019e2f3d2..d9afc9546 100644 --- a/src/GF/Compile/GetGrammar.hs +++ b/src/GF/Compile/GetGrammar.hs @@ -80,7 +80,7 @@ getOldGrammar opts file = do parseOldGrammarFiles :: FilePath -> IOE [A.TopDef] parseOldGrammarFiles file = do - putStrE $ "reading grammar of old format" +++ file + putStrLnE $ "reading grammar of old format" +++ file (_, g) <- getImports "" ([],[]) file return g -- now we can throw away includes where @@ -95,7 +95,7 @@ parseOldGrammarFiles file = do parseOldGrammar :: FilePath -> IOE ([FilePath],[A.TopDef]) parseOldGrammar file = do - putStrE $ "reading old file" +++ file + putStrLnE $ "reading old file" +++ file s <- ioeIO $ readFileIf file A.OldGr incl topdefs <- ioeErr $ pOldGrammar $ oldLexer $ fixNewlines s includes <- ioeErr $ transInclude incl