Hi all,

We've been using to GHC-as-a-library to implement some parts of our project.
Our goal is to use ghc to extract necessary type information from Haskell modules.

Everything works fine until we attempt to collect the declared type class instances from a packaged haskell module, like List, Monad, etc.
The program terminates with an error as follows,

getModuleInfo: instances for package module unimplemented

We manually trace into the source file /ghc/compiler/main/GHC.hs
and find the following snipet of code:

getPackageModuleInfo :: HscEnv -> Module -> IO (Maybe ModuleInfo)
getPackageModuleInfo hsc_env mdl = do
#ifdef GHCI
(_msgs, mb_avails) <- getModuleExports hsc_env mdl
case mb_avails of
    Nothing -> return Nothing
    Just avails -> do
    eps <- readIORef (hsc_EPS hsc_env)
    let
            names = availsToNameSet avails
        pte    = eps_PTE eps
        tys    = [ ty | name <- concatMap availNames avails,
                Just ty <- [lookupTypeEnv pte name] ]
    --
    return (Just (ModuleInfo {
            minf_type_env = mkTypeEnv tys,
            minf_exports   = names,
            minf_rdr_env   = Just $! nameSetToGlobalRdrEnv names (moduleName mdl),
            minf_instances = error "getModuleInfo: instances for package module unimplemented",
                        minf_modBreaks = emptyModBreaks
        }))

It is clearly that the field mind_instances is not assigned to a proper value.

Can someone kindly advise on how to implement the missing bit?
Or pointing out a workaround?

Thank you very much.

Best Regards,
Kenny Zhuo Ming Lu