initTc :: DynFlags
-> TcEnv
- -> SrcLoc
-> TcM r
-> IO (Maybe r, (Bag ErrMsg, Bag WarnMsg))
-initTc dflags tc_env src_loc do_this
+initTc dflags tc_env do_this
= do {
us <- mkSplitUniqSupply 'a' ;
us_var <- newIORef us ;
let
init_down = TcDown dflags [] us_var dfun_var
- src_loc
+ noSrcLoc
[] errs_var
;