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

@@ -345,6 +345,8 @@ module Development.IDE.GHC.Compat.Core (
     module GHC.Core.Unify,
     module GHC.Core.Utils,
 
+    module GHC.Data.Bag,
+
     module GHC.HsToCore.Docs,
     module GHC.HsToCore.Expr,
     module GHC.HsToCore.Monad,
@@ -394,6 +396,7 @@ module Development.IDE.GHC.Compat.Core (
     module GHC.Unit.Module,
     module GHC.Utils.Error,
 #else
+    module Bag,
     module BasicTypes,
     module Class,
 #if MIN_VERSION_ghc(8,10,0)
@@ -484,8 +487,8 @@ import qualified GHC.Core.DataCon             as DataCon
 import           GHC.Core.FamInstEnv          hiding (pprFamInst)
 import           GHC.Core.InstEnv
 import           GHC.Types.Unique.FM
-#if MIN_VERSION_ghc(9,2,0)
 import           GHC.Data.Bag
+#if MIN_VERSION_ghc(9,2,0)
 import           GHC.Core.Multiplicity        (scaledThing)
 #else
 import           GHC.Core.Ppr.TyThing         hiding (pprFamInst)
@@ -628,6 +631,7 @@ import qualified GHC.Utils.Panic.Plain        as Plain
 #else
 import qualified Avail
 import           BasicTypes                   hiding (Version)
+import           Bag
 import           Class
 import           CmdLineParser                (Warn (..))
 import           ConLike

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 ((emptyBag, emptyBag), 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 =