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

Workaround: https://github.com/metaborg/nabl/blob/master/org.metaborg.meta.nabl2.shared/trans/nabl2/shared/ast.str#L27