Simon Peyton Jones pushed to branch wip/T26868 at Glasgow Haskell Compiler / GHC Commits: d5b4f775 by Simon Peyton Jones at 2026-02-20T07:00:27+00:00 Wibbles - - - - - 2 changed files: - compiler/GHC/Core.hs - compiler/GHC/Core/TyCo/Rep.hs Changes: ===================================== compiler/GHC/Core.hs ===================================== @@ -436,7 +436,7 @@ set includes: * The /deep/ free vars of the term in which we are substituting E.g when substituting [x :-> blah] into `e`, we must ensure that if we - clone a binder in `e`, we don't accidentally choose a new binder that + clone a binder in `e`, we don't accidentally choose a new binder that shadows a deep free var of `e`. For substitution on /types/ we don't need to use deep free variables. ===================================== compiler/GHC/Core/TyCo/Rep.hs ===================================== @@ -1983,7 +1983,7 @@ foldTyCo (TyCoFolder { tcf_view = view -- As per #23764, ordering is [arg, w, res] go_ty (TyConApp _ tys) = go_tys tys - go_ty (ForAllTy (Bndr tv vis) inner) + go_ty (ForAllTy (Bndr tv _) inner) = go_ty (varType tv) `mappend` tycobinder tv (go_ty inner) -- See Note [Use explicit recursion in foldTyCo] View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/d5b4f7751eb4910fdecdadfb3a8ee648... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/d5b4f7751eb4910fdecdadfb3a8ee648... You're receiving this email because of your account on gitlab.haskell.org.