projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 1996-03-21 12:46:33 by partain]
[ghc-hetmet.git]
/
ghc
/
compiler
/
deforest
/
DefUtils.lhs
diff --git
a/ghc/compiler/deforest/DefUtils.lhs
b/ghc/compiler/deforest/DefUtils.lhs
index
54f8eeb
..
2170eca
100644
(file)
--- a/
ghc/compiler/deforest/DefUtils.lhs
+++ b/
ghc/compiler/deforest/DefUtils.lhs
@@
-21,7
+21,7
@@
>#endif
> import Type ( cloneTyVar, mkTyVarTy, applyTypeEnvToTy,
>#endif
> import Type ( cloneTyVar, mkTyVarTy, applyTypeEnvToTy,
-> extractTyVarsFromTy, TyVar, SigmaType(..)
+> tyVarsOfType, TyVar, SigmaType(..)
> IF_ATTACK_PRAGMAS(COMMA cmpTyVar)
> )
> import Literal ( Literal ) -- for Eq Literal
> 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
>
> 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
> freeBind (v,e) tvs = freeId v (free e tvs)
> freeAtom (VarArg (DefArgExpr e)) tvs = free e tvs