-- Result type is Type (= Q Typ)
tc_bracket (DecBr decls)
- = do { setModule thFAKE $ tcTopSrcDecls emptyModDetails decls
+ = do { tcTopSrcDecls emptyModDetails decls
-- Typecheck the declarations, dicarding the result
-- We'll get all that stuff later, when we splice it in
- -- See comments with RnExpr.rnBracket for the thFAKE stuff;
- -- the type checker uses the module name to decide which
- -- names are local (and hence can be found in the local
- -- type envt), so we do need to set the module here too.
; decl_ty <- tcMetaTy decTyConName
; q_ty <- tcMetaTy qTyConName