From 18f687b55b2196f4280612347af065366f72dee5 Mon Sep 17 00:00:00 2001 From: raoxiaojia Date: Wed, 10 Jun 2026 18:21:27 +0100 Subject: [PATCH] fixed prose for is_packtype --- specification/wasm-3.0/2.3-validation.instructions.spectec | 2 +- specification/wasm-latest/2.3-validation.instructions.spectec | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/specification/wasm-3.0/2.3-validation.instructions.spectec b/specification/wasm-3.0/2.3-validation.instructions.spectec index 8739c20b1a..6766600a92 100644 --- a/specification/wasm-3.0/2.3-validation.instructions.spectec +++ b/specification/wasm-3.0/2.3-validation.instructions.spectec @@ -252,7 +252,7 @@ rule Instr_ok/struct.new_default: -- Expand: C.TYPES[x] ~~ STRUCT (mut? zt)* -- (Defaultable: |- $unpack(zt) DEFAULTABLE)* -def $is_packtype(storagetype) : bool hint(show %1 = $unpack(%1)) hint(prose "%1 is a packed type") +def $is_packtype(storagetype) : bool hint(show %1 =/= $unpack(%1)) hint(prose "%1 is a packed type") def $is_packtype(zt) = zt =/= $unpack(zt) rule Instr_ok/struct.get: diff --git a/specification/wasm-latest/2.3-validation.instructions.spectec b/specification/wasm-latest/2.3-validation.instructions.spectec index 8739c20b1a..6766600a92 100644 --- a/specification/wasm-latest/2.3-validation.instructions.spectec +++ b/specification/wasm-latest/2.3-validation.instructions.spectec @@ -252,7 +252,7 @@ rule Instr_ok/struct.new_default: -- Expand: C.TYPES[x] ~~ STRUCT (mut? zt)* -- (Defaultable: |- $unpack(zt) DEFAULTABLE)* -def $is_packtype(storagetype) : bool hint(show %1 = $unpack(%1)) hint(prose "%1 is a packed type") +def $is_packtype(storagetype) : bool hint(show %1 =/= $unpack(%1)) hint(prose "%1 is a packed type") def $is_packtype(zt) = zt =/= $unpack(zt) rule Instr_ok/struct.get: