X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FInst.lhs;h=3bfde1c830bfbbfe3301314689d8fbbd8f058384;hp=1c8cc423b2c475c87b207d8990a4592cf8b583d6;hb=9da4639011348fb6c318e3cba4b08622f811d9c4;hpb=e6d057711f4d6d6ff6342c39fa2b9e44d25447f1

diff --git a/compiler/typecheck/Inst.lhs b/compiler/typecheck/Inst.lhs
index 1c8cc42..3bfde1c 100644
--- a/compiler/typecheck/Inst.lhs
+++ b/compiler/typecheck/Inst.lhs
@@ -28,7 +28,7 @@ module Inst (
 	tcExtendLocalInstEnv, tcGetInstEnvs, getOverlapFlag,
 
 	isDict, isClassDict, isMethod, 
-	isLinearInst, linearInstType, isIPDict, isInheritableInst,
+	isIPDict, isInheritableInst,
 	isTyVarDict, isMethodFor, 
 
 	zonkInst, zonkInsts,
@@ -63,7 +63,7 @@ import TcType	( Type, TcType, TcThetaType, TcTyVarSet, TcPredType,
 		  isIntTy,isFloatTy, isIntegerTy, isDoubleTy,
 		  mkPredTy, mkTyVarTys,
 		  tyVarsOfType, tyVarsOfTypes, tyVarsOfPred, tidyPred,
-		  isClassPred, isTyVarClassPred, isLinearPred, 
+		  isClassPred, isTyVarClassPred, 
 		  getClassPredTys, mkPredName,
 		  isInheritablePred, isIPPred, 
 		  tidyType, tidyTypes, tidyFreeTyVars, tcSplitSigmaTy, 
@@ -189,17 +189,6 @@ isMethod other	     = False
 isMethodFor :: TcIdSet -> Inst -> Bool
 isMethodFor ids (Method uniq id tys _ loc) = id `elemVarSet` ids
 isMethodFor ids inst			   = False
-
-isLinearInst :: Inst -> Bool
-isLinearInst (Dict _ pred _) = isLinearPred pred
-isLinearInst other	     = False
-	-- We never build Method Insts that have
-	-- linear implicit paramters in them.
-	-- Hence no need to look for Methods
-	-- See TcExpr.tcId 
-
-linearInstType :: Inst -> TcType	-- %x::t  -->  t
-linearInstType (Dict _ (IParam _ ty) _) = ty
 \end{code}