From 0206d4643c6942e607188f86c892693168277dd4 Mon Sep 17 00:00:00 2001 From: Roman Volosatovs Date: Fri, 26 Apr 2024 21:19:21 +0200 Subject: [PATCH] special-case `s8` and `u8` in `Binary.md` Special case `s8` and `u8` to ensure that exactly 1 byte is used to represent values of those types https://github.com/WebAssembly/component-model/pull/336#discussion_r1581432010 Signed-off-by: Roman Volosatovs --- design/mvp/Binary.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/design/mvp/Binary.md b/design/mvp/Binary.md index 0d45df25..7621bdc3 100644 --- a/design/mvp/Binary.md +++ b/design/mvp/Binary.md @@ -358,8 +358,8 @@ Notes: value ::= t: v: => (value t v) val(bool) ::= 0x00 => false | 0x01 => true -val(u8) ::= v: => v -val(s8) ::= v: => v +val(u8) ::= v: => v +val(s8) ::= v: => v if v < 128 else (v - 256) val(s16) ::= v: => v val(u16) ::= v: => v val(s32) ::= v: => v