Simon Peyton Jones pushed to branch wip/T20264 at Glasgow Haskell Compiler / GHC Commits: a7763a74 by Simon Peyton Jones at 2025-07-23T00:00:32+01:00 Add missing mkAbsCoreApps ...which caused bad Lint errors - - - - - 2 changed files: - compiler/GHC/Core/Opt/SetLevels.hs - compiler/GHC/Core/Utils.hs Changes: ===================================== compiler/GHC/Core/Opt/SetLevels.hs ===================================== @@ -1836,7 +1836,7 @@ newPolyBndrs dest_lvl ; return (env', new_bndrs) } where -- See Note [le_subst and le_env] - add_subst env (v, v') = extendIdSubst env v (mkVarApps (Var v') abs_vars) + add_subst env (v, v') = extendIdSubst env v (mkAbsVarApps (Var v') abs_vars) add_id env (v, v') = extendVarEnv env v ((v':abs_vars), mkAbsVarApps (Var v') abs_vars) mk_poly_bndr bndr uniq ===================================== compiler/GHC/Core/Utils.hs ===================================== @@ -3116,7 +3116,7 @@ type AbsVars = [AbsVar] type TaggedAbsVars t = [TaggedBndr t] mkPolyAbsLams :: (b -> AbsVar, Var -> b -> b) - -> [b] -> Expr b -> Expr b + -> [b] -> Expr b -> Expr b -- `mkPolyAbsLams` is polymorphic in (get,set) so that we can -- use it for both CoreExpr and LevelledExpr {-# INLINE mkPolyAbsLams #-} View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a7763a744c0b28579661bfc49340258d... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a7763a744c0b28579661bfc49340258d... You're receiving this email because of your account on gitlab.haskell.org.