These are the release notes for Spoofax vNext.
See the corresponding migration guide for migrating from Spoofax vPrev to Spoofax vNext.
Stratego has two new reserved words:
is. Local variables can be reserved words is they start with
', so you can use
Under the Stratego language options in your
metaborg.yaml file you can turn on the gradual type system, if you use the incremental compiler. This option is
gradual: static, and only tests the types statically. The default is
gradual: none right now, meaning the gradual type system is not on by default. There is an experimental third option
gradual: dynamic which not only checks the types statically but also inserts casts to check types dynamically where necessary.