Hi all
I tested the IMPLIES boolean operator patch.
First, I reproduced the issue on the unpatched PostgreSQL, where using
the IMPLIES operator resulted in a syntax error. I then applied the
two patches, rebuilt PostgreSQL, and repeated the same tests.
After applying the patch, I verified the IMPLIES operator with all
TRUE/FALSE combinations and confirmed that its results match the
equivalent NOT a OR b expressions. I also tested its use in a CHECK
constraint, including both valid and invalid cases. In addition, I
tested NULL handling, right associativity, and rejection of
non-boolean operands.
All the tested cases behaved as expected. Finally, I ran the
PostgreSQL regression test suite, and all tests passed.
Overall, the patch is working as expected based on the tests performed.
Regards
solai
