Index files on first open (#1358)

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Author: wz1000

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

@@ -179,7 +179,7 @@ getFileContents f = do
       Nothing -> do
         foi <- use_ IsFileOfInterest f
         liftIO $ case foi of
-          IsFOI Modified -> getCurrentTime
+          IsFOI Modified{} -> getCurrentTime
           _ -> do
             (large,small) <- getModTime $ fromNormalizedFilePath f
             pure $ internalTimeToUTCTime large small

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

@@ -296,7 +296,10 @@ instance NFData   GetFileContents
 instance Binary   GetFileContents
 
 
-data FileOfInterestStatus = OnDisk | Modified
+data FileOfInterestStatus
+  = OnDisk
+  | Modified { firstOpen :: !Bool -- ^ was this file just opened
+             }
   deriving (Eq, Show, Typeable, Generic)
 instance Hashable FileOfInterestStatus
 instance NFData   FileOfInterestStatus

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

@@ -593,7 +593,7 @@ getHieAstRuleDefinition f hsc tmr = do
 
   isFoi <- use_ IsFileOfInterest f
   diagsWrite <- case isFoi of
-    IsFOI Modified -> do
+    IsFOI Modified{firstOpen = False} -> do
       when (coerce $ ideTesting se) $
         liftIO $ eventer se $ LSP.NotCustomServer $
           LSP.NotificationMessage "2.0" (LSP.CustomServerMethod "ghcide/reference/ready") (toJSON $ fromNormalizedFilePath f)

ghcide/src/Development/IDE/LSP/Notifications.hs

@@ -47,15 +47,15 @@ setHandlersNotifications = PartialHandlers $ \WithMessage{..} x -> return x
             whenUriFile _uri $ \file -> do
                 -- We don't know if the file actually exists, or if the contents match those on disk
                 -- For example, vscode restores previously unsaved contents on open
-                modifyFilesOfInterest ide (M.insert file Modified)
+                modifyFilesOfInterest ide (M.insert file Modified{firstOpen=True})
                 setFileModified ide False file
                 logInfo (ideLogger ide) $ "Opened text document: " <> getUri _uri
 
     ,LSP.didChangeTextDocumentNotificationHandler = withNotification (LSP.didChangeTextDocumentNotificationHandler x) $
         \_ ide (DidChangeTextDocumentParams identifier@VersionedTextDocumentIdentifier{_uri} changes) -> do
             updatePositionMapping ide identifier changes
             whenUriFile _uri $ \file -> do
-              modifyFilesOfInterest ide (M.insert file Modified)
+              modifyFilesOfInterest ide (M.insert file Modified{firstOpen=False})
               setFileModified ide False file
             logInfo (ideLogger ide) $ "Modified text document: " <> getUri _uri