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?


  • 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

Log in to post comments