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
2 changed files:
Changes:
| ... | ... | @@ -1836,7 +1836,7 @@ newPolyBndrs dest_lvl |
| 1836 | 1836 | ; return (env', new_bndrs) }
|
| 1837 | 1837 | where
|
| 1838 | 1838 | -- See Note [le_subst and le_env]
|
| 1839 | - add_subst env (v, v') = extendIdSubst env v (mkVarApps (Var v') abs_vars)
|
|
| 1839 | + add_subst env (v, v') = extendIdSubst env v (mkAbsVarApps (Var v') abs_vars)
|
|
| 1840 | 1840 | add_id env (v, v') = extendVarEnv env v ((v':abs_vars), mkAbsVarApps (Var v') abs_vars)
|
| 1841 | 1841 | |
| 1842 | 1842 | mk_poly_bndr bndr uniq
|
| ... | ... | @@ -3116,7 +3116,7 @@ type AbsVars = [AbsVar] |
| 3116 | 3116 | type TaggedAbsVars t = [TaggedBndr t]
|
| 3117 | 3117 | |
| 3118 | 3118 | mkPolyAbsLams :: (b -> AbsVar, Var -> b -> b)
|
| 3119 | - -> [b] -> Expr b -> Expr b
|
|
| 3119 | + -> [b] -> Expr b -> Expr b
|
|
| 3120 | 3120 | -- `mkPolyAbsLams` is polymorphic in (get,set) so that we can
|
| 3121 | 3121 | -- use it for both CoreExpr and LevelledExpr
|
| 3122 | 3122 | {-# INLINE mkPolyAbsLams #-}
|