In IceDust, I create new IceDust expressions during compilation. In order to be able to compile to a target language, these expressions need to have types (and resolved references). Would it be possible to add analyze-ast(|scope) term -> analyzed-term?

Workaround:

• Duplicate NaBL2 rules in stratego
• Store the results in annotations
• Duplicate type-query rules to work for both scope graph and manual annotations

Submitted by Daco Harkes on 13 February 2017 at 11:30