AlphaGitHub
Source/Packages

Runtime.LinuxSyscall

packages/execution/src/Runtime/LinuxSyscall.alpha

1,665 lines304 declarations54.1 KiBSHA-256 9709d26c0165
Download exact fileView at revisionf5034773ad4bb52133

def · lines 841–870

linuxSyscallContractErrorCodeBytes

Full file
841def linuxSyscallContractErrorCodeBytes =
842  (lambda unrestricted code : (family LinuxSyscallContractErrorCode) .
843    (eliminate
844      LinuxSyscallContractErrorCode
845      (lambda unrestricted current : (family LinuxSyscallContractErrorCode) . Bytes)
846      code
847      (branch LinuxReceiptIdentityMismatch . b"ALPHA-LINUX-101")
848      (branch
849        LinuxReceiptResponseKindMismatch
850        .
851        b"ALPHA-LINUX-102")
852      (branch
853        LinuxReceiptHostFallbackRejected
854        .
855        b"ALPHA-LINUX-103")
856      (branch LinuxReceiptCleanupFailed . b"ALPHA-LINUX-104")
857      (branch LinuxReceiptExactReadShort . b"ALPHA-LINUX-105")
858      (branch LinuxReceiptExactWriteShort . b"ALPHA-LINUX-106")
859      (branch LinuxReceiptUnexpectedEOF . b"ALPHA-LINUX-107")
860      (branch
861        LinuxReceiptExactIOPlanMismatch
862        .
863        b"ALPHA-LINUX-108")
864      (branch LinuxReceiptTelemetryInvalid . b"ALPHA-LINUX-109")
865      (branch
866        LinuxReceiptExtendedKindMismatch
867        .
868        b"ALPHA-LINUX-110")
869      (branch LinuxReceiptTimestampInvalid . b"ALPHA-LINUX-111")
870      (branch LinuxReceiptFileStatusInvalid . b"ALPHA-LINUX-112")))

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.