Currently name and type analysis provides a hook for applying desugarings. Many desugarings that are relevant for transformations are expensive and not needed for name and type analysis. Applying these as part of analysis leads to expensive analysis.

Desugarings applied before analysis should be light weight.

In order to uniformly apply desugarings before transformations, provide a hook for that.

Submitted by Eelco Visser on 22 May 2014 at 09:48

I don’t understand what you mean by a hook for desugarings before transformations, just apply desugaring before applying transformation in the builder that performs the transformation? Or do you propose that there should be some kind of hook that is applied before invoking any builder? What about builders where you don’t want this desugaring to be applied?