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 686–693

livenessFailureResult

Full file
686def livenessFailureResult =
687  (lambda unrestricted plan : (family MemoryPlan) .
688    (lambda unrestricted code : (family LivenessErrorCode) .
689      (constructor
690        LivenessValidationResult
691        LivenessValidationFailed
692        code
693        (livenessTelemetryFor plan zero (constructor LivenessOptionalError LivenessSomeError code)))))

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.