Post-analysis expression-type copying
After analysis I do generic traversals over ASTs that deconstruct and construct terms. I construct terms (constructor, arguments, annotations, and origins), but I cannot add the correct term-identity-NaBL2 attachments. (The expressions that I construct need to take their types from the original expression.)
Suggested fix: use annotations instead of attachments.
Alternative fix: provide an 'analyze this expression in that scope' api.
Workaround: duplicate expression type analysis in stratego code?Submitted by Daco Harkes on 31 January 2017 at 13:25
Log in to post comments