X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fdeforest%2FDefUtils.lhs;h=2170ecacebfad808fa0b9ebc9fcffa61cf3dda96;hb=0596517a9b4b2b32e5d375a986351102ac4540fc;hp=54f8eeb118c739a765522ad19940276f157b7027;hpb=6c381e873e222417d9a67aeec77b9555eca7b7a8;p=ghc-hetmet.git

diff --git a/ghc/compiler/deforest/DefUtils.lhs b/ghc/compiler/deforest/DefUtils.lhs
index 54f8eeb..2170eca 100644
--- a/ghc/compiler/deforest/DefUtils.lhs
+++ b/ghc/compiler/deforest/DefUtils.lhs
@@ -21,7 +21,7 @@
 >#endif
 
 > import Type		( cloneTyVar, mkTyVarTy, applyTypeEnvToTy,
-> 			  extractTyVarsFromTy, TyVar, SigmaType(..)
+> 			  tyVarsOfType, TyVar, SigmaType(..)
 >			  IF_ATTACK_PRAGMAS(COMMA cmpTyVar)
 >			)
 > import Literal	( Literal )	-- for Eq Literal
@@ -158,8 +158,8 @@ but l is guranteed to be finite so we choose that one.
 >       	Let (Rec bs) e      -> foldr freeBind (free e tvs) bs
 >       	SCC l e               -> free e tvs
 >
->	freeId id tvs = extractTyVarsFromTy (idType id) `union` tvs
->	freeTy t  tvs = extractTyVarsFromTy t `union` tvs
+>	freeId id tvs = tyVarsOfType (idType id) `union` tvs
+>	freeTy t  tvs = tyVarsOfType t `union` tvs
 >	freeBind (v,e) tvs = freeId v (free e tvs)
 
 > 	freeAtom (VarArg (DefArgExpr e)) tvs = free e tvs