diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2021-11-03 18:26:12 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-11-12 21:21:27 -0500 |
| commit | 265ead8a7401e20d75ed4e476805508ea695f37f (patch) | |
| tree | 9b1adbd7476b2b7242c5cac8ba5f14b78135812a /compiler/GHC/IfaceToCore.hs | |
| parent | a57cc7548fc66a712f6f6cffdbda0a9c3c498829 (diff) | |
| download | haskell-265ead8a7401e20d75ed4e476805508ea695f37f.tar.gz | |
Improve redundant-constraints warning
Previously, we reported things wrong with
f :: (Eq a, Ord a) => a -> Bool
f x = x == x
saying that Eq a was redundant. This is fixed now, along with
some simplification in Note [Replacement vs keeping]. There's
a tiny bit of extra complexity in setImplicationStatus, but
it's explained in Note [Tracking redundant constraints].
Close #20602
Diffstat (limited to 'compiler/GHC/IfaceToCore.hs')
| -rw-r--r-- | compiler/GHC/IfaceToCore.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/IfaceToCore.hs b/compiler/GHC/IfaceToCore.hs index 0250078b62..a53f070e10 100644 --- a/compiler/GHC/IfaceToCore.hs +++ b/compiler/GHC/IfaceToCore.hs @@ -1766,7 +1766,7 @@ tcPragExpr is_compulsory toplvl name expr core_expr' <- tcIfaceExpr expr -- Check for type consistency in the unfolding - -- See Note [Linting Unfoldings from Interfaces] + -- See Note [Linting Unfoldings from Interfaces] in GHC.Core.Lint when (isTopLevel toplvl) $ whenGOptM Opt_DoCoreLinting $ do in_scope <- get_in_scope |