+ = do { loadHomeInterface msg v -- Reason: deprecation checking asumes the
+ -- home interface is loaded, and this is the
+ -- only way that is going to happen
+ ; tcMetaTy nameTyConName -- Result type is Var (not Q-monadic)
+ }
+ where
+ msg = ptext SLIT("Need interface for Template Haskell quoted Name")