diff options
author | Sebastian Graf <sgraf1337@gmail.com> | 2019-09-25 17:53:52 +0000 |
---|---|---|
committer | Sebastian Graf <sgraf1337@gmail.com> | 2019-10-01 10:24:32 +0000 |
commit | ee3ca2210f89e0a6257f2cb74264faf146a00222 (patch) | |
tree | 86e103007abf3e1d99d01ad919e218deaa52df05 | |
parent | be7dce045949fdccdfb79596ec5476a2f3d65a9a (diff) | |
download | haskell-wip/pmcheck-bot-cts.tar.gz |
mkOneConFull should generate strict fields for Newtypeswip/pmcheck-bot-cts
-rw-r--r-- | compiler/GHC/HsToCore/PmCheck.hs | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/compiler/GHC/HsToCore/PmCheck.hs b/compiler/GHC/HsToCore/PmCheck.hs index cdd8156462..d578e02ea3 100644 --- a/compiler/GHC/HsToCore/PmCheck.hs +++ b/compiler/GHC/HsToCore/PmCheck.hs @@ -1475,11 +1475,6 @@ dsPmWarn dflags ctx@(DsMatchContext kind loc) vars pm_result in hang (text "Patterns not matched:") 4 (vcat (take maxPatterns us) $$ dots maxPatterns us) - -- Print a type-annotated wildcard (for non-exhaustive `EmptyCase`s for - -- which we only know the type and have no inhabitants at hand) - warnEmptyCase ty = pprContext False ctx (text "are non-exhaustive") $ \_ -> - hang (text "Patterns not matched:") 4 (underscore <+> dcolon <+> ppr ty) - approx_msg = vcat [ hang (text "Pattern match checker ran into -fmax-pmcheck-models=" |