From 85fe51f62403dd21c6504d54a6cf1cf3704f77dd Mon Sep 17 00:00:00 2001
From: Elizabeth Gilbert <evgilber@andrew.cmu.edu>
Date: Tue, 27 Oct 2026 14:14:58 -0400
Subject: [PATCH] skip match on bindArg of block-type opcodes

---
 src/util/Whamm.v3 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/util/Whamm.v3 b/src/util/Whamm.v3
index 3541d3e66..dddaf0218 100644
--- a/src/util/Whamm.v3
+++ b/src/util/Whamm.v3
@@ -690,7 +690,7 @@ class WhammVarBinder(wi: WhammInstance, err: ErrorGen) {
 		if (n >= args) {
 			var msg = Strings.format2("argument out of bounds, max arg%d, requested arg%d", args - 1, n);
 			match (op) {
-				CALL, CALL_INDIRECT => {
+				CALL, CALL_INDIRECT, BLOCK, LOOP, IF => {
 					if (Trace.whamm) Trace.OUT.ln().put1("    no match: %s", msg).ln();
 				} // no match
 				_ => {
@@ -703,7 +703,7 @@ class WhammVarBinder(wi: WhammInstance, err: ErrorGen) {
 		def t   = stk[args - n - 1];
 		if (expType != t) {
 			match (op) {
-				CALL, CALL_INDIRECT => {
+				CALL, CALL_INDIRECT, BLOCK, LOOP, IF => {
 					if (Trace.whamm) Trace.OUT.ln().put1("    no match: %s", buildTypeMismatchErr(WhammParam.Arg(null, u31.!(n)).render, t.render, expType.render)).ln();
 				} // no match
 				_ => {