From a7717d6cf1ba2d2c9ab512558a7b6be769aac1e7 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Thu, 3 Apr 2025 18:25:56 +0000 Subject: [PATCH] Update to v0.2.5 --- command.md | 116 +++++++++++++-------------- imports.md | 118 ++++++++++++++-------------- wit/command.wit | 2 +- wit/deps.lock | 26 +++--- wit/deps.toml | 6 +- wit/deps/clocks/monotonic-clock.wit | 4 +- wit/deps/clocks/timezone.wit | 2 +- wit/deps/clocks/wall-clock.wit | 2 +- wit/deps/clocks/world.wit | 2 +- wit/deps/filesystem/preopens.wit | 2 +- wit/deps/filesystem/types.wit | 6 +- wit/deps/filesystem/world.wit | 2 +- wit/deps/io/error.wit | 2 +- wit/deps/io/poll.wit | 2 +- wit/deps/io/streams.wit | 2 +- wit/deps/io/world.wit | 2 +- wit/deps/random/insecure-seed.wit | 2 +- wit/deps/random/insecure.wit | 2 +- wit/deps/random/random.wit | 2 +- wit/deps/random/world.wit | 2 +- wit/deps/sockets/ip-name-lookup.wit | 2 +- wit/deps/sockets/network.wit | 2 +- wit/deps/sockets/tcp.wit | 6 +- wit/deps/sockets/udp.wit | 2 +- wit/deps/sockets/world.wit | 2 +- wit/imports.wit | 12 +-- wit/stdio.wit | 6 +- 27 files changed, 168 insertions(+), 168 deletions(-) diff --git a/command.md b/command.md index ee3d650..e99fa97 100644 --- a/command.md +++ b/command.md @@ -2,43 +2,43 @@ -

Import interface wasi:cli/environment@0.2.4

+

Import interface wasi:cli/environment@0.2.5

Functions

get-environment: func

@@ -65,7 +65,7 @@ directory, interpreting . as shorthand for this.

-

Import interface wasi:cli/exit@0.2.4

+

Import interface wasi:cli/exit@0.2.5

Functions

exit: func

@@ -85,7 +85,7 @@ without the connotation that something bad has happened.

-

Import interface wasi:io/error@0.2.4

+

Import interface wasi:io/error@0.2.5

Types

resource error

@@ -118,7 +118,7 @@ hazard.

-

Import interface wasi:io/poll@0.2.4

+

Import interface wasi:io/poll@0.2.5

A poll API intended to let users wait for I/O events on multiple handles at once.

@@ -171,7 +171,7 @@ being ready for I/O.

-

Import interface wasi:io/streams@0.2.4

+

Import interface wasi:io/streams@0.2.5

WASI I/O is an I/O abstraction API which is currently focused on providing stream types.

In the future, the component model is expected to add built-in stream types; @@ -501,7 +501,7 @@ is ready for reading, before performing the splice.

-

Import interface wasi:cli/stdin@0.2.4

+

Import interface wasi:cli/stdin@0.2.5

Types

type input-stream

@@ -514,7 +514,7 @@ is ready for reading, before performing the splice.

-

Import interface wasi:cli/stdout@0.2.4

+

Import interface wasi:cli/stdout@0.2.5

Types

type output-stream

@@ -527,7 +527,7 @@ is ready for reading, before performing the splice.

-

Import interface wasi:cli/stderr@0.2.4

+

Import interface wasi:cli/stderr@0.2.5

Types

type output-stream

@@ -540,7 +540,7 @@ is ready for reading, before performing the splice.

-

Import interface wasi:cli/terminal-input@0.2.4

+

Import interface wasi:cli/terminal-input@0.2.5

Terminal input.

In the future, this may include functions for disabling echoing, disabling input buffering so that keyboard events are sent through @@ -549,7 +549,7 @@ immediately, querying supported features, and so on.

Types

resource terminal-input

The input side of a terminal.

-

Import interface wasi:cli/terminal-output@0.2.4

+

Import interface wasi:cli/terminal-output@0.2.5

Terminal output.

In the future, this may include functions for querying the terminal size, being notified of terminal size changes, querying supported @@ -558,7 +558,7 @@ features, and so on.

Types

resource terminal-output

The output side of a terminal.

-

Import interface wasi:cli/terminal-stdin@0.2.4

+

Import interface wasi:cli/terminal-stdin@0.2.5

An interface providing an optional terminal-input for stdin as a link-time authority.

