Suppress dumpTcRn when -dno-debug-output is enabled.
authorEdward Z. Yang <ezyang@mit.edu>
Tue, 5 Apr 2011 16:38:51 +0000 (17:38 +0100)
committerEdward Z. Yang <ezyang@mit.edu>
Tue, 5 Apr 2011 16:41:56 +0000 (17:41 +0100)
Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

compiler/typecheck/TcRnMonad.lhs

index ad2405b..16ac13c 100644 (file)
@@ -429,7 +429,7 @@ traceOptTcRn flag doc = ifDOptM flag $ do
 dumpTcRn :: SDoc -> TcRn ()
 dumpTcRn doc = do { rdr_env <- getGlobalRdrEnv 
                   ; dflags <- getDOpts 
-                  ; liftIO (printForUser stderr (mkPrintUnqualified dflags rdr_env) doc) }
+                  ; when (not opt_NoDebugOutput) $ liftIO (printForUser stderr (mkPrintUnqualified dflags rdr_env) doc) }
 
 debugDumpTcRn :: SDoc -> TcRn ()
 debugDumpTcRn doc | opt_NoDebugOutput = return ()