diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2016-07-26 11:44:53 +0200 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2016-08-18 09:27:41 -0400 |
| commit | d9cb26677b03f2a3d52182f4a5d77ae9d2197f44 (patch) | |
| tree | f2528671fad389ea8a0a496122a9b7eeed8eb349 | |
| parent | ccb9cb4fb0ae2f8bf53a5f18fa6a0ff7d34b22f0 (diff) | |
| download | haskell-d9cb26677b03f2a3d52182f4a5d77ae9d2197f44.tar.gz | |
Degrade "case scrutinee not known to diverge for sure" Lint error to warning
as proposed in #12435, as it easily gets in the way of development when
it reports false positives.
| -rw-r--r-- | compiler/coreSyn/CoreLint.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/coreSyn/CoreLint.hs b/compiler/coreSyn/CoreLint.hs index 97005222f2..74f8a618a7 100644 --- a/compiler/coreSyn/CoreLint.hs +++ b/compiler/coreSyn/CoreLint.hs @@ -715,7 +715,7 @@ lintCoreExpr e@(Case scrut var alt_ty alts) = ; when (null alts) $ do { checkL (not (exprIsHNF scrut)) (text "No alternatives for a case scrutinee in head-normal form:" <+> ppr scrut) - ; checkL scrut_diverges + ; checkWarnL scrut_diverges (text "No alternatives for a case scrutinee not known to diverge for sure:" <+> ppr scrut) } |