Merge pull request #69 from badeend/tabs-to-whitespace

Convert tabs to whitespaces

Author: badeend

Posix-compatibility.md

@@ -135,12 +135,12 @@ Additionally, most columns have been populated semi-automatically by grepping th
 Columns:
 - "Socket option": The native option constant.
 - "WASI":
-	- ✅ = Included in proposal.
-	- ⛔ = Consciously decided _not_ to include in WASI. See notes for explanation.
-	- ❔ = Not included (yet), for no particular reason.
+    - ✅ = Included in proposal.
+    - ⛔ = Consciously decided _not_ to include in WASI. See notes for explanation.
+    - ❔ = Not included (yet), for no particular reason.
 - The rest:
-	- ✅ = Option is provided by the platform / depended upon by the application.
-	- ❌ = Option is not provided / not used.
+    - ✅ = Option is provided by the platform / depended upon by the application.
+    - ❌ = Option is not provided / not used.
 
 > Note: GitHub clips the table content. Scroll left and right to see all columns, or use the Code View.
 

README.md

@@ -88,13 +88,13 @@ finish-operation: func(this) -> result<the-outputs..., error-code>
 
 The semantics are as follows:
 - When `start-*` completes successfully:
-	- The operation should be considered "in progress".
-	- This is the POSIX equivalent of EINPROGRESS.
-	- The socket can be polled for completion of the just started operation, using `wasi-poll`.
-	- Its corresponding `finish-*` function can be called until it returns something other than the `would-block` error code.
+    - The operation should be considered "in progress".
+    - This is the POSIX equivalent of EINPROGRESS.
+    - The socket can be polled for completion of the just started operation, using `wasi-poll`.
+    - Its corresponding `finish-*` function can be called until it returns something other than the `would-block` error code.
 - When `finish-*` returns anything other than `would-block`:
-	- The asynchronous operation should be considered "finished" (either successful or failed)
-	- Future calls to `finish-*` return the `not-in-progress` error code.
+    - The asynchronous operation should be considered "finished" (either successful or failed)
+    - Future calls to `finish-*` return the `not-in-progress` error code.
 
 Runtimes that don't need asynchrony, can simply validate the arguments provided to the `start` function and stash them on their internal socket instance and perform the actual syscall in the `finish` function. Conveniently, sockets only allow one of these `start/finish` asynchronous operation to be active at a time.
 
@@ -103,22 +103,22 @@ Example of how to recover blocking semantics in guest code:
 ```rs
 // Pseudo code:
 fn blocking-connect(sock: tcp-socket, addr: ip-socket-address) -> result<tuple<input-stream, output-stream>, error-code> {
-	
-	let pollable = tcp::subscribe(tcp-socket);
-
-	let start-result = tcp::start-connect(sock, addr);
-	if (start-result is error) {
-		return error;
-	}
-
-	while (true) {
-		poll::poll-oneoff([ pollable ]);
-
-		let finish-result = tcp::finish-connect(sock);
-		if (finish-result is NOT error(would-block)) {
-			return finish-result;
-		}
-	}
+    
+    let pollable = tcp::subscribe(tcp-socket);
+
+    let start-result = tcp::start-connect(sock, addr);
+    if (start-result is error) {
+        return error;
+    }
+
+    while (true) {
+        poll::poll-oneoff([ pollable ]);
+
+        let finish-result = tcp::finish-connect(sock);
+        if (finish-result is NOT error(would-block)) {
+            return finish-result;
+        }
+    }
 }
 
 ```

wit/instance-network.wit

@@ -1,9 +1,9 @@
 
 /// This interface provides a value-export of the default network handle..
 interface instance-network {
-	use network.{network};
+    use network.{network};
 
-	/// Get a handle to the default network.
-	instance-network: func() -> network;
+    /// Get a handle to the default network.
+    instance-network: func() -> network;
 
 }

wit/ip-name-lookup.wit

