pushed
zhengqunkoo/hipsleek • 7:55 AM - Jul 13, 2020
This change adjusts remove-aliases.py so boolExp can compare either plain expressions or expEnclosed values, instead of only bare exp terms. That fixes a parser limitation where parenthesized or enclosed expressions could not participate in <, >, <=, or >= boolean predicates. In practice, the alias-removal pass should now accept and handle a broader range of valid conditional syntax more reliably.