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