AlphaGitHub
Source/Packages

Compiler.Planning.OrderedCombine

packages/compiler/planning/src/Compiler/Planning/OrderedCombine.alpha

832 lines26 declarations41.4 KiBSHA-256 69f52e43e720
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 51–54

combineDeliveryAdmitted

Full file
A delivery is admitted when its target, if any, is a leaf owner.
51def combineDeliveryAdmitted =
52  (lambda unrestricted delivery : (family CombineDelivery) .
53    (lambda unrestricted tree : (family OrderedCombineTree) .
54      (combineDeliveryReaches delivery tree)))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.