Hum. It is yesterday I was wrong.
If you assume lexical ordering, the proper translation of
(foo, bar) <= (:param1, :param2)
is
foo <= :param1 or (foo = :param1 and bar <= :param2)
which is definitely not equivalent to
foo <= :param1 and bar <= :param2
Sorry for yesterday, and hopefully I won’t keep changing my mind.
|