WIP

Author: Anton-Latukha

ghcide/src/Development/IDE/Core/Compile.hs

@@ -110,6 +110,7 @@ import           Development.IDE.GHC.Compat.Util   (emptyUDFM, plusUDFM)
 import qualified Language.LSP.Server               as LSP
 import qualified Language.LSP.Types                as LSP
 import           Unsafe.Coerce
+import Data.Tuple.Extra (first)
 
 -- | Given a string buffer, return the string (after preprocessing) and the 'ParsedModule'.
 parseModule
@@ -996,22 +997,36 @@ getDocsBatch
   -> IO (Either ErrorMessages (Map.Map Name (Either GetDocsFailure (Maybe HsDocString, Maybe (Map.Map Int HsDocString)))))
   -- ^ Return a 'Map' of 'Name's to 'Either' (no docs messages) (general doc body & arg docs)
 getDocsBatch hsc_env _mod _names = do
-    ((_warns,errs), res) <- initTc hsc_env HsSrcFile False _mod fakeSpan $ Map.fromList <$> traverse findNameInfo _names
+    ((_warns,errs), res) <- initTc hsc_env HsSrcFile False _mod fakeSpan $ Map.fromList <$> traverse findNameInfo undefined
     pure $ maybeToEither errs res
  where
-    findNameInfo :: Name -> IOEnv (Env TcGblEnv TcLclEnv) (Name, Either GetDocsFailure (Maybe HsDocString, Maybe (Map.Map Int HsDocString)))
-    findNameInfo name =
-        case nameModule_maybe name of
-            Nothing -> return (name, Left $ NameHasNoModule name)
-            Just mod -> do
+    namesGroupedByModule :: [(Maybe Module, [Name])]
+    namesGroupedByModule =
+        groupSort $ fmap (first nameModule_maybe . dupe) _names
+
+    fun :: [(Maybe Module, [Name])] -> undefined
+    fun a = undefined
+
+
+    loadModuleInterfaceOnce :: Module -> TcRn ModIface
+    loadModuleInterfaceOnce =
+        loadModuleInterface "getModuleInterface"
+
+    loadedInterfaces :: [(Maybe (TcRn ModIface), [Name])]
+    loadedInterfaces =
+        fmap (first (fmap loadModuleInterfaceOnce)) namesGroupedByModule
+
+    --  2021-11-18: NOTE: This code initially was taken from: https://hackage.haskell.org/package/ghc-9.2.1/docs/src/GHC.Runtime.Eval.html#getDocs
+    findNameInfo :: Maybe Module -> Name -> IOEnv (Env TcGblEnv TcLclEnv) (Name, Either GetDocsFailure (Maybe HsDocString, Maybe (Map.Map Int HsDocString)))
+    findNameInfo Nothing name = return (name, Left $ NameHasNoModule name)
+    findNameInfo (Just mod) name = do
               ModIface
                 { mi_doc_hdr = mb_doc_hdr
                 , mi_decl_docs = DeclDocMap dmap
                 , mi_arg_docs = ArgDocMap amap
                 }
                 <- loadModuleInterface "getModuleInterface" mod
               pure . (name,) $
-                --  2021-11-17: NOTE: one does not simply check into Mordor (not 1 mode)
                 if isNothing mb_doc_hdr && Map.null dmap && Map.null amap
                 then Left $ NoDocsInIface mod $ isCompiled name
                 else Right (Map.lookup name dmap, Map.lookup name amap)