AlphaGitHub
Source/Packages

Compiler.Planning.Liveness

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

1,458 lines160 declarations54.8 KiBSHA-256 5734e8062a86
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 396–419

placementLifetimeList

Full file
396def placementLifetimeList =
397  (lambda unrestricted placements : (family Placements) .
398    (eliminate
399      Placements
400      (lambda unrestricted current : (family Placements) . (family Lifetimes))
401      placements
402      (branch PlacementsEnd . (constructor Lifetimes LifetimesEnd))
403      (branch
404        PlacementsNext
405        head
406        tail
407        ih_tail
408        .
409        (eliminate
410          Placement
411          (lambda unrestricted current : (family Placement) . (family Lifetimes))
412          head
413          (branch
414            PlacementValue
415            lifetime
416            offset
417            capacity
418            .
419            (constructor Lifetimes LifetimesNext lifetime ih_tail))))))

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.