AlphaGitHub
Source/Packages

Runtime.NativePhysicalImage

packages/execution/src/Runtime/NativePhysicalImage.alpha

1,752 lines134 declarations75.3 KiBSHA-256 b192ff97eba3
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 125–149

nativePhysicalImageErrorCodeBytes

Full file
125def nativePhysicalImageErrorCodeBytes =
126  (lambda unrestricted code : (family NativePhysicalImageErrorCode) .
127    (eliminate
128      NativePhysicalImageErrorCode
129      (lambda unrestricted current : (family NativePhysicalImageErrorCode) . Bytes)
130      code
131      (branch
132        NativePhysicalImageProgramRejected
133        programError
134        .
135        (bytes-append
136          b"ALPHA-PHYIMG-001-"
137          (nativePhysicalErrorCodeBytes programError)))
138      (branch
139        NativePhysicalImageExtentOverflow
140        .
141        b"ALPHA-PHYIMG-002")
142      (branch
143        NativePhysicalImageCommandErrorIdentityEmpty
144        .
145        b"ALPHA-PHYIMG-003")
146      (branch
147        NativePhysicalImageCommandCountMismatch
148        .
149        b"ALPHA-PHYIMG-004")))

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.