No CoreLint warnings if -dno-debug-output is on

[ghc-hetmet.git] / compiler / coreSyn / CoreLint.lhs

diff --git a/compiler/coreSyn/CoreLint.lhs b/compiler/coreSyn/CoreLint.lhs
index 2cbe744..2747625 100644 (file)
--- a/compiler/coreSyn/CoreLint.lhs
+++ b/compiler/coreSyn/CoreLint.lhs
@@ -102,7 +102,7 @@ lintCoreBindings dflags _whoDunnit _binds
 lintCoreBindings dflags whoDunnit binds
   | isEmptyBag errs
   = do { showPass dflags ("Core Linted result of " ++ whoDunnit)
-       ; unless (isEmptyBag warns) $ printDump $
+       ; unless (isEmptyBag warns || opt_NoDebugOutput) $ printDump $
          (banner "warnings" $$ displayMessageBag warns)
        ; return () }