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-25 18:24:43 +0200 |
| commit | ec7fcfdda7f4655f4cc4399d1b3f4bc2543809db (patch) | |
| tree | 69302f7c789c0abb186a0c1c1c3bc8557e6b5c4d | |
| parent | d6fd2e3787802265586aef7d51db35e66ef2507a (diff) | |
| download | haskell-ec7fcfdda7f4655f4cc4399d1b3f4bc2543809db.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) } |