From: simonmar <unknown>
Date: Mon, 17 Nov 2003 14:44:07 +0000 (+0000)
Subject: [project @ 2003-11-17 14:44:07 by simonmar]
X-Git-Tag: Approx_11550_changesets_converted~236
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=ebbd353bbdb858bed18bce6a2231e7c0af5a527c;hp=620f35ebd5d420a16b411a40c71407eba6dc69fb;p=ghc-hetmet.git

[project @ 2003-11-17 14:44:07 by simonmar]
GC dead code.
---

diff --git a/ghc/compiler/typecheck/TcTyDecls.lhs b/ghc/compiler/typecheck/TcTyDecls.lhs
index 11d6858..6e880cb 100644
--- 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(
-        calcTyConArgVrcs, tyVarVrc,
+        calcTyConArgVrcs,
 	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}
 
-
-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
 ~~~~~~~~~~~~~~~~