Point to note about FV eta-expansion performance
authorBartosz Nitka <niteria@gmail.com>
Wed, 20 Apr 2016 22:31:14 +0000 (15:31 -0700)
committerBartosz Nitka <niteria@gmail.com>
Wed, 20 Apr 2016 22:31:14 +0000 (15:31 -0700)
compiler/types/TyCoRep.hs

index 3eb431d..e1f8534 100644 (file)
@@ -1370,6 +1370,7 @@ tyCoVarsOfTypeList ty = fvVarList $ tyCoFVsOfType ty
 -- See Note [FV naming conventions] in FV.
 --
 -- Eta-expanded because that makes it run faster (apparently)
+-- See Note [FV eta expansion] in FV for explanation.
 tyCoFVsOfType :: Type -> FV
 -- See Note [Free variables of types]
 tyCoFVsOfType (TyVarTy v)        a b c = (unitFV v `unionFV` tyCoFVsOfType (tyVarKind v)) a b c