Mentions légales du service

Skip to content

Precedence of extraction driver symbols (fix #223)

Raphaël Rieu-Helft requested to merge 223_driver_symbols_precedence into master

This MR allows to define precedence level and associativity direction of syntax val driver symbols. Using this information in the extraction removes many useless parentheses.

TODO: add a way to define the precedence level of subterms inside driver definitions. This would allow to remove the parentheses around %1 in syntax val set "*(%1) = %2" prec 14 by specifying that %1 has the same precedence as the * operator.

Edited by Guillaume Melquiond

Merge request reports