diff --git a/command.md b/command.md index 3d92c20..04dfb7b 100644 --- a/command.md +++ b/command.md @@ -2,42 +2,42 @@ -

Import interface wasi:cli/environment@0.2.0-rc-2024-01-16

+

Import interface wasi:cli/environment@0.2.0

Functions

get-environment: func

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

-

Import interface wasi:cli/exit@0.2.0-rc-2024-01-16

+

Import interface wasi:cli/exit@0.2.0

Functions

exit: func

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

-

Import interface wasi:io/error@0.2.0-rc-2023-11-10

+

Import interface wasi:io/error@0.2.0

Types

resource error

@@ -108,7 +108,7 @@ hazard.

-

Import interface wasi:io/poll@0.2.0-rc-2023-11-10

+

Import interface wasi:io/poll@0.2.0

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

@@ -158,7 +158,7 @@ being reaedy for I/O.

-

Import interface wasi:io/streams@0.2.0-rc-2023-11-10

+

Import interface wasi:io/streams@0.2.0

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; @@ -483,7 +483,7 @@ is ready for reading, before performing the splice.

-

Import interface wasi:cli/stdin@0.2.0-rc-2024-01-16

+

Import interface wasi:cli/stdin@0.2.0

Types

type input-stream

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

-

Import interface wasi:cli/stdout@0.2.0-rc-2024-01-16

+

Import interface wasi:cli/stdout@0.2.0

Types

type output-stream

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

-

Import interface wasi:cli/stderr@0.2.0-rc-2024-01-16

+

Import interface wasi:cli/stderr@0.2.0

Types

type output-stream

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

-

Import interface wasi:cli/terminal-input@0.2.0-rc-2024-01-16

+

Import interface wasi:cli/terminal-input@0.2.0

Terminal input.

In the future, this may include functions for disabling echoing, disabling input buffering so that keyboard events are sent through @@ -531,7 +531,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.0-rc-2024-01-16

+

Import interface wasi:cli/terminal-output@0.2.0

Terminal output.

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

Types

resource terminal-output

The output side of a terminal.

-

Import interface wasi:cli/terminal-stdin@0.2.0-rc-2024-01-16

+

Import interface wasi:cli/terminal-stdin@0.2.0

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

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

-

Import interface wasi:cli/terminal-stdout@0.2.0-rc-2024-01-16

+

Import interface wasi:cli/terminal-stdout@0.2.0

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

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

-

Import interface wasi:cli/terminal-stderr@0.2.0-rc-2024-01-16

+

Import interface wasi:cli/terminal-stderr@0.2.0

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

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

-

Import interface wasi:clocks/monotonic-clock@0.2.0-rc-2023-11-10

+

Import interface wasi:clocks/monotonic-clock@0.2.0

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 @@ -652,7 +652,7 @@ occured.

-

Import interface wasi:clocks/wall-clock@0.2.0-rc-2023-11-10

+

