projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
620f35e
)
[project @ 2003-11-17 14:44:07 by simonmar]
author
simonmar
<unknown>
Mon, 17 Nov 2003 14:44:07 +0000
(14:44 +0000)
committer
simonmar
<unknown>
Mon, 17 Nov 2003 14:44:07 +0000
(14:44 +0000)
GC dead code.
ghc/compiler/typecheck/TcTyDecls.lhs
patch
|
blob
|
history
diff --git
a/ghc/compiler/typecheck/TcTyDecls.lhs
b/ghc/compiler/typecheck/TcTyDecls.lhs
index
11d6858
..
6e880cb
100644
(file)
--- a/
ghc/compiler/typecheck/TcTyDecls.lhs
+++ b/
ghc/compiler/typecheck/TcTyDecls.lhs
@@
-12,7
+12,7
@@
files for imported data types.
\begin{code}
module TcTyDecls(
\begin{code}
module TcTyDecls(
- calcTyConArgVrcs, tyVarVrc,
+ calcTyConArgVrcs,
calcRecFlags, calcCycleErrs,
newTyConRhs
) where
calcRecFlags, calcCycleErrs,
newTyConRhs
) where
@@
-426,18
+426,6
@@
vrcInTy fao v (NewTcApp tc tys) = let pms1 = map (vrcInTy fao v) tys
vrcInTy fao v (PredTy st) = vrcInTy fao v (predTypeRep st)
\end{code}
vrcInTy fao v (PredTy st) = vrcInTy fao v (predTypeRep st)
\end{code}
-
-External entry point: assumes tyconargvrcs already computed.
-
-\begin{code}
-tyVarVrc :: TyVar -- tyvar to check Vrc of
- -> Type -- type to check for occ in
- -> (Bool,Bool) -- (occurs positively, occurs negatively)
-
-tyVarVrc = vrcInTy tyConArgVrcs
-\end{code}
-
-
Variance algebra
~~~~~~~~~~~~~~~~
Variance algebra
~~~~~~~~~~~~~~~~