Add a badf error code.

This pulls in WebAssembly/wasi-filesystem#62.
bytecodealliance · Dec 8, 2022 · 3f2ea63 · 3f2ea63
1 parent c903016
commit 3f2ea63
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -1440,6 +1440,7 @@ impl From<wasi_filesystem::Errno> for Errno {
             wasi_filesystem::Errno::Again => ERRNO_AGAIN,
             wasi_filesystem::Errno::Already => ERRNO_ALREADY,
             wasi_filesystem::Errno::Badmsg => ERRNO_BADMSG,
+            wasi_filesystem::Errno::Badf => ERRNO_BADF,
             wasi_filesystem::Errno::Busy => ERRNO_BUSY,
             wasi_filesystem::Errno::Canceled => ERRNO_CANCELED,
             wasi_filesystem::Errno::Child => ERRNO_CHILD,

diff --git a/wit/wasi.wit b/wit/wasi.wit
@@ -348,6 +348,8 @@ interface wasi-filesystem {
       already,
       /// Bad message.
       badmsg,
+      /// Bad descriptor.
+      badf,
       /// Device or resource busy.
       busy,
       /// Operation canceled.