SDF3 defines its own syntax for the left-hand side of productive rules and templates (either an ID or a SortCons). This conflicts with old SDF2 rules, where the right-hand side is a Symbol. As a consequence, some things can only be expressed in reductive rules and not in the new format. Furthermore, predefined symbols such as LAYOUT are recognised as ID. This leads to wrong ASTs.

Syntactically, this is easily changeable, but might have a bigger impact on transformation rules.

Submitted by Guido Wachsmuth on 24 September 2013 at 22:57