49def nativeMemoryRoutineErrorCodeBytes =
50 (lambda unrestricted code : (family NativeMemoryRoutineErrorCode) .
51 (eliminate
52 NativeMemoryRoutineErrorCode
53 (lambda unrestricted current : (family NativeMemoryRoutineErrorCode) . Bytes)
54 code
55 (branch
56 NativeMemoryRoutineDuplicateLabel
57 labelName
58 .
59 (bytes-append b"ALPHA-MEM-001-" labelName))
60 (branch NativeMemoryRoutineOffsetOverflow . b"ALPHA-MEM-002")
61 (branch
62 NativeMemoryRoutineMissingLabel
63 labelName
64 .
65 (bytes-append b"ALPHA-MEM-003-" labelName))
66 (branch
67 NativeMemoryRoutineDisplacementOutOfRange
68 labelName
69 .
70 (bytes-append b"ALPHA-MEM-004-" 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.