Update to WASI 0.2.3 WIT files

ci/vendor-wit.sh

@@ -37,22 +37,22 @@ make_vendor() {
 cache_dir=$(mktemp -d)
 
 make_vendor "wasi" "
-  [email protected].2
-  [email protected].2
-  [email protected].2
-  [email protected].2
-  [email protected].2
-  [email protected].2
+  [email protected].3
+  [email protected].3
+  [email protected].3
+  [email protected].3
+  [email protected].3
+  [email protected].3
 "
 
 make_vendor "wasi-http" "
-  [email protected].2
-  [email protected].2
-  [email protected].2
-  [email protected].2
-  [email protected].2
-  [email protected].2
-  [email protected].2
+  [email protected].3
+  [email protected].3
+  [email protected].3
+  [email protected].3
+  [email protected].3
+  [email protected].3
+  [email protected].3
 "
 
 make_vendor "wasi-config" "config@f4d699b"

crates/test-programs/src/lib.rs

@@ -8,8 +8,8 @@ wit_bindgen::generate!({
         package wasmtime:test;
 
         world test {
-            include wasi:cli/[email protected].2;
-            include wasi:http/[email protected].2;
+            include wasi:cli/[email protected].3;
+            include wasi:http/[email protected].3;
             include wasi:config/[email protected];
             include wasi:keyvalue/[email protected];
         }
@@ -31,17 +31,17 @@ pub mod proxy {
         default_bindings_module: "test_programs::proxy",
         pub_export_macro: true,
         with: {
-            "wasi:http/[email protected].2": crate::wasi::http::types,
-            "wasi:http/[email protected].2": crate::wasi::http::outgoing_handler,
-            "wasi:random/[email protected].2": crate::wasi::random::random,
-            "wasi:io/[email protected].2": crate::wasi::io::error,
-            "wasi:io/[email protected].2": crate::wasi::io::poll,
-            "wasi:io/[email protected].2": crate::wasi::io::streams,
-            "wasi:cli/[email protected].2": crate::wasi::cli::stdout,
-            "wasi:cli/[email protected].2": crate::wasi::cli::stderr,
-            "wasi:cli/[email protected].2": crate::wasi::cli::stdin,
-            "wasi:clocks/[email protected].2": crate::wasi::clocks::monotonic_clock,
-            "wasi:clocks/[email protected].2": crate::wasi::clocks::wall_clock,
+            "wasi:http/[email protected].3": crate::wasi::http::types,
+            "wasi:http/[email protected].3": crate::wasi::http::outgoing_handler,
+            "wasi:random/[email protected].3": crate::wasi::random::random,
+            "wasi:io/[email protected].3": crate::wasi::io::error,
+            "wasi:io/[email protected].3": crate::wasi::io::poll,
+            "wasi:io/[email protected].3": crate::wasi::io::streams,
+            "wasi:cli/[email protected].3": crate::wasi::cli::stdout,
+            "wasi:cli/[email protected].3": crate::wasi::cli::stderr,
+            "wasi:cli/[email protected].3": crate::wasi::cli::stdin,
+            "wasi:clocks/[email protected].3": crate::wasi::clocks::monotonic_clock,
+            "wasi:clocks/[email protected].3": crate::wasi::clocks::wall_clock,
         },
     });
 }

crates/wasi-http/wit/deps/cli/command.wit

@@ -1,4 +1,4 @@
-package wasi:[email protected].2;
+package wasi:[email protected].3;
 
 @since(version = 0.2.0)
 world command {

crates/wasi-http/wit/deps/cli/imports.wit

@@ -1,17 +1,17 @@
-package wasi:[email protected].2;
+package wasi:[email protected].3;
 
 @since(version = 0.2.0)
 world imports {
   @since(version = 0.2.0)
-  include wasi:clocks/[email protected].2;
+  include wasi:clocks/[email protected].3;
   @since(version = 0.2.0)
-  include wasi:filesystem/[email protected].2;
+  include wasi:filesystem/[email protected].3;
   @since(version = 0.2.0)
-  include wasi:sockets/[email protected].2;
+  include wasi:sockets/[email protected].3;
   @since(version = 0.2.0)
-  include wasi:random/[email protected].2;
+  include wasi:random/[email protected].3;
   @since(version = 0.2.0)
-  include wasi:io/[email protected].2;
+  include wasi:io/[email protected].3;
 
   @since(version = 0.2.0)
   import environment;

crates/wasi-http/wit/deps/cli/stdio.wit

@@ -1,7 +1,7 @@
 @since(version = 0.2.0)
 interface stdin {
   @since(version = 0.2.0)
-  use wasi:io/[email protected].2.{input-stream};
+  use wasi:io/[email protected].3.{input-stream};
 
   @since(version = 0.2.0)
   get-stdin: func() -> input-stream;
@@ -10,7 +10,7 @@ interface stdin {
 @since(version = 0.2.0)
 interface stdout {
   @since(version = 0.2.0)
-  use wasi:io/[email protected].2.{output-stream};
+  use wasi:io/[email protected].3.{output-stream};
 
   @since(version = 0.2.0)
   get-stdout: func() -> output-stream;
@@ -19,7 +19,7 @@ interface stdout {
 @since(version = 0.2.0)
 interface stderr {
   @since(version = 0.2.0)
-  use wasi:io/[email protected].2.{output-stream};
+  use wasi:io/[email protected].3.{output-stream};
 
   @since(version = 0.2.0)
   get-stderr: func() -> output-stream;

crates/wasi-http/wit/deps/clocks/monotonic-clock.wit

@@ -1,4 +1,4 @@
-package wasi:[email protected].2;
+package wasi:[email protected].3;
 /// WASI Monotonic Clock is a clock API intended to let users measure elapsed
 /// time.
 ///
@@ -10,7 +10,7 @@ package wasi:[email protected];
 @since(version = 0.2.0)
 interface monotonic-clock {
     @since(version = 0.2.0)
-    use wasi:io/[email protected].2.{pollable};
+    use wasi:io/[email protected].3.{pollable};
 
     /// An instant in time, in nanoseconds. An instant is relative to an
     /// unspecified initial value, and can only be compared to instances from

crates/wasi-http/wit/deps/clocks/timezone.wit

@@ -1,4 +1,4 @@
-package wasi:[email protected].2;
+package wasi:[email protected].3;
 
 @unstable(feature = clocks-timezone)
 interface timezone {

crates/wasi-http/wit/deps/clocks/wall-clock.wit

@@ -1,4 +1,4 @@
-package wasi:[email protected].2;
+package wasi:[email protected].3;
 /// WASI Wall Clock is a clock API intended to let users query the current
 /// time. The name "wall" makes an analogy to a "clock on the wall", which
 /// is not necessarily monotonic as it may be reset.

crates/wasi-http/wit/deps/clocks/world.wit

@@ -1,4 +1,4 @@
-package wasi:clocks@0.2.2;
+package wasi:clocks@0.2.3;
 
 @since(version = 0.2.0)
 world imports {

crates/wasi-http/wit/deps/filesystem/preopens.wit

@@ -1,11 +1,11 @@
-package wasi:[email protected].2;
+package wasi:[email protected].3;
 
 @since(version = 0.2.0)
 interface preopens {
     @since(version = 0.2.0)
     use types.{descriptor};
 
-    /// Return the set of preopened directories, and their path.
+    /// Return the set of preopened directories, and their paths.
     @since(version = 0.2.0)
     get-directories: func() -> list<tuple<descriptor, string>>;
 }

crates/wasi-http/wit/deps/filesystem/types.wit

@@ -1,4 +1,4 @@
-package wasi:[email protected].2;
+package wasi:[email protected].3;
 /// WASI filesystem is a filesystem API primarily intended to let users run WASI
 /// programs that access their files on their existing filesystems, without
 /// significant overhead.
@@ -26,9 +26,9 @@ package wasi:[email protected];
 @since(version = 0.2.0)
 interface types {
     @since(version = 0.2.0)
-    use wasi:io/[email protected].2.{input-stream, output-stream, error};
+    use wasi:io/[email protected].3.{input-stream, output-stream, error};
     @since(version = 0.2.0)
-    use wasi:clocks/[email protected].2.{datetime};
+    use wasi:clocks/[email protected].3.{datetime};
 
     /// File size or length of a region within a file.
     @since(version = 0.2.0)
@@ -327,7 +327,7 @@ interface types {
         /// May fail with an error-code describing why the file cannot be appended.
         ///
         /// Note: This allows using `write-stream`, which is similar to `write` with
-        /// `O_APPEND` in in POSIX.
+        /// `O_APPEND` in POSIX.
         @since(version = 0.2.0)
         append-via-stream: func() -> result<output-stream, error-code>;
 
@@ -623,7 +623,7 @@ interface types {
         /// replaced. It may also include a secret value chosen by the
         /// implementation and not otherwise exposed.
         ///
-        /// Implementations are encourated to provide the following properties:
+        /// Implementations are encouraged to provide the following properties:
         ///
         ///  - If the file is not modified or replaced, the computed hash value should
         ///    usually not change.

crates/wasi-http/wit/deps/filesystem/world.wit

@@ -1,4 +1,4 @@
-package wasi:[email protected].2;
+package wasi:[email protected].3;
 
 @since(version = 0.2.0)
 world imports {

crates/wasi-http/wit/deps/http/proxy.wit

@@ -1,30 +1,30 @@
-package wasi:[email protected].2;
+package wasi:[email protected].3;
 
 /// The `wasi:http/imports` world imports all the APIs for HTTP proxies.
 /// It is intended to be `include`d in other worlds.
 @since(version = 0.2.0)
 world imports {
   /// HTTP proxies have access to time and randomness.
   @since(version = 0.2.0)
-  import wasi:clocks/[email protected].2;
+  import wasi:clocks/[email protected].3;
   @since(version = 0.2.0)
-  import wasi:clocks/[email protected].2;
+  import wasi:clocks/[email protected].3;
   @since(version = 0.2.0)
-  import wasi:random/[email protected].2;
+  import wasi:random/[email protected].3;
 
   /// Proxies have standard output and error streams which are expected to
   /// terminate in a developer-facing console provided by the host.
   @since(version = 0.2.0)
-  import wasi:cli/[email protected].2;
+  import wasi:cli/[email protected].3;
   @since(version = 0.2.0)
-  import wasi:cli/[email protected].2;
+  import wasi:cli/[email protected].3;
 
   /// TODO: this is a temporary workaround until component tooling is able to
   /// gracefully handle the absence of stdin. Hosts must return an eof stream
   /// for this import, which is what wasi-libc + tooling will do automatically
   /// when this import is properly removed.
   @since(version = 0.2.0)
-  import wasi:cli/[email protected].2;
+  import wasi:cli/[email protected].3;
 
   /// This is the default handler to use when user code simply wants to make an
   /// HTTP request (e.g., via `fetch()`).

crates/wasi-http/wit/deps/http/types.wit

@@ -4,13 +4,13 @@
 @since(version = 0.2.0)
 interface types {
   @since(version = 0.2.0)
-  use wasi:clocks/[email protected].2.{duration};
+  use wasi:clocks/[email protected].3.{duration};
   @since(version = 0.2.0)
-  use wasi:io/[email protected].2.{input-stream, output-stream};
+  use wasi:io/[email protected].3.{input-stream, output-stream};
   @since(version = 0.2.0)
-  use wasi:io/[email protected].2.{error as io-error};
+  use wasi:io/[email protected].3.{error as io-error};
   @since(version = 0.2.0)
-  use wasi:io/[email protected].2.{pollable};
+  use wasi:io/[email protected].3.{pollable};
 
   /// This type corresponds to HTTP standard Methods.
   @since(version = 0.2.0)
@@ -36,7 +36,7 @@ interface types {
   }
 
   /// These cases are inspired by the IANA HTTP Proxy Error Types:
-  ///   https://www.iana.org/assignments/http-proxy-status/http-proxy-status.xhtml#table-http-proxy-error-types
+  ///   <https://www.iana.org/assignments/http-proxy-status/http-proxy-status.xhtml#table-http-proxy-error-types>
   @since(version = 0.2.0)
   variant error-code {
     DNS-timeout,

crates/wasi-http/wit/deps/io/error.wit

@@ -1,4 +1,4 @@
-package wasi:io@0.2.2;
+package wasi:io@0.2.3;
 
 @since(version = 0.2.0)
 interface error {

crates/wasi-http/wit/deps/io/poll.wit

@@ -1,4 +1,4 @@
-package wasi:[email protected].2;
+package wasi:[email protected].3;
 
 /// A poll API intended to let users wait for I/O events on multiple handles
 /// at once.

crates/wasi-http/wit/deps/io/streams.wit

@@ -1,4 +1,4 @@
-package wasi:[email protected].2;
+package wasi:[email protected].3;
 
 /// WASI I/O is an I/O abstraction API which is currently focused on providing
 /// stream types.

crates/wasi-http/wit/deps/io/world.wit

@@ -1,4 +1,4 @@
-package wasi:[email protected].2;
+package wasi:[email protected].3;
 
 @since(version = 0.2.0)
 world imports {

crates/wasi-http/wit/deps/random/insecure-seed.wit

@@ -1,4 +1,4 @@
-package wasi:[email protected].2;
+package wasi:[email protected].3;
 /// The insecure-seed interface for seeding hash-map DoS resistance.
 ///
 /// It is intended to be portable at least between Unix-family platforms and

crates/wasi-http/wit/deps/random/insecure.wit

@@ -1,4 +1,4 @@
-package wasi:[email protected].2;
+package wasi:[email protected].3;
 /// The insecure interface for insecure pseudo-random numbers.
 ///
 /// It is intended to be portable at least between Unix-family platforms and

crates/wasi-http/wit/deps/random/random.wit

@@ -1,4 +1,4 @@
-package wasi:random@0.2.2;
+package wasi:random@0.2.3;
 /// WASI Random is a random data API.
 ///
 /// It is intended to be portable at least between Unix-family platforms and

crates/wasi-http/wit/deps/random/world.wit

@@ -1,4 +1,4 @@
-package wasi:random@0.2.2;
+package wasi:random@0.2.3;
 
 @since(version = 0.2.0)
 world imports {

crates/wasi-http/wit/deps/sockets/ip-name-lookup.wit

@@ -1,7 +1,7 @@
 @since(version = 0.2.0)
 interface ip-name-lookup {
     @since(version = 0.2.0)
-    use wasi:io/poll@0.2.2.{pollable};
+    use wasi:io/poll@0.2.3.{pollable};
     @since(version = 0.2.0)
     use network.{network, error-code, ip-address};
 

crates/wasi-http/wit/deps/sockets/network.wit

@@ -1,7 +1,7 @@
 @since(version = 0.2.0)
 interface network {
     @unstable(feature = network-error-code)
-    use wasi:io/[email protected].2.{error};
+    use wasi:io/[email protected].3.{error};
 
     /// An opaque resource that represents access to (a subset of) the network.
     /// This enables context-based security for networking.

crates/wasi-http/wit/deps/sockets/tcp.wit

@@ -1,11 +1,11 @@
 @since(version = 0.2.0)
 interface tcp {
     @since(version = 0.2.0)
-    use wasi:io/[email protected].2.{input-stream, output-stream};
+    use wasi:io/[email protected].3.{input-stream, output-stream};
     @since(version = 0.2.0)
-    use wasi:io/[email protected].2.{pollable};
+    use wasi:io/[email protected].3.{pollable};
     @since(version = 0.2.0)
-    use wasi:clocks/[email protected].2.{duration};
+    use wasi:clocks/[email protected].3.{duration};
     @since(version = 0.2.0)
     use network.{network, error-code, ip-socket-address, ip-address-family};
 

crates/wasi-http/wit/deps/sockets/udp.wit

@@ -1,7 +1,7 @@
 @since(version = 0.2.0)
 interface udp {
     @since(version = 0.2.0)
-    use wasi:io/[email protected].2.{pollable};
+    use wasi:io/[email protected].3.{pollable};
     @since(version = 0.2.0)
     use network.{network, error-code, ip-socket-address, ip-address-family};
 

crates/wasi-http/wit/deps/sockets/world.wit

@@ -1,4 +1,4 @@
-package wasi:sockets@0.2.2;
+package wasi:sockets@0.2.3;
 
 @since(version = 0.2.0)
 world imports {

crates/wasi-http/wit/world.wit

@@ -2,5 +2,5 @@
 package wasmtime:wasi-http;
 
 world bindings {
-  include wasi:http/[email protected].2;
+  include wasi:http/[email protected].3;
 }