Module region

Source

Structs§

BoundRegion
EarlyParamRegion
LateParamRegion
The parameter representation of late-bound function parameters, “some region at least as big as the scope fr.scope”.
Region
Use this rather than RegionKind, whenever possible.
RegionVid
A region variable ID.

Enums§

BoundRegionKind
LateParamRegionKind
When liberating bound regions, we map their BoundRegionKind to this as we need to track the index of anonymous regions. We otherwise end up liberating multiple bound regions to the same late-bound region.

Type Aliases§

RegionKind