X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypes%2FTyCon.lhs;h=a4bf2bc2e1af2778e7552c4bc727e5fec995f6f6;hb=4166dff80e8ec94022a040318ff2759913fbbe06;hp=5592d0014114ef904440cf13840e21cd28f444a2;hpb=c271b64780a6504e7ccd4cc422dfc90678ea966f;p=ghc-hetmet.git

diff --git a/ghc/compiler/types/TyCon.lhs b/ghc/compiler/types/TyCon.lhs
index 5592d00..a4bf2bc 100644
--- a/ghc/compiler/types/TyCon.lhs
+++ b/ghc/compiler/types/TyCon.lhs
@@ -387,7 +387,9 @@ isRecursiveTyCon other				      = False
 
 \begin{code}
 tyConDataCons :: TyCon -> [DataCon]
-tyConDataCons tycon = ASSERT2( not (null cons), ppr tycon ) cons
+tyConDataCons tycon = ASSERT2( not (null cons), ppr tycon ) 
+		      ASSERT2( length cons == tyConFamilySize tycon, ppr tycon )
+		      cons
 		    where
 		      cons = tyConDataConsIfAvailable tycon