pushed
zhengqunkoo/hipsleek • 3:48 AM - Jul 14, 2020
The parser grammar in remove-aliases.py previously recognized * and + in expression contexts but omitted -, which could cause valid subtraction expressions to fail during alias removal. This change extends operatorsExp to include the minus operator, bringing the grammar in line with expected arithmetic syntax. Practically, expressions using subtraction should now parse and transform cleanly.