Andreas Klebinger pushed to branch wip/andreask/spec_tyfams at Glasgow Haskell Compiler / GHC Commits: 6e9567ff by Andreas Klebinger at 2025-04-26T13:56:37+02:00 use inscope set - - - - - 1 changed file: - compiler/GHC/Core/Opt/Specialise.hs Changes: ===================================== compiler/GHC/Core/Opt/Specialise.hs ===================================== @@ -1282,7 +1282,7 @@ specCase :: SpecEnv specCase env scrut' case_bndr [Alt con args rhs] | -- See Note [Floating dictionaries out of cases] -- interestingDict scrut' (idType case_bndr) - interestingDict (ISE emptyInScopeSet realIdUnfolding) scrut' + interestingDict (ISE (substInScopeSet $ se_subst env) realIdUnfolding) scrut' , not (isDeadBinder case_bndr && null sc_args') = do { case_bndr_flt :| sc_args_flt <- mapM clone_me (case_bndr' :| sc_args') @@ -3067,7 +3067,7 @@ mkCallUDs' env f args -- on this argument; if so, SpecDict, if not UnspecArg mk_spec_arg arg (Anon _pred af) | isInvisibleFunArg af - , interestingDict (ISE emptyInScopeSet realIdUnfolding) arg + , interestingDict (ISE (substInScopeSet $ se_subst env) realIdUnfolding) arg -- , interestingDict arg (scaledThing pred) -- See Note [Interesting dictionary arguments] = SpecDict arg View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/6e9567ffa7a2a32ee68ce8a50e698662... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/6e9567ffa7a2a32ee68ce8a50e698662... You're receiving this email because of your account on gitlab.haskell.org.