X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FbasicTypes%2FId.lhs;h=9575acddfcf1168b4de74c7928ed79ffffe02460;hb=bbffa95af87bb66635aaffdaddcd31be063752dc;hp=b21292005f7a4f7d0fe8f89f099269a0766a5d63;hpb=713b32a591db467a8e9e266ffa3a3bf453b7d4c3;p=ghc-hetmet.git

diff --git a/ghc/compiler/basicTypes/Id.lhs b/ghc/compiler/basicTypes/Id.lhs
index b212920..9575acd 100644
--- a/ghc/compiler/basicTypes/Id.lhs
+++ b/ghc/compiler/basicTypes/Id.lhs
@@ -62,7 +62,6 @@ module Id (
 	idSpecialisation,
 	idCgInfo,
 	idCafInfo,
-	idCgArity,
 	idCprInfo,
 	idLBVarInfo,
 	idOccInfo,
@@ -266,11 +265,12 @@ isDataConWrapId id = case globalIdDetails id of
 			DataConWrapId con -> True
 			other	          -> False
 
-	-- hasNoBinding returns True of an Id which may not have a
-	-- binding, even though it is defined in this module.  Notably,
-	-- the constructors of a dictionary are in this situation.
+-- hasNoBinding returns True of an Id which may not have a
+-- binding, even though it is defined in this module.  
+-- Data constructor workers used to be things of this kind, but
+-- they aren't any more.  Instead, we inject a binding for 
+-- them at the CorePrep stage.
 hasNoBinding id = case globalIdDetails id of
-			DataConId _ -> True
 			PrimOpId _  -> True
 			FCallId _   -> True
 			other	    -> False
@@ -429,17 +429,6 @@ idCafInfo id = cgCafInfo (idCgInfo id)
 #endif
 
 	---------------------------------
-	-- CG ARITY
-idCgArity :: Id -> Arity
-#ifdef DEBUG
-idCgArity id = case cgInfo (idInfo id) of
-		  NoCgInfo -> pprPanic "idCgArity" (ppr id)
-		  info     -> cgArity info
-#else
-idCgArity id = cgArity (idCgInfo id)
-#endif
-
-	---------------------------------
 	-- CPR INFO
 idCprInfo :: Id -> CprInfo
 idCprInfo id = case cprInfo (idInfo id) of