WIP only use GetHieAst on dependencies

Author: nlander

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

@@ -137,16 +137,22 @@ kick = do
             mRunLspT lspEnv $
                 LSP.sendNotification (LSP.SMethod_CustomMethod msg) $
                 toJSON $ map fromNormalizedFilePath files
+        isProjectFile :: NormalizedFilePath -> Bool
+        isProjectFile file = case getSourceFileOrigin file of
+            FromProject -> True
+            FromDependency -> False
+        projectFiles :: [NormalizedFilePath]
+        projectFiles = filter isProjectFile files
 
     signal (Proxy @"kick/start")
     liftIO $ progressUpdate progress KickStarted
 
     -- Update the exports map
-    results <- uses GenerateCore files
+    results <- uses GenerateCore projectFiles
             <* uses GetHieAst files
             -- needed to have non local completions on the first edit
             -- when the first edit breaks the module header
-            <* uses NonLocalCompletions files
+            <* uses NonLocalCompletions projectFiles
     let mguts = catMaybes results
     void $ liftIO $ atomically $ modifyTVar' exportsMap (updateExportsMapMg mguts)
 

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

@@ -1174,11 +1174,19 @@ defineEarlyCutoff' doDiagnostics cmp key file old mode action = do
                     Just (Succeeded ver v, _) -> Stale Nothing ver v
                     Just (Stale d ver v, _)   -> Stale d ver v
                     Just (Failed b, _)        -> Failed b
-                (bs, (diags, res)) <- actionCatch
-                    (do v <- action staleV; liftIO $ evaluate $ force v) $
-                    \(e :: SomeException) -> do
-                        pure (Nothing, ([ideErrorText file $ T.pack $ show e | not $ isBadDependency e],Nothing))
-
+                (bs, (diags, res)) <- do
+                    let doAction = actionCatch
+                            (do v <- action staleV; liftIO $ evaluate $ force v) $
+                            \(e :: SomeException) -> do
+                                pure (Nothing, ([ideErrorText file $ T.pack $ show e | not $ isBadDependency e],Nothing))
+                    case getSourceFileOrigin file of
+                        FromProject -> doAction
+                        FromDependency -> case eqT @k @GetHieAst of
+                            Just Refl -> doAction
+                            Nothing -> error $
+                                "defineEarlyCutoff': Undefined action for dependency source files\n"
+                                ++ show file ++ "\n"
+                                ++ show key
                 ver <- estimateFileVersionUnsafely key res file
                 (bs, res) <- case res of
                     Nothing -> do