Simon Peyton Jones pushed to branch wip/andreask/spec_tyfams at Glasgow Haskell Compiler / GHC Commits: 279442ed by Simon Peyton Jones at 2025-04-26T23:07:09+01:00 Rmoved accidentally committed traces and add missing import - - - - - 1 changed file: - compiler/GHC/Core/Opt/Specialise.hs Changes: ===================================== compiler/GHC/Core/Opt/Specialise.hs ===================================== @@ -17,6 +17,7 @@ import GHC.Core.Type hiding( substTy, substCo, extendTvSubst, zapSubst ) -- import GHC.Core.Multiplicity import GHC.Core.SimpleOpt( defaultSimpleOpts, simpleOptExprWith, exprIsConApp_maybe ) import GHC.Core.Predicate +import GHC.Core.Class( classMethods ) import GHC.Core.Coercion( Coercion ) import GHC.Core.Opt.Monad import qualified GHC.Core.Subst as Core @@ -1646,10 +1647,10 @@ specCalls spec_imp env existing_rules calls_for_me fn rhs -- See Note [Inline specialisations] for why we do not -- switch off specialisation for inline functions - = pprTrace "specCalls: some" (vcat - [ text "function" <+> ppr fn - , text "calls:" <+> ppr calls_for_me - , text "subst" <+> ppr (se_subst env) ]) $ + = -- pprTrace "specCalls: some" (vcat + -- [ text "function" <+> ppr fn + -- , text "calls:" <+> ppr calls_for_me + -- , text "subst" <+> ppr (se_subst env) ]) $ foldlM spec_call ([], [], emptyUDs) calls_for_me | otherwise -- No calls or RHS doesn't fit our preconceptions @@ -1705,7 +1706,7 @@ specCalls spec_imp env existing_rules calls_for_me fn rhs , rule_bndrs, rule_lhs_args , spec_bndrs1, dx_binds, spec_args) <- specHeader env rhs_bndrs all_call_args - ; when True $ pprTrace "spec_call" (vcat + ; when False $ pprTrace "spec_call" (vcat [ text "fun: " <+> ppr fn , text "call info: " <+> ppr _ci , text "useful: " <+> ppr useful @@ -3034,7 +3035,7 @@ mkCallUDs' :: SpecEnv -> Id -> [OutExpr] -> UsageDetails mkCallUDs' env f args | wantCallsFor env f -- We want it, and... , not (null ci_key) -- this call site has a useful specialisation - = pprTrace "mkCallUDs: keeping" _trace_doc + = -- pprTrace "mkCallUDs: keeping" _trace_doc singleCall env f ci_key | otherwise -- See also Note [Specialisations already covered] View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/279442edcad54e8b5b23240c0354c871... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/279442edcad54e8b5b23240c0354c871... You're receiving this email because of your account on gitlab.haskell.org.