ed255/pod2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

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

Browse source
This commit is contained in:
Rob Knight 2025-06-17 10:40:52 +02:00 • committed by GitHub
parent 3c6930dfe6
commit 462aaee061
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/middleware/operation.rs
View file

@ -346,10 +346,10 @@ impl Operation {
(Self::ProductOf(s1, s2, s3), ProductOf(v4, v5, v6)) => { (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::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::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)?) val(v4, s1)? == hash_op(val(v5, s2)?, val(v6, s3)?)
} }
(Self::Custom(CustomPredicateRef { batch, index }, args), Custom(cpr, s_args)) (Self::Custom(CustomPredicateRef { batch, index }, args), Custom(cpr, s_args))