X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FType.lhs;h=bddcdd1612bcaabb7c6ab9571f7cc1cd49fb4589;hb=2e3b6bd7e00fa3faaa07ea0badee7f020a7c8306;hp=9561c192a18d2cfb899b23d63fe7a08d27fbc77c;hpb=f6ee56796bde1970196a2e3bf6ba303e3f7ed2b4;p=ghc-hetmet.git

diff --git a/compiler/types/Type.lhs b/compiler/types/Type.lhs
index 9561c19..bddcdd1 100644
--- a/compiler/types/Type.lhs
+++ b/compiler/types/Type.lhs
@@ -72,7 +72,7 @@ module Type (
 
 	-- Free variables
 	tyVarsOfType, tyVarsOfTypes, tyVarsOfPred, tyVarsOfTheta,
-	typeKind, addFreeTyVars,
+	typeKind,
 
         -- Type families
         tyFamInsts,
@@ -748,11 +748,6 @@ tyVarsOfPred (EqPred ty1 ty2) = tyVarsOfType ty1 `unionVarSet` tyVarsOfType ty2
 
 tyVarsOfTheta :: ThetaType -> TyVarSet
 tyVarsOfTheta = foldr (unionVarSet . tyVarsOfPred) emptyVarSet
-
--- Add a Note with the free tyvars to the top of the type
-addFreeTyVars :: Type -> Type
-addFreeTyVars ty@(NoteTy (FTVNote _) _)      = ty
-addFreeTyVars ty			     = NoteTy (FTVNote (tyVarsOfType ty)) ty
 \end{code}