Wolfgang Jeltsch pushed to branch wip/jeltsch/improve-closure-property-check at Glasgow Haskell Compiler / GHC Commits: 515774d0 by Wolfgang Jeltsch at 2026-09-16T20:10:18+03:00 Improve the definition of the closure property one more - - - - - 1 changed file: - compiler/GHC/Unit/Env.hs Changes: ===================================== compiler/GHC/Unit/Env.hs ===================================== @@ -443,8 +443,12 @@ The flow: Closure Property ---------------- -A unit environment must have the closure property, which means that a home unit -must not directly or indirectly depend on an external unit that directly or +A unit environment must have the closure property: + + No used external unit depends on a home unit. + +More concretely, a unit environment has the closure property exactly if no home +unit directly or indirectly depends on an external unit that directly or indirectly depends on a home unit. 'GHC.Driver.Downsweep.checkHomeUnitsClosed' checks whether a given unit environment indeed has this property. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/515774d0e80951798ef1a5d35bcd88fb... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/515774d0e80951798ef1a5d35bcd88fb... 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