Wolfgang Jeltsch pushed to branch wip/jeltsch/improve-closure-property-check at Glasgow Haskell Compiler / GHC Commits: 53be1a6d by Wolfgang Jeltsch at 2026-09-14T16:03:38+03:00 Improved and correct the doc comment of `checkHomeUnitsClosed` - - - - - 1 changed file: - compiler/GHC/Driver/Downsweep.hs Changes: ===================================== compiler/GHC/Driver/Downsweep.hs ===================================== @@ -942,9 +942,10 @@ rootSummariesParallel n_jobs hsc_env diag_wrapper msg get_summary = do -- | Checks whether the given 'UnitEnv' has the closure property. -- -- See the section “Closure Property” in @Note [Multiple Home Units]@ for the --- definition of the closure property an @Note [Home unit closure property --- check]@ below for a discussion of the algorithm used for this check, its --- justification, and a potential alternative. +-- definition of the closure property and +-- @Note [Home unit closure property check]@ below for a discussion of the +-- algorithm used for this check, its justification, and a potential +-- alternative. checkHomeUnitsClosed :: UnitEnv -> [DriverMessages] checkHomeUnitsClosed unit_env | null offenders = [] View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/53be1a6d2d8ffc541ef6b019f6cac8ec... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/53be1a6d2d8ffc541ef6b019f6cac8ec... You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications: https://gitlab.haskell.org/-/profile/notifications | Help: https://gitlab.haskell.org/help