X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FdeSugar%2FDesugar.lhs;h=e2b22ee3a6e1cd70168f70957fa7101a9f1d4d4b;hb=d77637338d311172efb17a4a7e99ac6c441543b1;hp=731d6ffcab92fbe2021fae6fcf9637c2295824ce;hpb=3d8dbba7d24c9139b800f4ccf31c50b11596fc2e;p=ghc-hetmet.git

diff --git a/compiler/deSugar/Desugar.lhs b/compiler/deSugar/Desugar.lhs
index 731d6ff..e2b22ee 100644
--- a/compiler/deSugar/Desugar.lhs
+++ b/compiler/deSugar/Desugar.lhs
@@ -71,6 +71,7 @@ deSugar hsc_env
 			    tcg_keep	     = keep_var,
 		    	    tcg_rdr_env      = rdr_env,
 		    	    tcg_fix_env      = fix_env,
+		    	    tcg_inst_env     = inst_env,
 		    	    tcg_fam_inst_env = fam_inst_env,
 	    	    	    tcg_deprecs      = deprecs,
 			    tcg_binds        = binds,
@@ -90,7 +91,7 @@ deSugar hsc_env
 	             HscNothing -> return (Just ([], [], NoStubs, noHpcInfo, emptyModBreaks))
                      _        -> do (binds_cvr,ds_hpc_info, modBreaks) 
 					      <- if opt_Hpc || target == HscInterpreted
-                                                 then addCoverageTicksToBinds dflags mod mod_loc binds
+                                                 then addCoverageTicksToBinds dflags mod mod_loc (typeEnvTyCons type_env) binds 
                                                  else return (binds, noHpcInfo, emptyModBreaks)
                                     initDs hsc_env mod rdr_env type_env $ do
 		                        { core_prs <- dsTopLHsBinds auto_scc binds_cvr
@@ -168,6 +169,7 @@ deSugar hsc_env
 		mg_types     	= type_env,
 		mg_insts     	= insts,
 		mg_fam_insts 	= fam_insts,
+		mg_inst_env     = inst_env,
 		mg_fam_inst_env = fam_inst_env,
 	        mg_rules     	= ds_rules,
 		mg_binds     	= ds_binds,