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 1014–1031

linuxErrnoIsInterrupted

Full file
1014def linuxErrnoIsInterrupted =
1015  (lambda unrestricted errno : (family ModelWord32) .
1016    (eliminate
1017      ModelWord32
1018      (lambda unrestricted current : (family ModelWord32) . Nat)
1019      errno
1020      (branch
1021        ModelWord32Value
1022        b0
1023        b1
1024        b2
1025        b3
1026        .
1027        (linuxFlagAnd
1028          (byte-equal b0 (byte 4))
1029          (linuxFlagAnd
1030            (byte-equal b1 (byte 0))
1031            (linuxFlagAnd (byte-equal b2 (byte 0)) (byte-equal b3 (byte 0))))))))

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.