[PATCH draft-devault-bare] Improve union invariant

This thread contains a patchset. You're looking at the original emails, but you may wish to use the patch review UI. Review patch

[PATCH draft-devault-bare] Improve union invariant

Jiri Vlasak <jiri.hubacek@gmail.com>

Details

Message ID: <20240226215438.2945374-1-jiri.hubacek@gmail.com>
DKIM signature: pass

Download raw message

9 months ago

Patch: +3 -2

---
 draft-devault-bare-10.xml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/draft-devault-bare-10.xml b/draft-devault-bare-10.xml
index a2567f9..d42c0e9 100644
--- a/draft-devault-bare-10.xml
+++ b/draft-devault-bare-10.xml
@@ -480,8 +480,9 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
           </li>
 
           <li>
-            Unions MUST have at least one type, and each type of a union MUST
-            be unique.
+            Unions MUST have at least one type, each type of a union MUST be
+            unique and each numeric identifier assigned to a type MUST be
+            unique.
           </li>
 
           <li>
-- 
2.34.1

~sircmpwn/public-inbox

[PATCH draft-devault-bare] Improve union invariant