switch parse normalize

Jump to bottom

Norbert Preining edited this page Oct 6, 2017 · 2 revisions

`parse normalize` switch

If this switch is 'on' (defalult is 'off'), terms with associative operators are always parsed as right associative.

CafeOBJ Reference Manual (c) 2015-2018 CafeOBJ Development Team

Clone this wiki locally