Spoofax 2.5.15 Migration Guide¶
Statix Injection Explication¶
There was an issue with Statix injection explication where the origin of the top-level term was lost and this caused SPT tests of Stratego strategies on analyzed ASTs to fail. Fix this by wrapping the bodies of the
post-analyze strategies in
origin-track-forced, like this:
imports libspoofax/term/origin rules pre-analyze = origin-track-forced(explicate-injections-MyLang-Start) post-analyze = origin-track-forced(implicate-injections-MyLang-Start)
This is already fixed in new projects.
Created: September 15, 2023