Richard Eisenberg eir at cis.upenn.edu
Thu Dec 3 18:43:11 UTC 2015

Hi devs,

I'm (once again) merging master into my type=kind branch. I see that we now have tyVarsOfTypeAcc :: Type -> FV, distinct from tyVarsOfType :: Type -> TyVarSet. I trust that this new version is more performant. However, I have a question: in the implementation of these functions, the three extra FV parameters (fv_cand in_scope acc) are bound and passed each time. 


I've always understood that eta-reducing in function definitions is better than expanding. Or is this just a style choice?


More information about the ghc-devs mailing list