commit 01bf6ea04e356fde713f418bd5da31c2ca55a592
parent 15a3d8df7b57e667bd8e5226ab6dba05d0152af9
Author: Drew DeVault <sir@cmpwn.com>
Date: Mon, 11 Apr 2022 17:02:58 +0200
errors: add interrupted
Signed-off-by: Drew DeVault <sir@cmpwn.com>
Diffstat:
2 files changed, 6 insertions(+), 0 deletions(-)
diff --git a/errors/common.ha b/errors/common.ha
@@ -36,6 +36,9 @@ export type refused = !void;
// Unable to allocate sufficient memory for the requested operation.
export type nomem = !void;
+// An operation was interrupted.
+export type interrupted = !void;
+
// A tagged union of all error types.
export type error = !(
busy |
@@ -49,5 +52,6 @@ export type error = !(
cancelled |
refused |
nomem |
+ interrupted |
opaque
);
diff --git a/errors/rt.ha b/errors/rt.ha
@@ -24,6 +24,8 @@ export fn errno(errno: rt::errno) error = {
return timeout;
case rt::EBUSY =>
return busy;
+ case rt::EINTR =>
+ return interrupted;
case => void;
};