Simon Peyton Jones pushed to branch wip/T24464 at Glasgow Haskell Compiler / GHC Commits: ecbcac00 by Simon Peyton Jones at 2026-01-16T16:31:51+00:00 Wibble - - - - - 1 changed file: - compiler/GHC/Tc/Utils/Unify.hs Changes: ===================================== compiler/GHC/Tc/Utils/Unify.hs ===================================== @@ -582,7 +582,6 @@ implicationNeeded skol_info skol_tvs given alwaysBuildImplication :: SkolemInfoAnon -> Bool -- See Note [When to build an implication] -alwaysBuildImplication (SigSkol _ _ _) = True alwaysBuildImplication _ = False {- Commmented out for now while I figure out about error messages. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/ecbcac003811a97e527481f7ef657505... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/ecbcac003811a97e527481f7ef657505... You're receiving this email because of your account on gitlab.haskell.org.