Spoofax vNext¶

These are the release notes for the upcoming version of Spoofax.

See the corresponding migration guide for migrating from Spoofax vPrev to Spoofax vNext.

Changes¶

Fix issues with the implodePT and sdf2table Docker substitution scripts for MacOS 64-bit
Update Apache Commons Compress dependency to 1.21
Update Apache Commons IO dependency to 2.11.0
Update Guice dependencies to 4.2.3
Update Guava dependency to 30.1
Add Guava FailureAccess dependency, required by Guava >= 27.0

Integrate the Incremental Solver in Spoofax.
Add menu options to inspect Term Properties.
Fix issue where edges were closed twice in incremental solver when having debug log enabled.
Deprecate the concurrent property in favor of the mode (for language projects) or modes (for example projects) properties.
Allow singleton properties to be set to the same value multiple times.
Reduce number of cascading messages (can be disabled using runtime.statix.suppress-cascading-errors: false).
Show delay reasons and prevented completions on messages for unsolved constraints.
Add eq(term) lambda sugar.
Add runtime.statix.test-log option to show Statix test logging in the console.
Fix bug where solver with return-on-first-error enabled would also return if the first failing constraint had a non-error message kind.
Fix several serialization issues.

Stratego 2 was introduced as a new meta-language based on Stratego 1, the incremental compiler for Stratego, and the gradual type system developed for Stratego, packaged as one project under a single name. There is a migration guide from Stratego (1) to Stratego 2 under the How-Tos. This gradually typed version of Stratego comes with a standard library that also has gradual types. The editor will give underline where casts are inserted with notes.
Stratego 2: Added the <* ("left try-some") strategy combinator that tries to apply the left strategy, then the right, and only fails if both fail. a <* b is sugar for a < b <+ id + b.
Origin tracking is now documented in a page in the Background section of the website.

Signature generator does not generate signatures for files whose module name ends with _StrategoMix.

Last update: 2022-05-27