AlphaGitHub
Source/Packages

Compiler.Planning.VA

packages/compiler/planning/src/Compiler/Planning/VA.alpha

590 lines101 declarations22.4 KiBSHA-256 1df69a11644a
Download exact fileView at revisionf5034773ad4bb52133

def · lines 137–150

vaErrorCodeBytes

Full file
137def vaErrorCodeBytes =
138  (lambda unrestricted code : (family VAErrorCode) .
139    (eliminate
140      VAErrorCode
141      (lambda unrestricted current : (family VAErrorCode) . Bytes)
142      code
143      (branch VARequestZero . b"ALPHA-GAIA-VA-001")
144      (branch VAAllocatorBelowBase . b"ALPHA-GAIA-VA-002")
145      (branch VAAlignmentOverflow . b"ALPHA-GAIA-VA-003")
146      (branch VAAllocatorOverflow . b"ALPHA-GAIA-VA-004")
147      (branch VAReceiptStartMismatch . b"ALPHA-GAIA-VA-005")
148      (branch VAReceiptExtentMismatch . b"ALPHA-GAIA-VA-006")
149      (branch VANativeReservationRejected . b"ALPHA-GAIA-VA-007")
150      (branch VAHostFallbackObserved . b"ALPHA-GAIA-VA-008")))

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.