-- Return the original expression, not the type-decorated one
; pendings <- readMutVar pending_splices
-- Return the original expression, not the type-decorated one
; pendings <- readMutVar pending_splices
; tcMetaTy typeQTyConName }
-- Result type is Type (= Q Typ)
tc_bracket _ (DecBr decls)
; tcMetaTy typeQTyConName }
-- Result type is Type (= Q Typ)
tc_bracket _ (DecBr decls)
-- Typecheck the declarations, dicarding the result
-- We'll get all that stuff later, when we splice it in
-- Typecheck the declarations, dicarding the result
-- We'll get all that stuff later, when we splice it in