Inconsistent application of post-analysis transformation in default analysis strategies
There are two default strategies which drive the static analysis:Submitted by Guido Wachsmuth on 29 March 2014 at 12:01
analysis-multiple-default. Both take strategy parameters for pre- and post-analysis transformations such as desugarings or normalisations.
analysis-single-defaultapplies the post-analysis transformation to the result tuple of the analysis, while
analysis-multiple-defaultapplies it only to the analysed AST, which seems to be the right thing to do here.
Related to this: Is it possible to have a setup index and task engine, when the post-analysis is applied?
Fixed in https://github.com/metaborg/runtime-libraries/commit/42ca162cb97cc7564ab9b06e915f04c050b89bbd. The index and task engine are already set up before the post analysis transformation.
Log in to post comments