X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FbasicTypes%2FMkId.lhs;h=403d309b9c306950d8298b5ce98b1da221b3e8c8;hb=4ae1e17253f4417303e46d59f5a737cc1d7fd78e;hp=bcfd33d3516625172e6ed91af804e71f0e39d75c;hpb=55710e16202e985f8e4f910a09dfc2d0298ca255;p=ghc-hetmet.git

diff --git a/compiler/basicTypes/MkId.lhs b/compiler/basicTypes/MkId.lhs
index bcfd33d..403d309 100644
--- a/compiler/basicTypes/MkId.lhs
+++ b/compiler/basicTypes/MkId.lhs
@@ -279,7 +279,7 @@ mkDataConIds wrap_name wkr_name data_con
 	  	   wrapNewTypeBody tycon res_ty_args
                        (Var id_arg1)
 
-    id_arg1 = mkTemplateLocal 1 (head orig_arg_tys)
+    id_arg1 = ASSERT( not (null orig_arg_tys) ) mkTemplateLocal 1 (head orig_arg_tys)
 
 	----------- Wrapper --------------
 	-- We used to include the stupid theta in the wrapper's args
@@ -492,7 +492,7 @@ mkRecordSelId tycon field_label
     data_cons_w_field = filter has_field data_cons	-- Can't be empty!
     has_field con     = field_label `elem` dataConFieldLabels con
 
-    con1	= head data_cons_w_field
+    con1	= ASSERT( not (null data_cons_w_field) ) head data_cons_w_field
     (univ_tvs, _, eq_spec, _, _, data_ty) = dataConFullSig con1
 	-- For a data type family, the data_ty (and hence selector_ty) mentions
 	-- only the family TyCon, not the instance TyCon