Wolfgang Jeltsch pushed to branch wip/jeltsch/improve-closure-property-check at Glasgow Haskell Compiler / GHC Commits: bbeff40d by Wolfgang Jeltsch at 2026-09-15T20:44:07+03:00 Improve the definition of the closure property - - - - - 1 changed file: - compiler/GHC/Unit/Env.hs Changes: ===================================== compiler/GHC/Unit/Env.hs ===================================== @@ -443,11 +443,10 @@ The flow: Closure Property ---------------- -A unit environment must have the closure property, which means that, whenever -some units /h/₁ and /h/₂ have been loaded as home units, /h/₁ does not directly -or indirectly depend on an external unit that directly or indirectly depends -on /h/₂. 'GHC.Driver.Downsweep.checkHomeUnitsClosed' checks whether a given unit -environment indeed has this 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 +indirectly depends on a home unit. 'GHC.Driver.Downsweep.checkHomeUnitsClosed' +checks whether a given unit environment indeed has this property. Offsetting Paths ---------------- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/bbeff40da6d01f69a2741e9997e236e9... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/bbeff40da6d01f69a2741e9997e236e9... 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