Source/Packages

Runtime.NativePhysicalProgramComposer

packages/execution/src/Runtime/NativePhysicalProgramComposer.alpha

1,548 lines120 declarations102.0 KiBSHA-256 d343a25865e7

def · lines 149–176

nativePhysicalProgramComposeErrorCodeBytes

Full file
149def nativePhysicalProgramComposeErrorCodeBytes =
150  (lambda unrestricted code : (family NativePhysicalProgramComposeErrorCode) .
151    (eliminate NativePhysicalProgramComposeErrorCode
152      (lambda unrestricted current :
153        (family NativePhysicalProgramComposeErrorCode) . Bytes)
154      code
155      (branch NativePhysicalProgramComposeIdentityInvalid .
156        b"ALPHA-PCOMP-001")
157      (branch NativePhysicalProgramComposeTrainingRejected error .
158        (bytes-append
159          b"ALPHA-PCOMP-002-"
160          (app nativePhysicalErrorCodeBytes error)))
161      (branch NativePhysicalProgramComposeInferenceRejected error .
162        (bytes-append
163          b"ALPHA-PCOMP-003-"
164          (app nativePhysicalErrorCodeBytes error)))
165      (branch NativePhysicalProgramComposeArithmeticFailed addressClass error .
166        (bytes-append
167          b"ALPHA-PCOMP-004-"
168          (app modelWord64ArithmeticErrorCodeBytes error)))
169      (branch NativePhysicalProgramComposeTrainingHaltMissing .
170        b"ALPHA-PCOMP-005")
171      (branch NativePhysicalProgramComposeTrainingHaltNotFinal .
172        b"ALPHA-PCOMP-006")
173      (branch NativePhysicalProgramComposeCombinedRejected error .
174        (bytes-append
175          b"ALPHA-PCOMP-007-"
176          (app nativePhysicalErrorCodeBytes error)))))

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.