remove unused expressions

butterunderflow · butterunderflow · commit c420a2a6ab4f · 2025-07-05T21:54:20.000+08:00
diff --git a/src/main/scala/wasm/StagedMiniWasm.scala b/src/main/scala/wasm/StagedMiniWasm.scala
@@ -433,10 +433,10 @@ trait StagedWasmEvaluator extends SAIOps {
 
     def push(v: StagedNum)(implicit ctx: Context): Context = {
       v match {
-        case I32(v) => NumType(I32Type); "stack-push".reflectCtrlWith[Unit](v)
-        case I64(v) => NumType(I64Type); "stack-push".reflectCtrlWith[Unit](v)
-        case F32(v) => NumType(F32Type); "stack-push".reflectCtrlWith[Unit](v)
-        case F64(v) => NumType(F64Type); "stack-push".reflectCtrlWith[Unit](v)
+        case I32(v) => "stack-push".reflectCtrlWith[Unit](v)
+        case I64(v) => "stack-push".reflectCtrlWith[Unit](v)
+        case F32(v) => "stack-push".reflectCtrlWith[Unit](v)
+        case F64(v) => "stack-push".reflectCtrlWith[Unit](v)
       }
       ctx.push(v.tipe)
     }

Original file line number	Diff line number	Diff line change
`@@ -433,10 +433,10 @@ trait StagedWasmEvaluator extends SAIOps {`
`433`	`433`
`434`	`434`	`def push(v: StagedNum)(implicit ctx: Context): Context = {`
`435`	`435`	`v match {`
`436`		`- case I32(v) => NumType(I32Type); "stack-push".reflectCtrlWith[Unit](v)`
`437`		`- case I64(v) => NumType(I64Type); "stack-push".reflectCtrlWith[Unit](v)`
`438`		`- case F32(v) => NumType(F32Type); "stack-push".reflectCtrlWith[Unit](v)`
`439`		`- case F64(v) => NumType(F64Type); "stack-push".reflectCtrlWith[Unit](v)`
	`436`	`+ case I32(v) => "stack-push".reflectCtrlWith[Unit](v)`
	`437`	`+ case I64(v) => "stack-push".reflectCtrlWith[Unit](v)`
	`438`	`+ case F32(v) => "stack-push".reflectCtrlWith[Unit](v)`
	`439`	`+ case F64(v) => "stack-push".reflectCtrlWith[Unit](v)`
`440`	`440`	`}`
`441`	`441`	`ctx.push(v.tipe)`
`442`	`442`	`}`