reformat parser.mly