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 173–191

livenessErrorCodeBytes

Full file
173def livenessErrorCodeBytes =
174  (lambda unrestricted code : (family LivenessErrorCode) .
175    (eliminate
176      LivenessErrorCode
177      (lambda unrestricted current : (family LivenessErrorCode) . Bytes)
178      code
179      (branch LifetimeTensorDuplicate . b"ALPHA-GAIA-LIV-001")
180      (branch LifetimeIntervalInvalid . b"ALPHA-GAIA-LIV-002")
181      (branch LifetimeBytesZero . b"ALPHA-GAIA-LIV-003")
182      (branch LifetimeAlignmentInvalid . b"ALPHA-GAIA-LIV-004")
183      (branch PlanPeakExceedsArena . b"ALPHA-GAIA-LIV-005")
184      (branch PlacementMisaligned . b"ALPHA-GAIA-LIV-006")
185      (branch PlacementCapacityTooSmall . b"ALPHA-GAIA-LIV-007")
186      (branch PlacementRangeOverflow . b"ALPHA-GAIA-LIV-008")
187      (branch PlacementOutsideArena . b"ALPHA-GAIA-LIV-009")
188      (branch PlacementLiveCollision . b"ALPHA-GAIA-LIV-010")
189      (branch PlacementArithmeticOverflow . b"ALPHA-GAIA-LIV-011")
190      (branch PlacementArenaExhausted . b"ALPHA-GAIA-LIV-012")
191      (branch CompiledPlanRejected . b"ALPHA-GAIA-LIV-013")))

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.