@@ -575,7 +575,7 @@ allowing further interaction with it.

-

Import interface wasi:cli/terminal-stdout@0.2.4

+

Import interface wasi:cli/terminal-stdout@0.2.5

An interface providing an optional terminal-output for stdout as a link-time authority.

@@ -592,7 +592,7 @@ allowing further interaction with it.

-

Import interface wasi:cli/terminal-stderr@0.2.4

+

Import interface wasi:cli/terminal-stderr@0.2.5

An interface providing an optional terminal-output for stderr as a link-time authority.

@@ -609,7 +609,7 @@ allowing further interaction with it.

-

Import interface wasi:clocks/monotonic-clock@0.2.4

+

Import interface wasi:clocks/monotonic-clock@0.2.5

WASI Monotonic Clock is a clock API intended to let users measure elapsed time.

It is intended to be portable at least between Unix-family platforms and @@ -668,7 +668,7 @@ elapsed from the time this function is invoked.

-

Import interface wasi:clocks/wall-clock@0.2.4

+

Import interface wasi:clocks/wall-clock@0.2.5

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.

@@ -709,7 +709,7 @@ also known as Unix Time.
  • datetime
    • -

    Import interface wasi:clocks/timezone@0.2.4

    +

    Import interface wasi:clocks/timezone@0.2.5

    Types

    type datetime

    @@ -774,7 +774,7 @@ saving time.

    -

    Import interface wasi:filesystem/types@0.2.4

    +

    Import interface wasi:filesystem/types@0.2.5

    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.

    @@ -1652,7 +1652,7 @@ errors are filesystem-related errors.

    -

    Import interface wasi:filesystem/preopens@0.2.4

    +

    Import interface wasi:filesystem/preopens@0.2.5

    Types

    type descriptor

    @@ -1666,7 +1666,7 @@ errors are filesystem-related errors.

    -

    Import interface wasi:sockets/network@0.2.4

    +

    Import interface wasi:sockets/network@0.2.5

    Types

    type error

    @@ -1881,7 +1881,7 @@ errors are network-related errors.

    -

    Import interface wasi:sockets/instance-network@0.2.4

    +

    Import interface wasi:sockets/instance-network@0.2.5

    This interface provides a value-export of the default network handle..

    Types

    @@ -1896,7 +1896,7 @@ errors are network-related errors.

    -

    Import interface wasi:sockets/udp@0.2.4

    +

    Import interface wasi:sockets/udp@0.2.5

    Types

    type pollable

    @@ -2310,7 +2310,7 @@ It's planned to be removed when future is natively supported in Pre -

    Import interface wasi:sockets/udp-create-socket@0.2.4

    +

    Import interface wasi:sockets/udp-create-socket@0.2.5

    Types

    type network

    @@ -2355,7 +2355,7 @@ the socket is effectively an in-memory configuration object, unable to communica -

    Import interface wasi:sockets/tcp@0.2.4

    +

    Import interface wasi:sockets/tcp@0.2.5

    Types

    type input-stream

    @@ -2946,7 +2946,7 @@ has no effect and returns ok.

    -

    Import interface wasi:sockets/tcp-create-socket@0.2.4

    +

    Import interface wasi:sockets/tcp-create-socket@0.2.5

    Types

    type network

    @@ -2991,7 +2991,7 @@ is called, the socket is effectively an in-memory configuration object, unable t -

    Import interface wasi:sockets/ip-name-lookup@0.2.4

    +

    Import interface wasi:sockets/ip-name-lookup@0.2.5

    Types

    type pollable

    @@ -3071,7 +3071,7 @@ It's planned to be removed when future is natively supported in Pre -

    Import interface wasi:random/random@0.2.4

    +

    Import interface wasi:random/random@0.2.5

    WASI Random is a random data API.

    It is intended to be portable at least between Unix-family platforms and Windows.

    @@ -3104,7 +3104,7 @@ represented as a u64.

    -

    Import interface wasi:random/insecure@0.2.4

    +

    Import interface wasi:random/insecure@0.2.5

    The insecure interface for insecure pseudo-random numbers.

    It is intended to be portable at least between Unix-family platforms and Windows.

    @@ -3133,7 +3133,7 @@ a long period.

    -

    Import interface wasi:random/insecure-seed@0.2.4

    +

    Import interface wasi:random/insecure-seed@0.2.5

    The insecure-seed interface for seeding hash-map DoS resistance.

    It is intended to be portable at least between Unix-family platforms and Windows.

    @@ -3157,7 +3157,7 @@ protection.

    -

    Export interface wasi:cli/run@0.2.4

    +

    Export interface wasi:cli/run@0.2.5

    Functions

    run: func

    diff --git a/imports.md b/imports.md index 58c8d29..f9252b0 100644 --- a/imports.md +++ b/imports.md @@ -2,38 +2,38 @@ -

    Import interface wasi:cli/environment@0.2.4

    +
  • interface wasi:cli/environment@0.2.5
    • +
  • interface wasi:cli/exit@0.2.5
    • +
  • interface wasi:io/error@0.2.5
    • +
  • interface wasi:io/poll@0.2.5
    • +
  • interface wasi:io/streams@0.2.5
    • +
  • interface wasi:cli/stdin@0.2.5
    • +
  • interface wasi:cli/stdout@0.2.5
    • +
  • interface wasi:cli/stderr@0.2.5
    • +
  • interface wasi:cli/terminal-input@0.2.5
    • +
  • interface wasi:cli/terminal-output@0.2.5
    • +
  • interface wasi:cli/terminal-stdin@0.2.5
    • +
  • interface wasi:cli/terminal-stdout@0.2.5
    • +
  • interface wasi:cli/terminal-stderr@0.2.5
    • +
  • interface wasi:clocks/monotonic-clock@0.2.5
    • +
  • interface wasi:clocks/wall-clock@0.2.5
    • +
  • interface wasi:clocks/timezone@0.2.5
    • +
  • interface wasi:filesystem/types@0.2.5
    • +
  • interface wasi:filesystem/preopens@0.2.5
    • +
  • interface wasi:sockets/network@0.2.5
    • +
  • interface wasi:sockets/instance-network@0.2.5
    • +
  • interface wasi:sockets/udp@0.2.5
    • +
  • interface wasi:sockets/udp-create-socket@0.2.5
    • +
  • interface wasi:sockets/tcp@0.2.5
    • +
  • interface wasi:sockets/tcp-create-socket@0.2.5
    • +
  • interface wasi:sockets/ip-name-lookup@0.2.5
    • +
  • interface wasi:random/random@0.2.5
    • +
  • interface wasi:random/insecure@0.2.5
    • +
  • interface wasi:random/insecure-seed@0.2.5
    • + + + +

    Import interface wasi:cli/environment@0.2.5

    Functions

    get-environment: func

    @@ -60,7 +60,7 @@ directory, interpreting . as shorthand for this.

    -

    Import interface wasi:cli/exit@0.2.4

    +

    Import interface wasi:cli/exit@0.2.5

    Functions

    exit: func

    @@ -80,7 +80,7 @@ without the connotation that something bad has happened.

    -

    Import interface wasi:io/error@0.2.4

    +

    Import interface wasi:io/error@0.2.5

    Types

    resource error

    @@ -113,7 +113,7 @@ hazard.

    -

    Import interface wasi:io/poll@0.2.4

    +

    Import interface wasi:io/poll@0.2.5

    A poll API intended to let users wait for I/O events on multiple handles at once.

    @@ -166,7 +166,7 @@ being ready for I/O.

    -

    Import interface wasi:io/streams@0.2.4

    +

    Import interface wasi:io/streams@0.2.5

    WASI I/O is an I/O abstraction API which is currently focused on providing stream types.

    In the future, the component model is expected to add built-in stream types; @@ -496,7 +496,7 @@ is ready for reading, before performing the splice.

    -

    Import interface wasi:cli/stdin@0.2.4

    +

    Import interface wasi:cli/stdin@0.2.5

    Types

    type input-stream

    @@ -509,7 +509,7 @@ is ready for reading, before performing the splice.

    -

    Import interface wasi:cli/stdout@0.2.4

    +

    Import interface wasi:cli/stdout@0.2.5

    Types

    type output-stream

    @@ -522,7 +522,7 @@ is ready for reading, before performing the splice.

    -

    Import interface wasi:cli/stderr@0.2.4

    +

    Import interface wasi:cli/stderr@0.2.5

    Types

    type output-stream

    @@ -535,7 +535,7 @@ is ready for reading, before performing the splice.

    -

    Import interface wasi:cli/terminal-input@0.2.4

    +

    Import interface wasi:cli/terminal-input@0.2.5

    Terminal input.

    In the future, this may include functions for disabling echoing, disabling input buffering so that keyboard events are sent through @@ -544,7 +544,7 @@ immediately, querying supported features, and so on.

    Types

    resource terminal-input

    The input side of a terminal.

    -

    Import interface wasi:cli/terminal-output@0.2.4

    +

    Import interface wasi:cli/terminal-output@0.2.5

    Terminal output.

    In the future, this may include functions for querying the terminal size, being notified of terminal size changes, querying supported @@ -553,7 +553,7 @@ features, and so on.

    Types

    resource terminal-output

    The output side of a terminal.

    -

    Import interface wasi:cli/terminal-stdin@0.2.4

    +

    Import interface wasi:cli/terminal-stdin@0.2.5

    An interface providing an optional terminal-input for stdin as a link-time authority.

    @@ -570,7 +570,7 @@ allowing further interaction with it.

    -

    Import interface wasi:cli/terminal-stdout@0.2.4

    +

    Import interface wasi:cli/terminal-stdout@0.2.5

    An interface providing an optional terminal-output for stdout as a link-time authority.

    @@ -587,7 +587,7 @@ allowing further interaction with it.

    -

    Import interface wasi:cli/terminal-stderr@0.2.4

    +

    Import interface wasi:cli/terminal-stderr@0.2.5

    An interface providing an optional terminal-output for stderr as a link-time authority.

    @@ -604,7 +604,7 @@ allowing further interaction with it.

    -

    Import interface wasi:clocks/monotonic-clock@0.2.4

    +

    Import interface wasi:clocks/monotonic-clock@0.2.5

    WASI Monotonic Clock is a clock API intended to let users measure elapsed time.

    It is intended to be portable at least between Unix-family platforms and @@ -663,7 +663,7 @@ elapsed from the time this function is invoked.

    -

    Import interface wasi:clocks/wall-clock@0.2.4

    +

    Import interface wasi:clocks/wall-clock@0.2.5

    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.

    @@ -704,7 +704,7 @@ also known as Unix Time.
  • datetime
    • -

    Import interface wasi:clocks/timezone@0.2.4

    +

    Import interface wasi:clocks/timezone@0.2.5

    Types

    type datetime

    @@ -769,7 +769,7 @@ saving time.

    -

    Import interface wasi:filesystem/types@0.2.4

    +

    Import interface wasi:filesystem/types@0.2.5

    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.

    @@ -1647,7 +1647,7 @@ errors are filesystem-related errors.

    -

    Import interface wasi:filesystem/preopens@0.2.4

    +

    Import interface wasi:filesystem/preopens@0.2.5

    Types

    type descriptor

    @@ -1661,7 +1661,7 @@ errors are filesystem-related errors.

    -

    Import interface wasi:sockets/network@0.2.4

    +

    Import interface wasi:sockets/network@0.2.5

    Types

    type error

    @@ -1876,7 +1876,7 @@ errors are network-related errors.

    -

    Import interface wasi:sockets/instance-network@0.2.4

    +

    Import interface wasi:sockets/instance-network@0.2.5

    This interface provides a value-export of the default network handle..

    Types

    @@ -1891,7 +1891,7 @@ errors are network-related errors.

    -

    Import interface wasi:sockets/udp@0.2.4

    +

    Import interface wasi:sockets/udp@0.2.5

    Types

    type pollable

    @@ -2305,7 +2305,7 @@ It's planned to be removed when future is natively supported in Pre -

    Import interface wasi:sockets/udp-create-socket@0.2.4

    +

    Import interface wasi:sockets/udp-create-socket@0.2.5

    Types

    type network

    @@ -2350,7 +2350,7 @@ the socket is effectively an in-memory configuration object, unable to communica -

    Import interface wasi:sockets/tcp@0.2.4

    +

    Import interface wasi:sockets/tcp@0.2.5

    Types

    type input-stream

    @@ -2941,7 +2941,7 @@ has no effect and returns ok.

    -

    Import interface wasi:sockets/tcp-create-socket@0.2.4

    +

    Import interface wasi:sockets/tcp-create-socket@0.2.5

    Types

    type network

    @@ -2986,7 +2986,7 @@ is called, the socket is effectively an in-memory configuration object, unable t -

    Import interface wasi:sockets/ip-name-lookup@0.2.4

    +

    Import interface wasi:sockets/ip-name-lookup@0.2.5

    Types

    type pollable

    @@ -3066,7 +3066,7 @@ It's planned to be removed when future is natively supported in Pre -

    Import interface wasi:random/random@0.2.4

    +

    Import interface wasi:random/random@0.2.5

    WASI Random is a random data API.

    It is intended to be portable at least between Unix-family platforms and Windows.

    @@ -3099,7 +3099,7 @@ represented as a u64.

    -

    Import interface wasi:random/insecure@0.2.4

    +

    Import interface wasi:random/insecure@0.2.5

    The insecure interface for insecure pseudo-random numbers.

    It is intended to be portable at least between Unix-family platforms and Windows.

    @@ -3128,7 +3128,7 @@ a long period.

    -

    Import interface wasi:random/insecure-seed@0.2.4

    +

    Import interface wasi:random/insecure-seed@0.2.5

    The insecure-seed interface for seeding hash-map DoS resistance.

    It is intended to be portable at least between Unix-family platforms and Windows.

    diff --git a/wit/command.wit b/wit/command.wit index 88ab2a9..7165395 100644 --- a/wit/command.wit +++ b/wit/command.wit @@ -1,4 +1,4 @@ -package wasi:cli@0.2.4; +package wasi:cli@0.2.5; @since(version = 0.2.0) world command { diff --git a/wit/deps.lock b/wit/deps.lock index e80ab87..a1dc926 100644 --- a/wit/deps.lock +++ b/wit/deps.lock @@ -1,24 +1,24 @@ [clocks] -sha256 = "fc36267c5098ad9ac6455396b27c8ef206ca23cae74f40bd44c57be68e7849b6" -sha512 = "0deed3d3a86f284adda7991cd24c0c4aab806ba2e0cb111da80d7f99c05f10793a602b28451407cad58ab762997f60c0f6d173e919e4a0988773b455d3a410d3" +sha256 = "f1c53079469e20167e2cd4300651f13f34a6fd508b5c7331bb7c8c95fb8857fb" +sha512 = "2a9281d0edcabad3bfef0dcfa7a9712d6beb6d6bb07b29fbf24235706d149672901ffc32192404a1ac511c512eb775daf9716ad3a0514bdf6a5c93a5fed19450" [filesystem] -url = "https://github.com/WebAssembly/wasi-filesystem/archive/v0.2.4.tar.gz" -sha256 = "dd435f78b23714bd9d51ef3789c43b831549e71f54b57394a41bbf0c4da45f42" -sha512 = "d58bcf6eae908a6b2d883bcdfe456dc31aa99c848d0b3d21f710bde5bbb59ec105dbd5085004eadd0faa938530e4c29f88e589f525c080eb6d5971775a0b64ed" +url = "https://github.com/WebAssembly/wasi-filesystem/archive/v0.2.5.tar.gz" +sha256 = "9122d926d1e9c8c3c1aca0b54fcc6a64fe3b52b701d266af5ecbb7f83124a647" +sha512 = "a8e81ca42f4ff9d58dca945cabbcdf04b7a9870b7acd3bb95c95e40bb656e74c7e190f73cf0b3189b6b01a78f3aaa2e247c215541a7a0f67fb86ed3e0b3f9e35" deps = ["clocks", "io"] [io] -sha256 = "770a73d479cda8e4c4064dd4006d2654ebcc358952079d74e41af27cf26bddbf" -sha512 = "b790f9750ac6782d9aaaa379845600b66dbde14ecee42f159c29796447eb8e61ee61f3b306e92622993b5e25298834b6ff62d7d9a04f8f18c05f07eda8f47ae0" +sha256 = "749de54c05f7118dc118999ad69c5b63890ea1dd86f1be69270062195c7b79c2" +sha512 = "b5096d518a7931c100594b9216bb4a98cd64533166bc7fdbb7465b48effc345863bd3ce2ec84fef59b273bae507edab08ec08975d56240ccef68f2494964e80a" [random] -url = "https://github.com/WebAssembly/wasi-random/archive/v0.2.4.tar.gz" -sha256 = "876d81b0a777f1dc9db215fa36f45898a907188819185d6b189345f28c081a45" -sha512 = "fc6a0ed97e0525456222b28bcc49431bade826a97cb6eb52cde595908865d1ed7835c54a63b408ba82e3d49061aebb9a8725d1d2316d28c0ccb12af8ec968ab8" +url = "https://github.com/WebAssembly/wasi-random/archive/v0.2.5.tar.gz" +sha256 = "c59984d9385d1ef7af6dd817b3d7a0a7f4084baa66c92026d6f9bf1eaf29169a" +sha512 = "7414a1a0616e42ff134ad15b65d9e10bc3b567b34f7f696356e20bc71bcb85ea16188d26d1997ba7e6964df9493f9f748304acaf1169e16ee21a035d8a8b4a89" [sockets] -url = "https://github.com/WebAssembly/wasi-sockets/archive/v0.2.4.tar.gz" -sha256 = "e6872db116eb02f2043c4238999712de19bdb22e3c8da00af563f8b6c4dabb18" -sha512 = "28c05fe8acd691d808b6a90b950483bbf59983c02e91ed4a89b0e06c3e2a27e0f73be678979309553f0889fc3fea00c4740b007946d7285aa554dc65d56b1b7f" +url = "https://github.com/WebAssembly/wasi-sockets/archive/v0.2.5.tar.gz" +sha256 = "1e55b9b6aa43e02cc0a674e7e6250f5145d48ffbc60c0f200b5ea192dce61640" +sha512 = "019224bb6fead5b6b687aeba7505ed05ebf20b9a60d045a4ab4fc323d0044af729b983b44efbe7ac8e0efda727f5c779fb0ad817c7802b2d7677196cf2cc0652" deps = ["clocks", "io"] diff --git a/wit/deps.toml b/wit/deps.toml index 0b2cbed..26c0dbb 100644 --- a/wit/deps.toml +++ b/wit/deps.toml @@ -1,3 +1,3 @@ -filesystem = "https://github.com/WebAssembly/wasi-filesystem/archive/v0.2.4.tar.gz" -random = "https://github.com/WebAssembly/wasi-random/archive/v0.2.4.tar.gz" -sockets = "https://github.com/WebAssembly/wasi-sockets/archive/v0.2.4.tar.gz" +filesystem = "https://github.com/WebAssembly/wasi-filesystem/archive/v0.2.5.tar.gz" +random = "https://github.com/WebAssembly/wasi-random/archive/v0.2.5.tar.gz" +sockets = "https://github.com/WebAssembly/wasi-sockets/archive/v0.2.5.tar.gz" diff --git a/wit/deps/clocks/monotonic-clock.wit b/wit/deps/clocks/monotonic-clock.wit index 175f8fe..731e8a1 100644 --- a/wit/deps/clocks/monotonic-clock.wit +++ b/wit/deps/clocks/monotonic-clock.wit @@ -1,4 +1,4 @@ -package wasi:clocks@0.2.4; +package wasi:clocks@0.2.5; /// WASI Monotonic Clock is a clock API intended to let users measure elapsed /// time. /// @@ -10,7 +10,7 @@ package wasi:clocks@0.2.4; @since(version = 0.2.0) interface monotonic-clock { @since(version = 0.2.0) - use wasi:io/poll@0.2.4.{pollable}; + use wasi:io/poll@0.2.5.{pollable}; /// An instant in time, in nanoseconds. An instant is relative to an /// unspecified initial value, and can only be compared to instances from diff --git a/wit/deps/clocks/timezone.wit b/wit/deps/clocks/timezone.wit index 658cb17..ebe21a6 100644 --- a/wit/deps/clocks/timezone.wit +++ b/wit/deps/clocks/timezone.wit @@ -1,4 +1,4 @@ -package wasi:clocks@0.2.4; +package wasi:clocks@0.2.5; @unstable(feature = clocks-timezone) interface timezone { diff --git a/wit/deps/clocks/wall-clock.wit b/wit/deps/clocks/wall-clock.wit index f826cd1..2fde831 100644 --- a/wit/deps/clocks/wall-clock.wit +++ b/wit/deps/clocks/wall-clock.wit @@ -1,4 +1,4 @@ -package wasi:clocks@0.2.4; +package wasi:clocks@0.2.5; /// 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. diff --git a/wit/deps/clocks/world.wit b/wit/deps/clocks/world.wit index 9e20874..f32eed5 100644 --- a/wit/deps/clocks/world.wit +++ b/wit/deps/clocks/world.wit @@ -1,4 +1,4 @@ -package wasi:clocks@0.2.4; +package wasi:clocks@0.2.5; @since(version = 0.2.0) world imports { diff --git a/wit/deps/filesystem/preopens.wit b/wit/deps/filesystem/preopens.wit index 6e60039..0a9b8f0 100644 --- a/wit/deps/filesystem/preopens.wit +++ b/wit/deps/filesystem/preopens.wit @@ -1,4 +1,4 @@ -package wasi:filesystem@0.2.4; +package wasi:filesystem@0.2.5; @since(version = 0.2.0) interface preopens { diff --git a/wit/deps/filesystem/types.wit b/wit/deps/filesystem/types.wit index 962cadf..2b67884 100644 --- a/wit/deps/filesystem/types.wit +++ b/wit/deps/filesystem/types.wit @@ -1,4 +1,4 @@ -package wasi:filesystem@0.2.4; +package wasi:filesystem@0.2.5; /// 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:filesystem@0.2.4; @since(version = 0.2.0) interface types { @since(version = 0.2.0) - use wasi:io/streams@0.2.4.{input-stream, output-stream, error}; + use wasi:io/streams@0.2.5.{input-stream, output-stream, error}; @since(version = 0.2.0) - use wasi:clocks/wall-clock@0.2.4.{datetime}; + use wasi:clocks/wall-clock@0.2.5.{datetime}; /// File size or length of a region within a file. @since(version = 0.2.0) diff --git a/wit/deps/filesystem/world.wit b/wit/deps/filesystem/world.wit index 7742ed6..e7654ee 100644 --- a/wit/deps/filesystem/world.wit +++ b/wit/deps/filesystem/world.wit @@ -1,4 +1,4 @@ -package wasi:filesystem@0.2.4; +package wasi:filesystem@0.2.5; @since(version = 0.2.0) world imports { diff --git a/wit/deps/io/error.wit b/wit/deps/io/error.wit index eb0600f..0e234be 100644 --- a/wit/deps/io/error.wit +++ b/wit/deps/io/error.wit @@ -1,4 +1,4 @@ -package wasi:io@0.2.4; +package wasi:io@0.2.5; @since(version = 0.2.0) interface error { diff --git a/wit/deps/io/poll.wit b/wit/deps/io/poll.wit index 170deff..d33353e 100644 --- a/wit/deps/io/poll.wit +++ b/wit/deps/io/poll.wit @@ -1,4 +1,4 @@ -package wasi:io@0.2.4; +package wasi:io@0.2.5; /// A poll API intended to let users wait for I/O events on multiple handles /// at once. diff --git a/wit/deps/io/streams.wit b/wit/deps/io/streams.wit index bb9a31e..8d20252 100644 --- a/wit/deps/io/streams.wit +++ b/wit/deps/io/streams.wit @@ -1,4 +1,4 @@ -package wasi:io@0.2.4; +package wasi:io@0.2.5; /// WASI I/O is an I/O abstraction API which is currently focused on providing /// stream types. diff --git a/wit/deps/io/world.wit b/wit/deps/io/world.wit index 8e0fa5c..6864183 100644 --- a/wit/deps/io/world.wit +++ b/wit/deps/io/world.wit @@ -1,4 +1,4 @@ -package wasi:io@0.2.4; +package wasi:io@0.2.5; @since(version = 0.2.0) world imports { diff --git a/wit/deps/random/insecure-seed.wit b/wit/deps/random/insecure-seed.wit index 45e8baf..ab58b46 100644 --- a/wit/deps/random/insecure-seed.wit +++ b/wit/deps/random/insecure-seed.wit @@ -1,4 +1,4 @@ -package wasi:random@0.2.4; +package wasi:random@0.2.5; /// The insecure-seed interface for seeding hash-map DoS resistance. /// /// It is intended to be portable at least between Unix-family platforms and diff --git a/wit/deps/random/insecure.wit b/wit/deps/random/insecure.wit index 5ab5030..f051303 100644 --- a/wit/deps/random/insecure.wit +++ b/wit/deps/random/insecure.wit @@ -1,4 +1,4 @@ -package wasi:random@0.2.4; +package wasi:random@0.2.5; /// The insecure interface for insecure pseudo-random numbers. /// /// It is intended to be portable at least between Unix-family platforms and diff --git a/wit/deps/random/random.wit b/wit/deps/random/random.wit index 9e5220d..6b751b0 100644 --- a/wit/deps/random/random.wit +++ b/wit/deps/random/random.wit @@ -1,4 +1,4 @@ -package wasi:random@0.2.4; +package wasi:random@0.2.5; /// WASI Random is a random data API. /// /// It is intended to be portable at least between Unix-family platforms and diff --git a/wit/deps/random/world.wit b/wit/deps/random/world.wit index d890558..c32c48a 100644 --- a/wit/deps/random/world.wit +++ b/wit/deps/random/world.wit @@ -1,4 +1,4 @@ -package wasi:random@0.2.4; +package wasi:random@0.2.5; @since(version = 0.2.0) world imports { diff --git a/wit/deps/sockets/ip-name-lookup.wit b/wit/deps/sockets/ip-name-lookup.wit index 48b41a5..04ab05d 100644 --- a/wit/deps/sockets/ip-name-lookup.wit +++ b/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.4.{pollable}; + use wasi:io/poll@0.2.5.{pollable}; @since(version = 0.2.0) use network.{network, error-code, ip-address}; diff --git a/wit/deps/sockets/network.wit b/wit/deps/sockets/network.wit index aa4985e..52c8301 100644 --- a/wit/deps/sockets/network.wit +++ b/wit/deps/sockets/network.wit @@ -1,7 +1,7 @@ @since(version = 0.2.0) interface network { @unstable(feature = network-error-code) - use wasi:io/error@0.2.4.{error}; + use wasi:io/error@0.2.5.{error}; /// An opaque resource that represents access to (a subset of) the network. /// This enables context-based security for networking. diff --git a/wit/deps/sockets/tcp.wit b/wit/deps/sockets/tcp.wit index b331133..2f44785 100644 --- a/wit/deps/sockets/tcp.wit +++ b/wit/deps/sockets/tcp.wit @@ -1,11 +1,11 @@ @since(version = 0.2.0) interface tcp { @since(version = 0.2.0) - use wasi:io/streams@0.2.4.{input-stream, output-stream}; + use wasi:io/streams@0.2.5.{input-stream, output-stream}; @since(version = 0.2.0) - use wasi:io/poll@0.2.4.{pollable}; + use wasi:io/poll@0.2.5.{pollable}; @since(version = 0.2.0) - use wasi:clocks/monotonic-clock@0.2.4.{duration}; + use wasi:clocks/monotonic-clock@0.2.5.{duration}; @since(version = 0.2.0) use network.{network, error-code, ip-socket-address, ip-address-family}; diff --git a/wit/deps/sockets/udp.wit b/wit/deps/sockets/udp.wit index cfc07ba..9a73a47 100644 --- a/wit/deps/sockets/udp.wit +++ b/wit/deps/sockets/udp.wit @@ -1,7 +1,7 @@ @since(version = 0.2.0) interface udp { @since(version = 0.2.0) - use wasi:io/poll@0.2.4.{pollable}; + use wasi:io/poll@0.2.5.{pollable}; @since(version = 0.2.0) use network.{network, error-code, ip-socket-address, ip-address-family}; diff --git a/wit/deps/sockets/world.wit b/wit/deps/sockets/world.wit index 82acdb9..733dc07 100644 --- a/wit/deps/sockets/world.wit +++ b/wit/deps/sockets/world.wit @@ -1,4 +1,4 @@ -package wasi:sockets@0.2.4; +package wasi:sockets@0.2.5; @since(version = 0.2.0) world imports { diff --git a/wit/imports.wit b/wit/imports.wit index ad5c6bb..93a8374 100644 --- a/wit/imports.wit +++ b/wit/imports.wit @@ -1,17 +1,17 @@ -package wasi:cli@0.2.4; +package wasi:cli@0.2.5; @since(version = 0.2.0) world imports { @since(version = 0.2.0) - include wasi:clocks/imports@0.2.4; + include wasi:clocks/imports@0.2.5; @since(version = 0.2.0) - include wasi:filesystem/imports@0.2.4; + include wasi:filesystem/imports@0.2.5; @since(version = 0.2.0) - include wasi:sockets/imports@0.2.4; + include wasi:sockets/imports@0.2.5; @since(version = 0.2.0) - include wasi:random/imports@0.2.4; + include wasi:random/imports@0.2.5; @since(version = 0.2.0) - include wasi:io/imports@0.2.4; + include wasi:io/imports@0.2.5; @since(version = 0.2.0) import environment; diff --git a/wit/stdio.wit b/wit/stdio.wit index 60727a9..19a5ab9 100644 --- a/wit/stdio.wit +++ b/wit/stdio.wit @@ -1,7 +1,7 @@ @since(version = 0.2.0) interface stdin { @since(version = 0.2.0) - use wasi:io/streams@0.2.4.{input-stream}; + use wasi:io/streams@0.2.5.{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/streams@0.2.4.{output-stream}; + use wasi:io/streams@0.2.5.{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/streams@0.2.4.{output-stream}; + use wasi:io/streams@0.2.5.{output-stream}; @since(version = 0.2.0) get-stderr: func() -> output-stream;