From dd742db0e091bd9e9bd235b047a3e1cfb8c592d0 Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Fri, 3 Mar 2023 19:47:49 +0000 Subject: Wibble --- compiler/GHC/Core/Opt/Simplify/Utils.hs | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/compiler/GHC/Core/Opt/Simplify/Utils.hs b/compiler/GHC/Core/Opt/Simplify/Utils.hs index b34493ecf9..93ee2d7984 100644 --- a/compiler/GHC/Core/Opt/Simplify/Utils.hs +++ b/compiler/GHC/Core/Opt/Simplify/Utils.hs @@ -1859,8 +1859,7 @@ tryEtaExpandRhs :: SimplEnv -> BindContext -> OutId -> OutExpr -> SimplM (ArityType, OutExpr) -- See Note [Eta-expanding at let bindings] tryEtaExpandRhs env bind_cxt bndr rhs - | pprTrace "tryeta" (ppr bndr $$ ppr do_eta_expand $$ ppr (seEtaExpand env) $$ ppr (wantEtaExpansion rhs)) $ - do_eta_expand -- If the current manifest arity isn't enough + | do_eta_expand -- If the current manifest arity isn't enough -- (never true for join points) , seEtaExpand env -- and eta-expansion is on , wantEtaExpansion rhs @@ -1894,8 +1893,7 @@ wantEtaExpansion e = go e [] go (Lam b e) [] | isTyVar b = go e [] | otherwise = True - go (Var f) args = pprTrace "wantEtaExpansion" (ppr f $$ ppr args $$ ppr (isInlineUnfolding (idUnfolding f)) $$ ppr (any interesting args)) $ - isInlineUnfolding (idUnfolding f) + go (Var f) args = isInlineUnfolding (idUnfolding f) && any interesting args go _ _ = True -- cgit v1.2.1