X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcRnMonad.lhs;h=456bd7e45b4c2cdbfba46f83ed1cb4b2f09ea6f8;hb=cd2f5397bc1345fc37706168c268a8bd37af7f2f;hp=77d7374a8da7d44cce332deef4f1301ab79b0a80;hpb=a6f2d598e1e7760d334d1b5ea0b7745e66835e11;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcRnMonad.lhs b/compiler/typecheck/TcRnMonad.lhs
index 77d7374..456bd7e 100644
--- a/compiler/typecheck/TcRnMonad.lhs
+++ b/compiler/typecheck/TcRnMonad.lhs
@@ -107,19 +107,21 @@ initTc hsc_env hsc_src keep_rn_syntax mod do_this
                 tcg_rn_exports = maybe_rn_syntax [],
 		tcg_rn_decls   = maybe_rn_syntax emptyRnGroup,
 
-		tcg_binds    = emptyLHsBinds,
-		tcg_ev_binds = emptyBag,
-		tcg_warns    = NoWarnings,
-		tcg_anns     = [],
-		tcg_insts    = [],
-		tcg_fam_insts= [],
-		tcg_rules    = [],
-		tcg_fords    = [],
-		tcg_dfun_n   = dfun_n_var,
-		tcg_keep     = keep_var,
-		tcg_doc_hdr  = Nothing,
-                tcg_hpc      = False,
-                tcg_main     = Nothing
+		tcg_binds     = emptyLHsBinds,
+		tcg_imp_specs = [],
+		tcg_sigs      = emptyNameSet,
+		tcg_ev_binds  = emptyBag,
+		tcg_warns     = NoWarnings,
+		tcg_anns      = [],
+		tcg_insts     = [],
+		tcg_fam_insts = [],
+		tcg_rules     = [],
+		tcg_fords     = [],
+		tcg_dfun_n    = dfun_n_var,
+		tcg_keep      = keep_var,
+		tcg_doc_hdr   = Nothing,
+                tcg_hpc       = False,
+                tcg_main      = Nothing
 	     } ;
 	     lcl_env = TcLclEnv {
 		tcl_errs       = errs_var,
@@ -963,8 +965,8 @@ setUntouchables untch_tvs thing_inside
   = updLclEnv (\ env -> env { tcl_untch = untch_tvs }) thing_inside 
 
 getUntouchables :: TcM TcTyVarSet 
-getUntouchables
-   = do { env <- getLclEnv; return (tcl_untch env) } 
+getUntouchables = do { env <- getLclEnv; return (tcl_untch env) } 
+   -- NB: no need to zonk this TcTyVarSet: they are, after all, untouchable!
 
 isUntouchable :: TcTyVar -> TcM Bool
 isUntouchable tv = do { env <- getLclEnv; return (tv `elemVarSet` tcl_untch env) }