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 521–535

placementInvalidCount

Full file
521def placementInvalidCount =
522  (lambda unrestricted arenaBytes : ByteCount .
523    (lambda unrestricted placements : (family Placements) .
524      (eliminate
525        Placements
526        (lambda unrestricted current : (family Placements) . Nat)
527        placements
528        (branch PlacementsEnd . zero)
529        (branch
530          PlacementsNext
531          head
532          tail
533          ih_tail
534          .
535          (naturalAdd (naturalFlagNot (placementIsValid arenaBytes head)) 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.