From 997b40622addb1a2a3c1a668d3d542ab0c300de6 Mon Sep 17 00:00:00 2001
From: Dave Bakker <github@davebakker.io>
Date: Thu, 1 Feb 2024 15:15:07 +0100
Subject: [PATCH] Require there to be at least one item. Fixes
 https://github.com/WebAssembly/wasi-io/issues/67

---
 imports.md   | 7 +++++--
 wit/poll.wit | 5 +++--
 2 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/imports.md b/imports.md
index 1ae5b12..1eb7047 100644
--- a/imports.md
+++ b/imports.md
@@ -77,8 +77,11 @@ containing only this pollable.</p>
 interest, and waits until one or more of the events is ready for I/O.</p>
 <p>The result <code>list&lt;u32&gt;</code> contains one or more indices of handles in the
 argument list that is ready for I/O.</p>
-<p>If the list contains more elements than can be indexed with a <code>u32</code>
-value, this function traps.</p>
+<p>This function traps if either:</p>
+<ul>
+<li>the list is empty, or:</li>
+<li>the list contains more elements than can be indexed with a <code>u32</code> value.</li>
+</ul>
 <p>A timeout can be implemented by adding a pollable from the
 wasi-clocks API to the list.</p>
 <p>This function does not return a <code>result</code>; polling in itself does not
diff --git a/wit/poll.wit b/wit/poll.wit
index ddc67f8..8139064 100644
--- a/wit/poll.wit
+++ b/wit/poll.wit
@@ -27,8 +27,9 @@ interface poll {
     /// The result `list<u32>` contains one or more indices of handles in the
     /// argument list that is ready for I/O.
     ///
-    /// If the list contains more elements than can be indexed with a `u32`
-    /// value, this function traps.
+    /// This function traps if either:
+    /// - the list is empty, or:
+    /// - the list contains more elements than can be indexed with a `u32` value.
     ///
     /// A timeout can be implemented by adding a pollable from the
     /// wasi-clocks API to the list.