109def nativePhysicalImageErrorCodeBytes =
110 (lambda unrestricted code : (family NativePhysicalImageErrorCode) .
111 (eliminate
112 NativePhysicalImageErrorCode
113 (lambda unrestricted current : (family NativePhysicalImageErrorCode) . Bytes)
114 code
115 (branch
116 NativePhysicalImageProgramRejected
117 programError
118 .
119 (bytes-append
120 b"ALPHA-PHYIMG-001-"
121 (nativePhysicalErrorCodeBytes programError)))
122 (branch
123 NativePhysicalImageExtentOverflow
124 .
125 b"ALPHA-PHYIMG-002")
126 (branch
127 NativePhysicalImageCommandErrorIdentityEmpty
128 .
129 b"ALPHA-PHYIMG-003")
130 (branch
131 NativePhysicalImageCommandCountMismatch
132 .
133 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.