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 1315–1329

compileMemoryPlanFail

Full file
1315def compileMemoryPlanFail =
1316  (lambda unrestricted lifetimeCount : Nat .
1317    (lambda unrestricted arenaBytes : ByteCount .
1318      (lambda unrestricted state : (family LivenessPlacementState) .
1319        (lambda unrestricted code : (family LivenessErrorCode) .
1320          (constructor
1321            MemoryPlanCompileResult
1322            MemoryPlanCompileFailed
1323            code
1324            (livenessCompileTelemetryFor
1325              lifetimeCount
1326              arenaBytes
1327              state
1328              zero
1329              (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.