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 906–921

placementsReverseOnto

Full file
906def placementsReverseOnto =
907  (lambda unrestricted input : (family Placements) .
908    (eliminate
909      Placements
910      (lambda unrestricted current : (family Placements) .
911        (pi unrestricted output : (family Placements) . (family Placements)))
912      input
913      (branch PlacementsEnd . (lambda unrestricted output : (family Placements) . output))
914      (branch
915        PlacementsNext
916        head
917        tail
918        ih_tail
919        .
920        (lambda unrestricted output : (family Placements) .
921          (ih_tail (constructor Placements PlacementsNext head output))))))

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.