diff options
| -rw-r--r-- | compiler/coreSyn/CoreLint.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/coreSyn/CoreLint.lhs b/compiler/coreSyn/CoreLint.lhs index 2cbe7449af..2747625155 100644 --- 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 () } |