X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcTyDecls.lhs;h=450dad952c46465bb45262a215f73b95473a6614;hb=bebb2614af8819da9298fb537d2a777743b3fabb;hp=cf4a69dad8ddb5e29ad9a00e3d5ed9b83088fa25;hpb=3a68f09199fb656512347c57f4a7a4f1215a36bd;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcTyDecls.lhs b/ghc/compiler/typecheck/TcTyDecls.lhs
index cf4a69d..450dad9 100644
--- a/ghc/compiler/typecheck/TcTyDecls.lhs
+++ b/ghc/compiler/typecheck/TcTyDecls.lhs
@@ -224,7 +224,7 @@ tc_con_decl_help tycon tyvars ctxt name wkr_name ex_tyvars ex_theta details
 	  field_label =
 	    case mb_f of
 	      Nothing -> []
-	      Just f  -> [mkFieldLabel (getName f) arg_ty (head allFieldLabelTags)]
+	      Just f  -> [mkFieldLabel (getName f) tycon arg_ty (head allFieldLabelTags)]
         in	      
 	mk_data_con [notMarkedStrict] [arg_ty] field_label
 
@@ -236,7 +236,7 @@ tc_con_decl_help tycon tyvars ctxt name wkr_name ex_tyvars ex_theta details
 	    arg_stricts       = [strict | (_, _, strict) <- field_label_infos]
 	    arg_tys	      = [ty     | (_, ty, _)     <- field_label_infos]
 
-	    field_labels      = [ mkFieldLabel (getName name) ty tag 
+	    field_labels      = [ mkFieldLabel (getName name) tycon ty tag 
 			      | ((name, ty, _), tag) <- field_label_infos `zip` allFieldLabelTags ]
 	in
 	mk_data_con arg_stricts arg_tys field_labels