@@ -1,61 +1,61 @@
 
 interface ip-name-lookup {
-	use wasi:io/poll.{pollable};
-	use network.{network, error-code, ip-address, ip-address-family};
+    use wasi:io/poll.{pollable};
+    use network.{network, error-code, ip-address, ip-address-family};
 
 
-	/// Resolve an internet host name to a list of IP addresses.
-	/// 
-	/// See the wasi-socket proposal README.md for a comparison with getaddrinfo.
-	/// 
-	/// # Parameters
-	/// - `name`: The name to look up. IP addresses are not allowed. Unicode domain names are automatically converted
-	///     to ASCII using IDNA encoding.
-	/// - `address-family`: If provided, limit the results to addresses of this specific address family.
-	/// - `include-unavailable`: When set to true, this function will also return addresses of which the runtime
-	///   thinks (or knows) can't be connected to at the moment. For example, this will return IPv6 addresses on
-	///   systems without an active IPv6 interface. Notes:
-	///     - Even when no public IPv6 interfaces are present or active, names like "localhost" can still resolve to an IPv6 address.
-	///     - Whatever is "available" or "unavailable" is volatile and can change everytime a network cable is unplugged.
-	/// 
-	/// This function never blocks. It either immediately fails or immediately returns successfully with a `resolve-address-stream`
-	/// that can be used to (asynchronously) fetch the results.
-	/// 
-	/// At the moment, the stream never completes successfully with 0 items. Ie. the first call
-	/// to `resolve-next-address` never returns `ok(none)`. This may change in the future.
-	/// 
-	/// # Typical errors
-	/// - `invalid-name`:                 `name` is a syntactically invalid domain name.
-	/// - `invalid-name`:                 `name` is an IP address.
-	/// - `address-family-not-supported`: The specified `address-family` is not supported. (EAI_FAMILY)
-	/// 
-	/// # References:
-	/// - <https://pubs.opengroup.org/onlinepubs/9699919799/functions/getaddrinfo.html>
-	/// - <https://man7.org/linux/man-pages/man3/getaddrinfo.3.html>
-	/// - <https://learn.microsoft.com/en-us/windows/win32/api/ws2tcpip/nf-ws2tcpip-getaddrinfo>
-	/// - <https://man.freebsd.org/cgi/man.cgi?query=getaddrinfo&sektion=3>
-	resolve-addresses: func(network: borrow<network>, name: string, address-family: option<ip-address-family>, include-unavailable: bool) -> result<resolve-address-stream, error-code>;
+    /// Resolve an internet host name to a list of IP addresses.
+    /// 
+    /// See the wasi-socket proposal README.md for a comparison with getaddrinfo.
+    /// 
+    /// # Parameters
+    /// - `name`: The name to look up. IP addresses are not allowed. Unicode domain names are automatically converted
+    ///     to ASCII using IDNA encoding.
+    /// - `address-family`: If provided, limit the results to addresses of this specific address family.
+    /// - `include-unavailable`: When set to true, this function will also return addresses of which the runtime
+    ///   thinks (or knows) can't be connected to at the moment. For example, this will return IPv6 addresses on
+    ///   systems without an active IPv6 interface. Notes:
+    ///     - Even when no public IPv6 interfaces are present or active, names like "localhost" can still resolve to an IPv6 address.
+    ///     - Whatever is "available" or "unavailable" is volatile and can change everytime a network cable is unplugged.
+    /// 
+    /// This function never blocks. It either immediately fails or immediately returns successfully with a `resolve-address-stream`
+    /// that can be used to (asynchronously) fetch the results.
+    /// 
+    /// At the moment, the stream never completes successfully with 0 items. Ie. the first call
+    /// to `resolve-next-address` never returns `ok(none)`. This may change in the future.
+    /// 
+    /// # Typical errors
+    /// - `invalid-name`:                 `name` is a syntactically invalid domain name.
+    /// - `invalid-name`:                 `name` is an IP address.
+    /// - `address-family-not-supported`: The specified `address-family` is not supported. (EAI_FAMILY)
+    /// 
+    /// # References:
+    /// - <https://pubs.opengroup.org/onlinepubs/9699919799/functions/getaddrinfo.html>
+    /// - <https://man7.org/linux/man-pages/man3/getaddrinfo.3.html>
+    /// - <https://learn.microsoft.com/en-us/windows/win32/api/ws2tcpip/nf-ws2tcpip-getaddrinfo>
+    /// - <https://man.freebsd.org/cgi/man.cgi?query=getaddrinfo&sektion=3>
+    resolve-addresses: func(network: borrow<network>, name: string, address-family: option<ip-address-family>, include-unavailable: bool) -> result<resolve-address-stream, error-code>;
 
-	resource resolve-address-stream {
-		/// Returns the next address from the resolver.
-		/// 
-		/// This function should be called multiple times. On each call, it will
-		/// return the next address in connection order preference. If all
-		/// addresses have been exhausted, this function returns `none`.
-		/// 
-		/// This function never returns IPv4-mapped IPv6 addresses.
-		/// 
-		/// # Typical errors
-		/// - `name-unresolvable`:          Name does not exist or has no suitable associated IP addresses. (EAI_NONAME, EAI_NODATA, EAI_ADDRFAMILY)
-		/// - `temporary-resolver-failure`: A temporary failure in name resolution occurred. (EAI_AGAIN)
-		/// - `permanent-resolver-failure`: A permanent failure in name resolution occurred. (EAI_FAIL)
-		/// - `would-block`:                A result is not available yet. (EWOULDBLOCK, EAGAIN)
-		resolve-next-address: func() -> result<option<ip-address>, error-code>;
+    resource resolve-address-stream {
+        /// Returns the next address from the resolver.
+        /// 
+        /// This function should be called multiple times. On each call, it will
+        /// return the next address in connection order preference. If all
+        /// addresses have been exhausted, this function returns `none`.
+        /// 
+        /// This function never returns IPv4-mapped IPv6 addresses.
+        /// 
+        /// # Typical errors
+        /// - `name-unresolvable`:          Name does not exist or has no suitable associated IP addresses. (EAI_NONAME, EAI_NODATA, EAI_ADDRFAMILY)
+        /// - `temporary-resolver-failure`: A temporary failure in name resolution occurred. (EAI_AGAIN)
+        /// - `permanent-resolver-failure`: A permanent failure in name resolution occurred. (EAI_FAIL)
+        /// - `would-block`:                A result is not available yet. (EWOULDBLOCK, EAGAIN)
+        resolve-next-address: func() -> result<option<ip-address>, error-code>;
 
-		/// Create a `pollable` which will resolve once the stream is ready for I/O.
-		/// 
-		/// Note: this function is here for WASI Preview2 only.
-		/// It's planned to be removed when `future` is natively supported in Preview3.
-		subscribe: func() -> pollable;
-	}
+        /// Create a `pollable` which will resolve once the stream is ready for I/O.
+        /// 
+        /// Note: this function is here for WASI Preview2 only.
+        /// It's planned to be removed when `future` is natively supported in Preview3.
+        subscribe: func() -> pollable;
+    }
 }