Import interface wasi:clocks/wall-clock@0.2.0

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.

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

    Import interface wasi:filesystem/types@0.2.0-rc-2023-11-10

    +

    Import interface wasi:filesystem/types@0.2.0

    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.

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

    -

    Import interface wasi:filesystem/preopens@0.2.0-rc-2023-11-10

    +

    Import interface wasi:filesystem/preopens@0.2.0

    Types

    type descriptor

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

    -

    Import interface wasi:sockets/network@0.2.0-rc-2024-01-16

    +

    Import interface wasi:sockets/network@0.2.0

    Types

    resource network

    @@ -1780,7 +1780,7 @@ supported size.
  • ipv4: ipv4-socket-address
  • ipv6: ipv6-socket-address
    • -

    Import interface wasi:sockets/instance-network@0.2.0-rc-2024-01-16

    +

    Import interface wasi:sockets/instance-network@0.2.0

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

    Types

    @@ -1795,7 +1795,7 @@ supported size. -

    Import interface wasi:sockets/udp@0.2.0-rc-2024-01-16

    +

    Import interface wasi:sockets/udp@0.2.0

    Types

    type pollable

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

    Import interface wasi:sockets/udp-create-socket@0.2.0-rc-2024-01-16

    +

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

    Types

    type network

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

    Import interface wasi:sockets/tcp@0.2.0-rc-2024-01-16

    +

    Import interface wasi:sockets/tcp@0.2.0

    Types

    type input-stream

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

    -

    Import interface wasi:sockets/tcp-create-socket@0.2.0-rc-2024-01-16

    +

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

    Types

    type network

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

    Import interface wasi:sockets/ip-name-lookup@0.2.0-rc-2024-01-16

    +

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

    Types

    type pollable

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

    Import interface wasi:random/random@0.2.0-rc-2023-11-10

    +

    Import interface wasi:random/random@0.2.0

    WASI Random is a random data API.

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

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

    -

    Import interface wasi:random/insecure@0.2.0-rc-2023-11-10

    +

    Import interface wasi:random/insecure@0.2.0

    The insecure interface for insecure pseudo-random numbers.

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

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

    -

    Import interface wasi:random/insecure-seed@0.2.0-rc-2023-11-10

    +

    Import interface wasi:random/insecure-seed@0.2.0

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

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

    @@ -3056,7 +3056,7 @@ protection.

    -

    Export interface wasi:cli/run@0.2.0-rc-2024-01-16

    +

    Export interface wasi:cli/run@0.2.0

    Functions

    run: func

    diff --git a/imports.md b/imports.md index 48cd5a0..02f8f93 100644 --- a/imports.md +++ b/imports.md @@ -2,37 +2,37 @@ -

    Import interface wasi:cli/environment@0.2.0-rc-2024-01-16

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

    Import interface wasi:cli/environment@0.2.0

    Functions

    get-environment: func

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

    -

    Import interface wasi:cli/exit@0.2.0-rc-2024-01-16

    +

    Import interface wasi:cli/exit@0.2.0

    Functions

    exit: func

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

    -

    Import interface wasi:io/error@0.2.0-rc-2023-11-10

    +

    Import interface wasi:io/error@0.2.0

    Types

    resource error

    @@ -103,7 +103,7 @@ hazard.

    -

    Import interface wasi:io/poll@0.2.0-rc-2023-11-10

    +

    Import interface wasi:io/poll@0.2.0

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

    @@ -153,7 +153,7 @@ being reaedy for I/O.

    -

    Import interface wasi:io/streams@0.2.0-rc-2023-11-10

    +

    Import interface wasi:io/streams@0.2.0

    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; @@ -478,7 +478,7 @@ is ready for reading, before performing the splice.

    -

    Import interface wasi:cli/stdin@0.2.0-rc-2024-01-16

    +

    Import interface wasi:cli/stdin@0.2.0

    Types

    type input-stream

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

    -

    Import interface wasi:cli/stdout@0.2.0-rc-2024-01-16

    +

    Import interface wasi:cli/stdout@0.2.0

    Types

    type output-stream

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

    -

    Import interface wasi:cli/stderr@0.2.0-rc-2024-01-16

    +

    Import interface wasi:cli/stderr@0.2.0

    Types

    type output-stream

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

    -

    Import interface wasi:cli/terminal-input@0.2.0-rc-2024-01-16

    +

    Import interface wasi:cli/terminal-input@0.2.0

    Terminal input.

    In the future, this may include functions for disabling echoing, disabling input buffering so that keyboard events are sent through @@ -526,7 +526,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.0-rc-2024-01-16

    +

    Import interface wasi:cli/terminal-output@0.2.0

    Terminal output.

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

    Types

    resource terminal-output

    The output side of a terminal.

    -

    Import interface wasi:cli/terminal-stdin@0.2.0-rc-2024-01-16

    +

    Import interface wasi:cli/terminal-stdin@0.2.0

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

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

    -

    Import interface wasi:cli/terminal-stdout@0.2.0-rc-2024-01-16

    +

    Import interface wasi:cli/terminal-stdout@0.2.0

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

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

    -

    Import interface wasi:cli/terminal-stderr@0.2.0-rc-2024-01-16

    +

    Import interface wasi:cli/terminal-stderr@0.2.0

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

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

    -

    Import interface wasi:clocks/monotonic-clock@0.2.0-rc-2023-11-10

    +

    Import interface wasi:clocks/monotonic-clock@0.2.0

    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 @@ -647,7 +647,7 @@ occured.

    -

    Import interface wasi:clocks/wall-clock@0.2.0-rc-2023-11-10

    +

    Import interface wasi:clocks/wall-clock@0.2.0

    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.

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

    Import interface wasi:filesystem/types@0.2.0-rc-2023-11-10

    +

    Import interface wasi:filesystem/types@0.2.0

    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.

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

    -

    Import interface wasi:filesystem/preopens@0.2.0-rc-2023-11-10

    +

    Import interface wasi:filesystem/preopens@0.2.0

    Types

    type descriptor

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

    -

    Import interface wasi:sockets/network@0.2.0-rc-2024-01-16

    +

    Import interface wasi:sockets/network@0.2.0

    Types

    resource network

    @@ -1775,7 +1775,7 @@ supported size.
  • ipv4: ipv4-socket-address
  • ipv6: ipv6-socket-address
    • -

    Import interface wasi:sockets/instance-network@0.2.0-rc-2024-01-16

    +

    Import interface wasi:sockets/instance-network@0.2.0

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

    Types

    @@ -1790,7 +1790,7 @@ supported size. -

    Import interface wasi:sockets/udp@0.2.0-rc-2024-01-16

    +

    Import interface wasi:sockets/udp@0.2.0

    Types

    type pollable

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

    Import interface wasi:sockets/udp-create-socket@0.2.0-rc-2024-01-16

    +

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

    Types

    type network

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

    Import interface wasi:sockets/tcp@0.2.0-rc-2024-01-16

    +

    Import interface wasi:sockets/tcp@0.2.0

    Types

    type input-stream

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

    -

    Import interface wasi:sockets/tcp-create-socket@0.2.0-rc-2024-01-16

    +

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

    Types

    type network

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

    Import interface wasi:sockets/ip-name-lookup@0.2.0-rc-2024-01-16

    +

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

    Types

    type pollable

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

    Import interface wasi:random/random@0.2.0-rc-2023-11-10

    +

    Import interface wasi:random/random@0.2.0

    WASI Random is a random data API.

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

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

    -

    Import interface wasi:random/insecure@0.2.0-rc-2023-11-10

    +

    Import interface wasi:random/insecure@0.2.0

    The insecure interface for insecure pseudo-random numbers.

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

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

    -

    Import interface wasi:random/insecure-seed@0.2.0-rc-2023-11-10

    +

    Import interface wasi:random/insecure-seed@0.2.0

    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 a988916..d8005bd 100644 --- a/wit/command.wit +++ b/wit/command.wit @@ -1,4 +1,4 @@ -package wasi:cli@0.2.0-rc-2024-01-16; +package wasi:cli@0.2.0; world command { include imports; diff --git a/wit/deps.lock b/wit/deps.lock index 24b86d9..704339a 100644 --- a/wit/deps.lock +++ b/wit/deps.lock @@ -1,24 +1,24 @@ [clocks] url = "https://github.com/WebAssembly/wasi-clocks/archive/main.tar.gz" -sha256 = "89da8eca4cd195516574c89c5b3c24a7b5af3ff2565c16753d20d3bdbc5fc60f" -sha512 = "244079b3f592d58478a97adbd0bee8d49ae9dd1a3e435651ee40997b50da9fe62cfaba7e3ec7f7406d7d0288d278a43a3a0bc5150226ba40ce0f8ac6d33f7ddb" +sha256 = "468b4d12892fe926b8eb5d398dbf579d566c93231fa44f415440572c695b7613" +sha512 = "e6b53a07221f1413953c9797c68f08b815fdaebf66419bbc1ea3e8b7dece73731062693634731f311a03957b268cf9cc509c518bd15e513c318aa04a8459b93a" [filesystem] url = "https://github.com/WebAssembly/wasi-filesystem/archive/main.tar.gz" -sha256 = "05952bbc98895aa3aeda6c765a3e521016de59f993f3b60394c724640935c09c" -sha512 = "2c242489801a75466986fe014d730fb3aa7b5c6e56a230c8735e6672711b58bcbe92ba78a341b78fc3ac69339e55d3859d8bb14410230f0371ee30dbd83add64" +sha256 = "498c465cfd04587db40f970fff2185daa597d074c20b68a8bcbae558f261499b" +sha512 = "ead452f9b7bfb88593a502ec00d76d4228003d51c40fd0408aebc32d35c94673551b00230d730873361567cc209ec218c41fb4e95bad194268592c49e7964347" [io] url = "https://github.com/WebAssembly/wasi-io/archive/main.tar.gz" -sha256 = "7a3c644dfd434f77fdf3f3d3b3caaca9538a0ade785167a3cce0321609f9d4e1" -sha512 = "2888f12b91359d630b4270f60e3c78855d9b305274ebf8a5decaef8698a74cc85c426823dc708b393f461b85ad991711d7400c2b2a24795001db5aee3ae19c70" +sha256 = "7210e5653539a15478f894d4da24cc69d61924cbcba21d2804d69314a88e5a4c" +sha512 = "49184a1b0945a889abd52d25271172ed3dc2db6968fcdddb1bab7ee0081f4a3eeee0977ad2291126a37631c0d86eeea75d822fa8af224c422134500bf9f0f2bb" [random] url = "https://github.com/WebAssembly/wasi-random/archive/main.tar.gz" -sha256 = "11afcbff9920f5f1f72b6764d01e59a5faa2c671f0c59f0c9b405778f3708745" -sha512 = "cc4fa3d178559a89d9d6a376e3359b892158d1e73317c5db1f797ebc6b0b57abf2422797648d5b2b494c50cf9360720bc451cc27e15def7d278ba875805ccbf5" +sha256 = "7371d03c037d924caba2587fb2e7c5773a0d3c5fcecbf7971e0e0ba57973c53d" +sha512 = "964c4e8925a53078e4d94ba907b54f89a0b7e154f46823a505391471466c17f53c8692682e5c85771712acd88b348686173fc07c53a3cfe3d301b8cd8ddd0de4" [sockets] url = "https://github.com/WebAssembly/wasi-sockets/archive/main.tar.gz" -sha256 = "9a3816bfa5a8b0673e5651024d8f9a1540f169f6d70f2bde6ee0e8240cd177ee" -sha512 = "bfcce89127510e16e9e7d7ac058ba3108953067e2d53f05cb1020dadf552738753b7fc9d10797236f2ced089063de7ac853fd9526079758fab1419d9b58a5212" +sha256 = "622bd28bbeb43736375dc02bd003fd3a016ff8ee91e14bab488325c6b38bf966" +sha512 = "5a63c1f36de0c4548e1d2297bdbededb28721cbad94ef7825c469eae29d7451c97e00b4c1d6730ee1ec0c4a5aac922961a2795762d4a0c3bb54e30a391a84bae" diff --git a/wit/deps/clocks/monotonic-clock.wit b/wit/deps/clocks/monotonic-clock.wit index 09ef32c..4e4dc3a 100644 --- a/wit/deps/clocks/monotonic-clock.wit +++ b/wit/deps/clocks/monotonic-clock.wit @@ -1,4 +1,4 @@ -package wasi:clocks@0.2.0-rc-2023-11-10; +package wasi:clocks@0.2.0; /// WASI Monotonic Clock is a clock API intended to let users measure elapsed /// time. /// @@ -10,7 +10,7 @@ package wasi:clocks@0.2.0-rc-2023-11-10; /// /// It is intended for measuring elapsed time. interface monotonic-clock { - use wasi:io/poll@0.2.0-rc-2023-11-10.{pollable}; + use wasi:io/poll@0.2.0.{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/wall-clock.wit b/wit/deps/clocks/wall-clock.wit index 8abb9a0..440ca0f 100644 --- a/wit/deps/clocks/wall-clock.wit +++ b/wit/deps/clocks/wall-clock.wit @@ -1,4 +1,4 @@ -package wasi:clocks@0.2.0-rc-2023-11-10; +package wasi:clocks@0.2.0; /// 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 8fa080f..c022457 100644 --- a/wit/deps/clocks/world.wit +++ b/wit/deps/clocks/world.wit @@ -1,4 +1,4 @@ -package wasi:clocks@0.2.0-rc-2023-11-10; +package wasi:clocks@0.2.0; world imports { import monotonic-clock; diff --git a/wit/deps/filesystem/preopens.wit b/wit/deps/filesystem/preopens.wit index 95ec678..da801f6 100644 --- a/wit/deps/filesystem/preopens.wit +++ b/wit/deps/filesystem/preopens.wit @@ -1,4 +1,4 @@ -package wasi:filesystem@0.2.0-rc-2023-11-10; +package wasi:filesystem@0.2.0; interface preopens { use types.{descriptor}; diff --git a/wit/deps/filesystem/types.wit b/wit/deps/filesystem/types.wit index 059722a..11108fc 100644 --- a/wit/deps/filesystem/types.wit +++ b/wit/deps/filesystem/types.wit @@ -1,4 +1,4 @@ -package wasi:filesystem@0.2.0-rc-2023-11-10; +package wasi:filesystem@0.2.0; /// 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. @@ -24,8 +24,8 @@ package wasi:filesystem@0.2.0-rc-2023-11-10; /// /// [WASI filesystem path resolution]: https://github.com/WebAssembly/wasi-filesystem/blob/main/path-resolution.md interface types { - use wasi:io/streams@0.2.0-rc-2023-11-10.{input-stream, output-stream, error}; - use wasi:clocks/wall-clock@0.2.0-rc-2023-11-10.{datetime}; + use wasi:io/streams@0.2.0.{input-stream, output-stream, error}; + use wasi:clocks/wall-clock@0.2.0.{datetime}; /// File size or length of a region within a file. type filesize = u64; diff --git a/wit/deps/filesystem/world.wit b/wit/deps/filesystem/world.wit index 285e0ba..663f579 100644 --- a/wit/deps/filesystem/world.wit +++ b/wit/deps/filesystem/world.wit @@ -1,4 +1,4 @@ -package wasi:filesystem@0.2.0-rc-2023-11-10; +package wasi:filesystem@0.2.0; world imports { import types; diff --git a/wit/deps/io/error.wit b/wit/deps/io/error.wit index 31918ac..22e5b64 100644 --- a/wit/deps/io/error.wit +++ b/wit/deps/io/error.wit @@ -1,4 +1,4 @@ -package wasi:io@0.2.0-rc-2023-11-10; +package wasi:io@0.2.0; interface error { diff --git a/wit/deps/io/poll.wit b/wit/deps/io/poll.wit index 81b1cab..ddc67f8 100644 --- a/wit/deps/io/poll.wit +++ b/wit/deps/io/poll.wit @@ -1,4 +1,4 @@ -package wasi:io@0.2.0-rc-2023-11-10; +package wasi:io@0.2.0; /// 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 82e6e07..6d2f871 100644 --- a/wit/deps/io/streams.wit +++ b/wit/deps/io/streams.wit @@ -1,4 +1,4 @@ -package wasi:io@0.2.0-rc-2023-11-10; +package wasi:io@0.2.0; /// 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 8243da2..5f0b43f 100644 --- a/wit/deps/io/world.wit +++ b/wit/deps/io/world.wit @@ -1,4 +1,4 @@ -package wasi:io@0.2.0-rc-2023-11-10; +package wasi:io@0.2.0; world imports { import streams; diff --git a/wit/deps/random/insecure-seed.wit b/wit/deps/random/insecure-seed.wit index f76e87d..47210ac 100644 --- a/wit/deps/random/insecure-seed.wit +++ b/wit/deps/random/insecure-seed.wit @@ -1,4 +1,4 @@ -package wasi:random@0.2.0-rc-2023-11-10; +package wasi:random@0.2.0; /// 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 ec7b997..c58f4ee 100644 --- a/wit/deps/random/insecure.wit +++ b/wit/deps/random/insecure.wit @@ -1,4 +1,4 @@ -package wasi:random@0.2.0-rc-2023-11-10; +package wasi:random@0.2.0; /// 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 7a7dfa2..0c017f0 100644 --- a/wit/deps/random/random.wit +++ b/wit/deps/random/random.wit @@ -1,4 +1,4 @@ -package wasi:random@0.2.0-rc-2023-11-10; +package wasi:random@0.2.0; /// 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 49e5743..3da3491 100644 --- a/wit/deps/random/world.wit +++ b/wit/deps/random/world.wit @@ -1,4 +1,4 @@ -package wasi:random@0.2.0-rc-2023-11-10; +package wasi:random@0.2.0; world imports { import random; diff --git a/wit/deps/sockets/ip-name-lookup.wit b/wit/deps/sockets/ip-name-lookup.wit index 931ccf7..8e639ec 100644 --- a/wit/deps/sockets/ip-name-lookup.wit +++ b/wit/deps/sockets/ip-name-lookup.wit @@ -1,6 +1,6 @@ interface ip-name-lookup { - use wasi:io/poll@0.2.0-rc-2023-11-10.{pollable}; + use wasi:io/poll@0.2.0.{pollable}; use network.{network, error-code, ip-address}; diff --git a/wit/deps/sockets/tcp.wit b/wit/deps/sockets/tcp.wit index 9f12b82..5902b9e 100644 --- a/wit/deps/sockets/tcp.wit +++ b/wit/deps/sockets/tcp.wit @@ -1,8 +1,8 @@ interface tcp { - use wasi:io/streams@0.2.0-rc-2023-11-10.{input-stream, output-stream}; - use wasi:io/poll@0.2.0-rc-2023-11-10.{pollable}; - use wasi:clocks/monotonic-clock@0.2.0-rc-2023-11-10.{duration}; + use wasi:io/streams@0.2.0.{input-stream, output-stream}; + use wasi:io/poll@0.2.0.{pollable}; + use wasi:clocks/monotonic-clock@0.2.0.{duration}; use network.{network, error-code, ip-socket-address, ip-address-family}; enum shutdown-type { diff --git a/wit/deps/sockets/udp.wit b/wit/deps/sockets/udp.wit index 6ba380f..d987a0a 100644 --- a/wit/deps/sockets/udp.wit +++ b/wit/deps/sockets/udp.wit @@ -1,6 +1,6 @@ interface udp { - use wasi:io/poll@0.2.0-rc-2023-11-10.{pollable}; + use wasi:io/poll@0.2.0.{pollable}; use network.{network, error-code, ip-socket-address, ip-address-family}; /// A received datagram. diff --git a/wit/deps/sockets/world.wit b/wit/deps/sockets/world.wit index 8588cc6..f8bb92a 100644 --- a/wit/deps/sockets/world.wit +++ b/wit/deps/sockets/world.wit @@ -1,4 +1,4 @@ -package wasi:sockets@0.2.0-rc-2024-01-16; +package wasi:sockets@0.2.0; world imports { import instance-network; diff --git a/wit/imports.wit b/wit/imports.wit index 8ce1abe..083b84a 100644 --- a/wit/imports.wit +++ b/wit/imports.wit @@ -1,11 +1,11 @@ -package wasi:cli@0.2.0-rc-2024-01-16; +package wasi:cli@0.2.0; world imports { - include wasi:clocks/imports@0.2.0-rc-2023-11-10; - include wasi:filesystem/imports@0.2.0-rc-2023-11-10; - include wasi:sockets/imports@0.2.0-rc-2024-01-16; - include wasi:random/imports@0.2.0-rc-2023-11-10; - include wasi:io/imports@0.2.0-rc-2023-11-10; + include wasi:clocks/imports@0.2.0; + include wasi:filesystem/imports@0.2.0; + include wasi:sockets/imports@0.2.0; + include wasi:random/imports@0.2.0; + include wasi:io/imports@0.2.0; import environment; import exit; diff --git a/wit/stdio.wit b/wit/stdio.wit index 1b653b6..31ef35b 100644 --- a/wit/stdio.wit +++ b/wit/stdio.wit @@ -1,17 +1,17 @@ interface stdin { - use wasi:io/streams@0.2.0-rc-2023-11-10.{input-stream}; + use wasi:io/streams@0.2.0.{input-stream}; get-stdin: func() -> input-stream; } interface stdout { - use wasi:io/streams@0.2.0-rc-2023-11-10.{output-stream}; + use wasi:io/streams@0.2.0.{output-stream}; get-stdout: func() -> output-stream; } interface stderr { - use wasi:io/streams@0.2.0-rc-2023-11-10.{output-stream}; + use wasi:io/streams@0.2.0.{output-stream}; get-stderr: func() -> output-stream; }