From ebbd353bbdb858bed18bce6a2231e7c0af5a527c Mon Sep 17 00:00:00 2001 From: simonmar Date: Mon, 17 Nov 2003 14:44:07 +0000 Subject: [PATCH] [project @ 2003-11-17 14:44:07 by simonmar] GC dead code. --- ghc/compiler/typecheck/TcTyDecls.lhs | 14 +------------- 1 file changed, 1 insertion(+), 13 deletions(-) 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 ~~~~~~~~~~~~~~~~ -- 1.7.10.4