xichekolas at gmail.com
Thu Dec 3 19:04:34 UTC 2015
Bartosz left a note in the diff about it being faster this way:
But yeah, I would have also thought it better eta-reduced.
On Thu, Dec 3, 2015 at 10:43 AM, Richard Eisenberg <eir at cis.upenn.edu> wrote:
> 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?
> ghc-devs mailing list
> ghc-devs at haskell.org
More information about the ghc-devs