Handle ghc exception

Author: July541

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

@@ -62,7 +62,7 @@ getAtPoint file pos = runMaybeT $ do
   env <- hscEnv . fst <$> useE GhcSession file
   dkMap <- lift $ maybe (DKMap mempty mempty) fst <$> runMaybeT (useE GetDocMap file)
   void $ useE TypeCheck file
-  (hi, _) <- useE GetModIface file
+  hi <- fst <$> useE GetModIface file
 
   !pos' <- MaybeT (return $ fromCurrentPosition mapping pos)
 

ghcide/src/Development/IDE/GHC/Compat/Core.hs

@@ -382,6 +382,7 @@ module Development.IDE.GHC.Compat.Core (
     module GHC.Types.Name.Cache,
     module GHC.Types.Name.Env,
     module GHC.Types.Name.Reader,
+    module GHC.Utils.Error,
 #if MIN_VERSION_ghc(9,2,0)
     module GHC.Types.Avail,
     module GHC.Types.SourceFile,
@@ -392,7 +393,6 @@ module Development.IDE.GHC.Compat.Core (
     module GHC.Types.Unique.Supply,
     module GHC.Types.Var,
     module GHC.Unit.Module,
-    module GHC.Utils.Error,
 #else
     module BasicTypes,
     module Class,
@@ -622,7 +622,7 @@ import           GHC.Unit.Module.ModIface     (IfaceExport, ModIface (..),
 import           GHC.Unit.Module.ModSummary   (ModSummary (..))
 #endif
 import           GHC.Unit.State               (ModuleOrigin (..))
-import           GHC.Utils.Error              (Severity (..))
+import           GHC.Utils.Error              (Severity (..), emptyMessages)
 import           GHC.Utils.Panic              hiding (try)
 import qualified GHC.Utils.Panic.Plain        as Plain
 #else

ghcide/src/Development/IDE/Spans/AtPoint.hs

@@ -221,23 +221,28 @@ fixityAtPoint (HAR _ hf _ _ _) hi env pos = fmap listToMaybe $ sequence $ pointC
         then fmap (\fixities -> (Just range, [toHoverContent fixities])) (getFixityFromEnv names)
         else pure (Just range, [toHoverContent fixities])
 
+    -- For local defined fixities
     getFixityFromModIface :: [Name] -> [(Name, Fixity)]
     getFixityFromModIface names =
       let iface = hirModIface hi
           fixities = filter (\(_, fixity) -> fixity /= defaultFixity)
             $ map (\name -> (name, mi_fix iface (nameOccName name))) names
       in fixities
 
+    -- For extern defined fixities
     getFixityFromEnv :: [Name] -> IO [(Name, Fixity)]
     getFixityFromEnv names = do
       liftIO
-        $ fmap (filter ((/= defaultFixity) . snd) . mapMaybe cond)
+        $ fmap (filter ((/= defaultFixity) . snd) . mapMaybe pickFixity)
         $ forM names $ \name ->
-          (\(_, fixity) -> (name, fixity)) <$> runTcInteractive env (lookupFixityRn name)
+          (\(_, fixity) -> (name, fixity))
+            <$> Util.handleGhcException
+                (const $ pure (emptyMessages, Nothing))
+                (runTcInteractive env (lookupFixityRn name))
       where
-        cond :: (Name, Maybe Fixity) -> Maybe (Name, Fixity)
-        cond (_, Nothing)   = Nothing
-        cond (name, Just f) = Just (name, f)
+        pickFixity :: (Name, Maybe Fixity) -> Maybe (Name, Fixity)
+        pickFixity (_, Nothing)   = Nothing
+        pickFixity (name, Just f) = Just (name, f)
 
     toHoverContent [] = ""
     toHoverContent fixities =