Fix incorrect output statement types on operation check (#292)

robknight · web-flow · commit 462aaee061fc · 2025-06-17T01:40:52.000-07:00
diff --git a/src/middleware/operation.rs b/src/middleware/operation.rs
@@ -346,10 +346,10 @@ impl Operation {
             (Self::ProductOf(s1, s2, s3), ProductOf(v4, v5, v6)) => {
                 Self::check_int_fn(&val(v4, s1)?, &val(v5, s2)?, &val(v6, s3)?, prod_op)?
             }
-            (Self::MaxOf(s1, s2, s3), ProductOf(v4, v5, v6)) => {
+            (Self::MaxOf(s1, s2, s3), MaxOf(v4, v5, v6)) => {
                 Self::check_int_fn(&val(v4, s1)?, &val(v5, s2)?, &val(v6, s3)?, max_op)?
             }
-            (Self::HashOf(s1, s2, s3), ProductOf(v4, v5, v6)) => {
+            (Self::HashOf(s1, s2, s3), HashOf(v4, v5, v6)) => {
                 val(v4, s1)? == hash_op(val(v5, s2)?, val(v6, s3)?)
             }
             (Self::Custom(CustomPredicateRef { batch, index }, args), Custom(cpr, s_args))

Original file line number	Diff line number	Diff line change
`@@ -346,10 +346,10 @@ impl Operation {`
`346`	`346`	`(Self::ProductOf(s1, s2, s3), ProductOf(v4, v5, v6)) => {`
`347`	`347`	`Self::check_int_fn(&val(v4, s1)?, &val(v5, s2)?, &val(v6, s3)?, prod_op)?`
`348`	`348`	`}`
`349`		`- (Self::MaxOf(s1, s2, s3), ProductOf(v4, v5, v6)) => {`
	`349`	`+ (Self::MaxOf(s1, s2, s3), MaxOf(v4, v5, v6)) => {`
`350`	`350`	`Self::check_int_fn(&val(v4, s1)?, &val(v5, s2)?, &val(v6, s3)?, max_op)?`
`351`	`351`	`}`
`352`		`- (Self::HashOf(s1, s2, s3), ProductOf(v4, v5, v6)) => {`
	`352`	`+ (Self::HashOf(s1, s2, s3), HashOf(v4, v5, v6)) => {`
`353`	`353`	`val(v4, s1)? == hash_op(val(v5, s2)?, val(v6, s3)?)`
`354`	`354`	`}`
`355`	`355`	`(Self::Custom(CustomPredicateRef { batch, index }, args), Custom(cpr, s_args))`