X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FInst.lhs;h=d6cf344b90c834646ac22ae2a70177388c883e89;hb=9d7da331989abcd1844e9d03b8d1e4163796fa85;hp=21466a8f2f4595c9c187525945139d1e939d81e2;hpb=0c53bd0e1b02dea0bde32cd7eb8ccb5ee2d3719e;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/Inst.lhs b/ghc/compiler/typecheck/Inst.lhs
index 21466a8..d6cf344 100644
--- a/ghc/compiler/typecheck/Inst.lhs
+++ b/ghc/compiler/typecheck/Inst.lhs
@@ -43,8 +43,7 @@ import {-# SOURCE #-}	TcUnify	( unifyTauTy )	-- Used in checkKind (sigh)
 
 import HsSyn	( HsLit(..), HsOverLit(..), HsExpr(..), LHsExpr, mkHsApp,
 		  nlHsLit, nlHsVar )
-import TcHsSyn	( TcId, TcIdSet, 
-		  mkHsTyApp, mkHsDictApp, zonkId, 
+import TcHsSyn	( mkHsTyApp, mkHsDictApp, zonkId, 
 		  mkCoercion, ExprCoFn
 		)
 import TcRnMonad
@@ -59,12 +58,12 @@ import TcMType	( zonkTcType, zonkTcTypes, zonkTcPredType, zonkTcThetaType,
 import TcType	( Type, TcType, TcThetaType, TcTyVarSet, TcTyVar, TcPredType,
 		  PredType(..), SkolemInfo(..), typeKind, mkSigmaTy,
 		  tcSplitForAllTys, mkFunTy,
-		  tcSplitPhiTy, tcIsTyVarTy, tcSplitDFunHead,
+		  tcSplitPhiTy, tcSplitDFunHead,
 		  isIntTy,isFloatTy, isIntegerTy, isDoubleTy,
 		  mkPredTy, mkTyVarTy, mkTyVarTys,
 		  tyVarsOfType, tyVarsOfTypes, tyVarsOfPred, tidyPred,
 		  isClassPred, isTyVarClassPred, isLinearPred, 
-		  getClassPredTys, getClassPredTys_maybe, mkPredName,
+		  getClassPredTys, mkPredName,
 		  isInheritablePred, isIPPred, 
 		  tidyType, tidyTypes, tidyFreeTyVars, tcSplitSigmaTy, 
 		  pprPred, pprParendType, pprTheta 
@@ -78,9 +77,9 @@ import HscTypes	( ExternalPackageState(..) )
 import CoreFVs	( idFreeTyVars )
 import DataCon	( DataCon, dataConTyVars, dataConStupidTheta, dataConName, dataConWrapId )
 import Id	( Id, idName, idType, mkUserLocal, mkLocalId )
-import PrelInfo	( isStandardClass, isNoDictClass )
+import PrelInfo	( isNoDictClass )
 import Name	( Name, mkMethodOcc, getOccName, getSrcLoc, nameModule,
-		  isInternalName, setNameUnique, mkSystemVarNameEncoded )
+		  isInternalName, setNameUnique, mkSystemVarName )
 import NameSet	( addOneToNameSet )
 import Literal	( inIntRange )
 import Var	( TyVar, tyVarKind, setIdType )
@@ -399,9 +398,7 @@ newLitInst orig lit expected_ty	-- Make a LitInst
   = do 	{ loc <- getInstLoc orig
 	; new_uniq <- newUnique
 	; let
-		lit_nm   = mkSystemVarNameEncoded new_uniq FSLIT("lit")
-		-- The "encoded" bit means that we don't need to
-		-- z-encode the string every time we call this!
+		lit_nm   = mkSystemVarName new_uniq FSLIT("lit")
 		lit_inst = LitInst lit_nm lit expected_ty loc
 	; extendLIE lit_inst
 	; return (HsVar (instToId lit_inst)) }