Simon Peyton Jones pushed to branch wip/T26255 at Glasgow Haskell Compiler / GHC Commits: 7477a4ab by Simon Peyton Jones at 2025-08-26T17:21:47+01:00 Wibble - - - - - 1 changed file: - compiler/GHC/Tc/Errors.hs Changes: ===================================== compiler/GHC/Tc/Errors.hs ===================================== @@ -558,10 +558,11 @@ reportWanteds ctxt tc_lvl wc@(WC { wc_simple = simples, wc_impl = implics -- wanted insoluble here; but do suppress inner insolubles -- if there's a *given* insoluble here (= inaccessible code) - -- Only now, if there are no errors, do we report suppressed ones - -- See Note [Suppressing confusing errors]. We don't need to update - -- the context further because of the whenNoErrs guard - ; whenNoErrs $ + -- If there are no other errors to report, report suppressed errors. + -- See Note [Suppressing confusing errors]. NB: with -fdefer-type-errors + -- we might have reported warnings only from `items0`, but we still want to + -- suppress the `suppressed_items`. + ; when (null items0) $ do { (_, more_leftovers) <- tryReporters ctxt_for_insols (report1++report2) suppressed_items -- ctxt_for_insols: the suppressed errors can be Int~Bool, which View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/7477a4ab24e6727634a129a031a29f78... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/7477a4ab24e6727634a129a031a29f78... You're receiving this email because of your account on gitlab.haskell.org.