There are two default strategies which drive the static analysis: analysis-single-default and analysis-multiple-default. Both take strategy parameters for pre- and post-analysis transformations such as desugarings or normalisations. analysis-single-default applies the post-analysis transformation to the result tuple of the analysis, while analysis-multiple-default applies it only to the analysed AST, which seems to be the right thing to do here.

Submitted by Guido Wachsmuth on 29 March 2014 at 12:01

On 29 March 2014 at 12:02 Guido Wachsmuth commented:

Related to this: Is it possible to have a setup index and task engine, when the post-analysis is applied?


On 29 March 2014 at 20:47 Gabriël Konat tagged @gohla

On 31 March 2014 at 11:24 Gabriël Konat commented:

Fixed in https://github.com/metaborg/runtime-libraries/commit/42ca162cb97cc7564ab9b06e915f04c050b89bbd. The index and task engine are already set up before the post analysis transformation.


On 31 March 2014 at 11:24 Gabriël Konat closed this issue.

Log in to post comments