[Git][ghc/ghc][wip/spj-unf-size] Wibbles

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/spj-unf-size at Glasgow Haskell Compiler / GHC


Commits:
2aa920a5 by Simon Peyton Jones at 2024-01-13T23:36:28+00:00
Wibbles

- - - - -


3 changed files:

- compiler/GHC/Core/Opt/Simplify/Iteration.hs
- compiler/GHC/Core/Unfold.hs
- compiler/GHC/Types/Id/Make.hs


Changes:

=====================================
compiler/GHC/Core/Opt/Simplify/Iteration.hs
=====================================
@@ -1755,8 +1755,7 @@ simpl_lam env bndr body (ApplyToTy { sc_arg_ty = arg_ty, sc_cont = cont })
 
 -- Coercion beta-reduction
 simpl_lam env bndr body (ApplyToVal { sc_arg = Coercion arg_co, sc_env = arg_se
-                                    , sc_cont = cont, sc_dup = dup
-                                    , sc_hole_ty = fun_ty})
+                                    , sc_cont = cont })
   = assertPpr (isCoVar bndr) (ppr bndr) $
     do { tick (BetaReduction bndr)
        ; let arg_co' = substCo (arg_se `setInScopeFromE` env) arg_co


=====================================
compiler/GHC/Core/Unfold.hs
=====================================
@@ -794,7 +794,6 @@ jumpSize val_args = vanillaCallSize val_args
   -- better solution?
 
 classOpAppET :: UnfoldingOpts -> ETVars -> Id -> [CoreExpr] -> ExprTree
--- See Note [Conlike is interesting]
 classOpAppET _ _ _ []
   = etZero
 classOpAppET opts vs fn val_args


=====================================
compiler/GHC/Types/Id/Make.hs
=====================================
@@ -1021,7 +1021,6 @@ until the final simplifier phase; see Note [Activation for data
 constructor wrappers].
 
 For further reading, see:
-  * Note [Conlike is interesting] in GHC.Core.Op.Simplify.Utils
   * Note [Lone variables] in GHC.Core.Unfold
   * Note [exprIsConApp_maybe on data constructors with wrappers]
     in GHC.Core.SimpleOpt



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/2aa920a5e6d9c947e76240daa1ad731209c22ba3

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/2aa920a5e6d9c947e76240daa1ad731209c22ba3
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20240113/0b23bd74/attachment-0001.html>