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
1 changed file:
Changes:
| ... | ... | @@ -443,8 +443,12 @@ The flow: |
| 443 | 443 | Closure Property
|
| 444 | 444 | ----------------
|
| 445 | 445 | |
| 446 | -A unit environment must have the closure property, which means that a home unit
|
|
| 447 | -must not directly or indirectly depend on an external unit that directly or
|
|
| 446 | +A unit environment must have the closure property:
|
|
| 447 | + |
|
| 448 | + No used external unit depends on a home unit.
|
|
| 449 | + |
|
| 450 | +More concretely, a unit environment has the closure property exactly if no home
|
|
| 451 | +unit directly or indirectly depends on an external unit that directly or
|
|
| 448 | 452 | indirectly depends on a home unit. 'GHC.Driver.Downsweep.checkHomeUnitsClosed'
|
| 449 | 453 | checks whether a given unit environment indeed has this property.
|
| 450 | 454 |