pushed
zhengqunkoo/hipsleek • 7:56 AM - Jul 13, 2020
This change fixes a parser ambiguity in the boolean expression grammar by moving <= and >= ahead of < and > in the alternation list. Without that ordering, shorter operators can greedily match first and break parsing for the longer comparison forms. The update makes alias removal more reliable for expressions using non-strict comparisons, with a small but meaningful correctness improvement.