Kludge compilation for <=8.8.3.

FunTy takes a third argument in 8.10.1 and on.

Author: peterwicksstringfield

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

@@ -42,6 +42,7 @@ module Development.IDE.GHC.Compat(
     disableWarningsAsErrors,
     AvailInfo,
     tcg_exports,
+    pattern FunTy,
 
 #if MIN_GHC_API_VERSION(8,10,0)
     module GHC.Hs.Extension,
@@ -89,6 +90,7 @@ import HsExtension
 #endif
 
 import qualified GHC
+import qualified TyCoRep
 import GHC hiding (
       ModLocation,
       HasSrcSpan,
@@ -283,3 +285,10 @@ pattern ExposePackage s a mr <- DynFlags.ExposePackage s a _ mr
 #else
 pattern ExposePackage s a mr = DynFlags.ExposePackage s a mr
 #endif
+
+pattern FunTy :: Type -> Type -> Type
+#if MIN_GHC_API_VERSION(8, 10, 0)
+pattern FunTy arg res <- TyCoRep.FunTy {ft_arg = arg, ft_res = res}
+#else
+pattern FunTy arg res <- TyCoRep.FunTy arg res
+#endif

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

@@ -32,7 +32,7 @@ import Development.IDE.Core.PositionMapping
 import Name
 import Outputable hiding ((<>))
 import SrcLoc
-import TyCoRep
+import TyCoRep hiding (FunTy)
 import TyCon
 import qualified Var
 import NameEnv
@@ -257,7 +257,7 @@ typeLocationsAtPoint hiedb lookupModule _ideOptions pos (HAR _ ast _ hieKind) =
             AppTy a b -> getTypes [a,b]
             TyConApp tc ts -> tyConName tc : getTypes ts
             ForAllTy _ t -> getTypes [t]
-            FunTy _ a b -> getTypes [a,b]
+            FunTy a b -> getTypes [a,b]
             CastTy t _ -> getTypes [t]
             _ -> []
         in fmap nubOrd $ concatMapM (fmap (maybe [] id) . nameToLocation hiedb lookupModule) (getTypes ts)
@@ -338,4 +338,3 @@ pointCommand hf pos k =
    sp fs = mkRealSrcSpan (sloc fs) (sloc fs)
    line = _line pos
    cha = _character pos
-