sheaf pushed to branch wip/andreask/ticked_joins at Glasgow Haskell Compiler / GHC Commits: e3242e37 by sheaf at 2026-01-27T10:34:13+01:00 simplRec - - - - - 1 changed file: - compiler/GHC/Core/Opt/Simplify/Iteration.hs Changes: ===================================== compiler/GHC/Core/Opt/Simplify/Iteration.hs ===================================== @@ -2077,7 +2077,7 @@ simplNonRecJoinPoint env bndr rhs body cont -- and wrap wrap_cont around the whole thing ; let (mult, res_ty) -- SLD TODO - | Just QuasiJoinPoint <- occInfoJoinPointType_maybe (idOccInfo bndr) + | Just QuasiJoinPoint <- joinId_maybe bndr = (idMult bndr, peelJoinResTy (idJoinArity bndr) $ substTy env (idType bndr)) | otherwise = (contHoleScaling cont, contResultType cont) @@ -2102,7 +2102,7 @@ simplRecJoinPoint env pairs body cont (mult, res_ty) -- SLD TODO | [b] <- bndrs - , Just QuasiJoinPoint <- occInfoJoinPointType_maybe (idOccInfo b) + , Just QuasiJoinPoint <- joinId_maybe b = (idMult b, peelJoinResTy (idJoinArity b) $ substTy env (idType b)) | otherwise = (contHoleScaling cont, contResultType cont) View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/e3242e3706608000c4b6f79eff6c947f... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/e3242e3706608000c4b6f79eff6c947f... You're receiving this email because of your account on gitlab.haskell.org.