Hi all,

I am stuck on the following problem.

Suppose you have two module

   Lib

   Client

where Client "imports" Lib. Now, while analyzing the Core of `Client` often I need to resolve the name of a `TyThing` defined inside `Lib`. Normally, this is easy enough: I simply use

   hscTcRcLookupName :: HscEnv -> Name -> IO (Maybe TyThing) 

defined inside HscMain.

**THE PROBLEM** However, I find that when the

relevant `Name` corresponds to something generated

by TemplateHaskell (inside `Lib`) then the above `hscTcRcLookupName` fails to return any result!

Even more oddly, suppose the name was

   BlogPostId

If there are TWO `TyThing`s with that name, e.g.

a type synonym defined

   type BlogPostId = ...

and also a data constructor for a data family

instance, then `hscTcRcLookupName` only returns

the type synonym, but refuses to return the data constructor.

Does anyone know what may be going on?

Thanks!

- Ranjit Jhala.