X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcConDecls.lhs;fp=ghc%2Fcompiler%2Ftypecheck%2FTcConDecls.lhs;h=0000000000000000000000000000000000000000;hp=86519ac0969072bb8654568079fb4c0da7a047a6;hb=6c381e873e222417d9a67aeec77b9555eca7b7a8;hpb=8147a9f0bcc48ef0db1e91f8b985a4f5c3fed560

diff --git a/ghc/compiler/typecheck/TcConDecls.lhs b/ghc/compiler/typecheck/TcConDecls.lhs
deleted file mode 100644
index 86519ac..0000000
--- a/ghc/compiler/typecheck/TcConDecls.lhs
+++ /dev/null
@@ -1,55 +0,0 @@
-%
-% (c) The GRASP/AQUA Project, Glasgow University, 1992-1995
-%
-\section[TcConDecls]{Typechecking @ConDecls@}
-
-\begin{code}
-#include "HsVersions.h"
-
-module TcConDecls ( tcConDecls ) where
-
-import TcMonad		-- typechecking monadic machinery
-import AbsSyn
-
-import CE		( CE(..) )
-import E		( GVE(..), nullGVE, plusGVE )
-import Errors		( confusedNameErr )
-import Id		( mkDataCon, SpecEnv )
-import TCE		( TCE(..), UniqFM )
-import TVE		( TVE(..) )
-import TcMonoType	( tcMonoType )
-import Util
-\end{code}
-
-\begin{code}
-tcConDecls :: TCE -> TVE -> TyCon -> [TyVarTemplate] -> SpecEnv
-	   -> [RenamedConDecl] -> Baby_TcM GVE
-
-tcConDecls tce tve tycon tyvars specenv [] = returnB_Tc nullGVE
-
-tcConDecls tce tve tycon tyvars specenv (cd:cds) 
-  = tc_decl cd					`thenB_Tc` \ gve_fst ->
-    tcConDecls tce tve tycon tyvars specenv cds	`thenB_Tc` \ gve_rest ->
-    returnB_Tc (plusGVE gve_fst gve_rest)
-  where
-    tc_decl (ConDecl name@(OtherTopId uniq full_name) tys src_loc)
-      = addSrcLocB_Tc src_loc			 (
-	mapB_Tc (tcMonoType fake_CE tce tve) tys `thenB_Tc` \ arg_tys ->
-	returnB_Tc [(name, data_con arg_tys)]
-    	)
-      where
-	fake_CE = panic "tcConDecls:CE"
-
-	data_con arg_tys
-	  = mkDataCon uniq
-		      full_name
-		      tyvars
-		      [{-no context-}]
-		      arg_tys
-		      tycon
-		      specenv
-
-    tc_decl (ConDecl odd_name _ src_loc)
-      = failB_Tc (confusedNameErr "Bad name for a data constructor (a Prelude name?)"
-		    odd_name src_loc)
-\end{code}