From a26cca812ccc549e2e8e6112c60cb7fddfbd4f9c Mon Sep 17 00:00:00 2001
From: sof <unknown>
Date: Sat, 26 Jul 1997 03:27:26 +0000
Subject: [PATCH] [project @ 1997-07-26 03:27:26 by sof] moved TcIdOcc and
 TcIdBndr (+instances) to TcType

---
 ghc/compiler/typecheck/TcHsSyn.lhs |   24 +-----------------------
 1 file changed, 1 insertion(+), 23 deletions(-)

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@}
-- 
1.7.10.4