X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcHsSyn.lhs;h=81be93e90c956f5f1ad98615e047bff84b296bf3;hb=e3b67289ad773d37576e763704baaca6b83d74db;hp=4b9fc3ce39c1ce0d2dcac2a7ec1f679f52bf94b8;hpb=2a74e354528a397235b42af49a99844c1712e8c4;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcHsSyn.lhs b/ghc/compiler/typecheck/TcHsSyn.lhs
index 4b9fc3c..81be93e 100644
--- a/ghc/compiler/typecheck/TcHsSyn.lhs
+++ b/ghc/compiler/typecheck/TcHsSyn.lhs
@@ -10,8 +10,6 @@ checker.
 #include "HsVersions.h"
 
 module TcHsSyn (
-	SYN_IE(TcIdBndr), TcIdOcc(..),
-	
 	SYN_IE(TcMonoBinds), SYN_IE(TcHsBinds), SYN_IE(TcPat),
 	SYN_IE(TcExpr), SYN_IE(TcGRHSsAndBinds), SYN_IE(TcGRHS), SYN_IE(TcMatch),
 	SYN_IE(TcStmt), SYN_IE(TcArithSeqInfo), SYN_IE(TcRecordBinds),
@@ -46,7 +44,7 @@ import Name	( Name{--O only-}, NamedThing(..) )
 import BasicTypes ( IfaceFlavour )
 import TcEnv	( tcLookupGlobalValueMaybe, tcExtendGlobalValEnv )
 import TcMonad
-import TcType	( SYN_IE(TcType), TcMaybe, SYN_IE(TcTyVar),
+import TcType	( TcIdOcc(..), SYN_IE(TcIdBndr), SYN_IE(TcType), TcMaybe, SYN_IE(TcTyVar),
 		  zonkTcTypeToType, zonkTcTyVarToTyVar
 		)
 import Usage	( SYN_IE(UVar) )
@@ -82,10 +80,6 @@ At the end of type checking we zonk everything to @Typechecked...@ datatypes,
 which have immutable type variables in them.
 
 \begin{code}
-type TcIdBndr s = GenId  (TcType s)	-- Binders are all TcTypes
-data TcIdOcc  s = TcId   (TcIdBndr s)	-- Bindees may be either
-		| RealId Id
-
 type TcHsBinds s     	= HsBinds (TcTyVar s) UVar (TcIdOcc s) (TcPat s)
 type TcMonoBinds s	= MonoBinds (TcTyVar s) UVar (TcIdOcc s) (TcPat s)
 type TcDictBinds s	= TcMonoBinds s
@@ -136,22 +130,6 @@ tcIdTyVars (TcId id)  = tyVarsOfType (idType id)
 tcIdTyVars (RealId _) = emptyTyVarSet		-- Top level Ids have no free type variables
 \end{code}
 
-\begin{code}
-instance Eq (TcIdOcc s) where
-  (TcId id1)   == (TcId id2)   = id1 == id2
-  (RealId id1) == (RealId id2) = id1 == id2
-  _	       == _	       = False
-
-instance Outputable (TcIdOcc s) where
-  ppr sty (TcId id)   = ppr sty id
-  ppr sty (RealId id) = ppr sty id
-
-instance NamedThing (TcIdOcc s) where
-  getName (TcId id)   = getName id
-  getName (RealId id) = getName id
-\end{code}
-
-
 %************************************************************************
 %*									*
 \subsection[BackSubst-HsBinds]{Running a substitution over @HsBinds@}