Commit 98a14ff0 authored by niteria's avatar niteria

Point to note about FV eta-expansion performance

parent 2e33320a
......@@ -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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment