Spoofax 2.6.0 Migration Guide¶
SDF3¶
In a coming version of Spoofax 2 it will be required to properly declare sorts
in SDF3 syntax definitions. Sorts for which context-free rules are defined
should be declared in a context-free sorts
block:
context-free sorts
Stmt Expr
Note: For backward compatibility, sorts declared in a plain
sorts
block are treated as context-free sorts. So this is equivalent and also fine:sorts Stmt Expr
Sorts for which lexical rules are defined should be declared in a
lexical sorts
block:
lexical sorts
ID INT STRING