80def nativePhysicalNativeELFErrorCodeBytes =
81 (lambda unrestricted code : (family NativePhysicalNativeELFErrorCode) .
82 (eliminate
83 NativePhysicalNativeELFErrorCode
84 (lambda unrestricted current : (family NativePhysicalNativeELFErrorCode) . Bytes)
85 code
86 (branch
87 NativePhysicalNativeELFImageGenerationFailed
88 imageError
89 .
90 (bytes-append b"ALPHA-NELF-001-" (nativePhysicalImageErrorCodeBytes imageError)))
91 (branch
92 NativePhysicalNativeELFDuplicateLabel
93 labelName
94 .
95 (bytes-append b"ALPHA-NELF-002-" labelName))
96 (branch NativePhysicalNativeELFAssemblyOffsetOverflow . b"ALPHA-NELF-003")
97 (branch
98 NativePhysicalNativeELFMissingLabel
99 labelName
100 .
101 (bytes-append b"ALPHA-NELF-004-" labelName))
102 (branch
103 NativePhysicalNativeELFDisplacementOutOfRange
104 labelName
105 .
106 (bytes-append b"ALPHA-NELF-005-" labelName))))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.