diff options
Diffstat (limited to 'src/GF/Devel/Compile/Compile.hs')
| -rw-r--r-- | src/GF/Devel/Compile/Compile.hs | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/GF/Devel/Compile/Compile.hs b/src/GF/Devel/Compile/Compile.hs index b636f0fa7..e0de193c1 100644 --- a/src/GF/Devel/Compile/Compile.hs +++ b/src/GF/Devel/Compile/Compile.hs @@ -34,9 +34,12 @@ batchCompile opts files = do -- to output an intermediate stage intermOut :: Options -> Option -> String -> IOE () -intermOut opts opt s = if oElem opt opts then - ioeIO (putStrLn ("\n\n--#" +++ prOpt opt) >> putStrLn s) - else return () +intermOut opts opt s = + if oElem opt opts || oElem (iOpt "show_all") opts + then + ioeIO (putStrLn ("\n\n--#" +++ prOpt opt) >> putStrLn s) + else + return () prMod :: SourceModule -> String prMod = prModule |
