diff options
| author | simonpj@microsoft.com <unknown> | 2009-11-11 08:09:57 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2009-11-11 08:09:57 +0000 |
| commit | c4ea6c7d0063be9323268ebffe6b9d0d6625b2e3 (patch) | |
| tree | 4fa822b7f24eb970b273181f50b4ebb8f4521d54 | |
| parent | 01b453a5c3608f52707ee55374ca50cb592f567d (diff) | |
| download | haskell-c4ea6c7d0063be9323268ebffe6b9d0d6625b2e3.tar.gz | |
No CoreLint warnings if -dno-debug-output is on
The Core Lint warnings are new. There's only one at the moment,
namely one to identify recursive INLINE things:
[RHS of $c>>_als :: forall s_afT a_alJ b_alK.
Cpr001_imp.StateTrans s_afT a_alJ
-> Cpr001_imp.StateTrans s_afT b_alK
-> Cpr001_imp.StateTrans s_afT b_alK]
INLINE binder is loop breaker: $c>>_als
This is definitely non-fatal, and typically gets unravelled after
another simplifier run anyway. So I'm suppressing such warnings
for the testsuite, when -dno-debug-output is on.
| -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 () } |