From dc023cee45d7b42028851830f9310b9cbe72fbed Mon Sep 17 00:00:00 2001 From: alexwl Date: Sun, 29 Sep 2019 13:45:37 +0300 Subject: Make it compile with GHC-8.8.1 (Stackage nightly-2019-09-28) --- src/HaskellCodeExplorer/AST/RenamedSource.hs | 11 ++-- src/HaskellCodeExplorer/AST/TypecheckedSource.hs | 81 ++++++++++++++++-------- src/HaskellCodeExplorer/GhcUtils.hs | 16 ++++- 3 files changed, 75 insertions(+), 33 deletions(-) (limited to 'src') diff --git a/src/HaskellCodeExplorer/AST/RenamedSource.hs b/src/HaskellCodeExplorer/AST/RenamedSource.hs index 1f42874..44e0190 100644 --- a/src/HaskellCodeExplorer/AST/RenamedSource.hs +++ b/src/HaskellCodeExplorer/AST/RenamedSource.hs @@ -2,6 +2,7 @@ {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE RecordWildCards #-} {-# LANGUAGE OverloadedStrings #-} +{-# LANGUAGE ViewPatterns #-} {-# LANGUAGE StrictData #-} module HaskellCodeExplorer.AST.RenamedSource @@ -80,7 +81,7 @@ import GHC #if MIN_VERSION_GLASGOW_HASKELL(8,4,3,0) import HsExtension (GhcRn) #endif -import HaskellCodeExplorer.GhcUtils (hsPatSynDetails, ieLocNames) +import HaskellCodeExplorer.GhcUtils (hsPatSynDetails, ieLocNames, ghcDL) import Prelude hiding (span) import TysWiredIn ( nilDataConName @@ -367,7 +368,7 @@ patNames :: LPat GhcRn -> [NameOccurrence] patNames :: LPat Name -> [NameOccurrence] #endif #if MIN_VERSION_GLASGOW_HASKELL(8,6,1,0) -patNames (L _span (VarPat _ name)) = +patNames (ghcDL -> (L _span (VarPat _ name))) = #else patNames (L _span (VarPat name)) = #endif @@ -377,7 +378,7 @@ patNames (L _span (VarPat name)) = , isBinder = True } ] -patNames (L _span (ConPatIn name _)) = +patNames (ghcDL -> (L _span (ConPatIn name _))) = [ NameOccurrence { locatedName = Just <$> name , description = "ConPatIn" @@ -385,7 +386,7 @@ patNames (L _span (ConPatIn name _)) = } ] #if MIN_VERSION_GLASGOW_HASKELL(8,6,1,0) -patNames (L _span (AsPat _ name _)) = +patNames (ghcDL -> (L _span (AsPat _ name _))) = #else patNames (L _span (AsPat name _)) = #endif @@ -396,7 +397,7 @@ patNames (L _span (AsPat name _)) = } ] #if MIN_VERSION_GLASGOW_HASKELL(8,6,1,0) -patNames (L _span (NPlusKPat _ name _ _ _ _)) = +patNames (ghcDL -> (L _span (NPlusKPat _ name _ _ _ _))) = #else patNames (L _span (NPlusKPat name _ _ _ _ _)) = #endif diff --git a/src/HaskellCodeExplorer/AST/TypecheckedSource.hs b/src/HaskellCodeExplorer/AST/TypecheckedSource.hs index 4321469..41a202e 100644 --- a/src/HaskellCodeExplorer/AST/TypecheckedSource.hs +++ b/src/HaskellCodeExplorer/AST/TypecheckedSource.hs @@ -4,6 +4,7 @@ {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE RecordWildCards #-} {-# LANGUAGE OverloadedStrings #-} +{-# LANGUAGE ViewPatterns #-} {-# LANGUAGE StrictData #-} module HaskellCodeExplorer.AST.TypecheckedSource @@ -110,7 +111,16 @@ import InstEnv ) import Name (Name, nameOccName, nameUnique) import Prelude hiding (span) -import SrcLoc (GenLocated(..), SrcSpan(..), isGoodSrcSpan, isOneLineSpan, unLoc) +import SrcLoc + ( GenLocated(..) + , SrcSpan(..) + , isGoodSrcSpan + , isOneLineSpan + , unLoc +#if MIN_VERSION_GLASGOW_HASKELL(8,8,1,0) + , cL +#endif + ) import TcEvidence (HsWrapper(..)) import TcHsSyn (conLikeResTy, hsLitType) import Type @@ -682,7 +692,10 @@ foldLHsExpr (L span expr@(HsApp fun arg)) = do typ <- maybe (return Nothing) (funResultTySafe span "HsApp") funTy addExprInfo span typ "HsApp" (exprSort expr) return typ -#if MIN_VERSION_GLASGOW_HASKELL(8,6,1,0) + +#if MIN_VERSION_GLASGOW_HASKELL(8,8,1,0) +foldLHsExpr (L span ex@(HsAppType _ expr _)) = do +#elif MIN_VERSION_GLASGOW_HASKELL(8,6,1,0) foldLHsExpr (L span ex@(HsAppType _ expr)) = do #else foldLHsExpr (L _ (HsAppType _ _)) = return Nothing @@ -856,7 +869,9 @@ foldLHsExpr (L span e@(RecordUpd expr binds cons _inputTys outTys _wrapper)) = _ <- foldLHsExpr expr mapM_ foldLHsRecUpdField binds return $ Just typ' -#if MIN_VERSION_GLASGOW_HASKELL(8,6,1,0) +#if MIN_VERSION_GLASGOW_HASKELL(8,8,1,0) +foldLHsExpr (L span e@(ExprWithTySig _ expr _)) = do +#elif MIN_VERSION_GLASGOW_HASKELL(8,6,1,0) foldLHsExpr (L span e@(ExprWithTySig _ expr)) = do #else foldLHsExpr (L _span (ExprWithTySig _expr _type)) = return Nothing @@ -1422,22 +1437,22 @@ foldLPat :: LPat GhcTc -> State ASTState (Maybe Type) foldLPat :: LPat Id -> State ASTState (Maybe Type) #endif #if MIN_VERSION_GLASGOW_HASKELL(8,6,1,0) -foldLPat (L _span (XPat _)) = return Nothing -foldLPat (L _ (NPat _ (L _ (XOverLit _)) _ _)) = return Nothing -foldLPat (L _ (NPlusKPat _ (L _ _) (L _ (XOverLit _)) _ _ _)) = return Nothing -foldLPat (L span (VarPat _ (L _ identifier))) = do +foldLPat (ghcDL -> L _span (XPat _)) = return Nothing +foldLPat (ghcDL -> L _ (NPat _ (L _ (XOverLit _)) _ _)) = return Nothing +foldLPat (ghcDL -> L _ (NPlusKPat _ (L _ _) (L _ (XOverLit _)) _ _ _)) = return Nothing +foldLPat (ghcDL -> L span (VarPat _ (L _ identifier))) = do #else -foldLPat (L span (VarPat (L _ identifier))) = do +foldLPat (ghcDL -> L span (VarPat (L _ identifier))) = do #endif (identifier', _) <- tidyIdentifier identifier addIdentifierToIdSrcSpanMap span identifier' Nothing return . Just . varType $ identifier' -foldLPat (L span pat@(WildPat typ)) = do +foldLPat (ghcDL -> L span pat@(WildPat typ)) = do typ' <- tidyType typ addExprInfo span (Just typ') "WildPat" (patSort pat) return $ Just typ' #if MIN_VERSION_GLASGOW_HASKELL(8,6,1,0) -foldLPat (L span p@(LazyPat _ pat)) = do +foldLPat (ghcDL -> L span p@(LazyPat _ pat)) = do #else foldLPat (L span p@(LazyPat pat)) = do #endif @@ -1445,7 +1460,7 @@ foldLPat (L span p@(LazyPat pat)) = do addExprInfo span mbType "LazyPat" (patSort p) return mbType #if MIN_VERSION_GLASGOW_HASKELL(8,6,1,0) -foldLPat (L span p@(AsPat _ (L idSpan identifier) pat)) = do +foldLPat (ghcDL -> L span p@(AsPat _ (L idSpan identifier) pat)) = do #else foldLPat (L span p@(AsPat (L idSpan identifier) pat)) = do #endif @@ -1455,12 +1470,12 @@ foldLPat (L span p@(AsPat (L idSpan identifier) pat)) = do _ <- foldLPat pat return . Just . varType $ identifier' #if MIN_VERSION_GLASGOW_HASKELL(8,6,1,0) -foldLPat (L _span (ParPat _ pat)) = foldLPat pat +foldLPat (ghcDL -> L _span (ParPat _ pat)) = foldLPat pat #else -foldLPat (L _span (ParPat pat)) = foldLPat pat +foldLPat (ghcDL -> L _span (ParPat pat)) = foldLPat pat #endif #if MIN_VERSION_GLASGOW_HASKELL(8,6,1,0) -foldLPat (L span p@(BangPat _ pat)) = do +foldLPat (ghcDL -> L span p@(BangPat _ pat)) = do #else foldLPat (L span p@(BangPat pat)) = do #endif @@ -1468,7 +1483,7 @@ foldLPat (L span p@(BangPat pat)) = do addExprInfo span typ "BangPat" (patSort p) return typ #if MIN_VERSION_GLASGOW_HASKELL(8,6,1,0) -foldLPat (L span p@(ListPat (ListPatTc typ _) pats)) = do +foldLPat (ghcDL -> L span p@(ListPat (ListPatTc typ _) pats)) = do #else foldLPat (L span p@(ListPat pats typ _)) = do #endif @@ -1478,7 +1493,7 @@ foldLPat (L span p@(ListPat pats typ _)) = do mapM_ foldLPat pats return $ Just listType #if MIN_VERSION_GLASGOW_HASKELL(8,6,1,0) -foldLPat (L span pat@(TuplePat types pats boxity)) = do +foldLPat (ghcDL -> L span pat@(TuplePat types pats boxity)) = do #else foldLPat (L span pat@(TuplePat pats boxity types)) = do #endif @@ -1488,7 +1503,7 @@ foldLPat (L span pat@(TuplePat pats boxity types)) = do return $ Just typ' #if MIN_VERSION_GLASGOW_HASKELL(8,2,2,0) #if MIN_VERSION_GLASGOW_HASKELL(8,6,1,0) -foldLPat (L _span (SumPat _ pat _ _)) = do +foldLPat (ghcDL -> L _span (SumPat _ pat _ _)) = do #else foldLPat (L _span (SumPat pat _ _ _types)) = do #endif @@ -1504,8 +1519,8 @@ foldLPat (L span pat@(PArrPat pats typ)) = do mapM_ foldLPat pats return $ Just typ' #endif -foldLPat (L _span (ConPatIn _ _)) = return Nothing -foldLPat (L span pat@ConPatOut {..}) = do +foldLPat (ghcDL -> L _span (ConPatIn _ _)) = return Nothing +foldLPat (ghcDL -> L span pat@ConPatOut {..}) = do let (L idSpan conLike) = pat_con conId = case conLike of @@ -1519,18 +1534,18 @@ foldLPat (L span pat@ConPatOut {..}) = do _ <- foldHsConPatDetails pat_args return . Just . varType $ identifier' #if MIN_VERSION_GLASGOW_HASKELL(8,6,1,0) -foldLPat (L span p@(ViewPat typ expr pat)) = do +foldLPat (ghcDL -> L span p@(ViewPat typ expr pat)) = do #else -foldLPat (L span p@(ViewPat expr pat typ)) = do +foldLPat (ghcDL -> L span p@(ViewPat expr pat typ)) = do #endif typ' <- tidyType typ addExprInfo span (Just typ') "ViewPat" (patSort p) _ <- foldLPat pat _ <- foldLHsExpr expr return $ Just typ' -foldLPat (L _ SplicePat {}) = return Nothing +foldLPat (ghcDL -> L _ SplicePat {}) = return Nothing #if MIN_VERSION_GLASGOW_HASKELL(8,6,1,0) -foldLPat (L span (LitPat _ hsLit)) = do +foldLPat (ghcDL -> L span (LitPat _ hsLit)) = do #else foldLPat (L span (LitPat hsLit)) = do #endif @@ -1544,7 +1559,7 @@ foldLPat (L span (LitPat hsLit)) = do else Composite) return $ Just typ' #if MIN_VERSION_GLASGOW_HASKELL(8,6,1,0) -foldLPat (L span pat@(NPat _ (L _spanLit (OverLit (OverLitTc {..}) _ _)) _ _)) = do +foldLPat (ghcDL -> L span pat@(NPat _ (L _spanLit (OverLit (OverLitTc {..}) _ _)) _ _)) = do #else foldLPat (L span pat@(NPat (L _spanLit OverLit {ol_type}) _ _ _)) = do #endif @@ -1552,7 +1567,7 @@ foldLPat (L span pat@(NPat (L _spanLit OverLit {ol_type}) _ _ _)) = do addExprInfo span (Just typ') "NPat" (patSort pat) return $ Just ol_type #if MIN_VERSION_GLASGOW_HASKELL(8,6,1,0) -foldLPat (L span pat@(NPlusKPat typ (L idSpan identifier) (L litSpan (OverLit (OverLitTc {..}) _ _)) _ _ _)) = do +foldLPat (ghcDL -> L span pat@(NPlusKPat typ (L idSpan identifier) (L litSpan (OverLit (OverLitTc {..}) _ _)) _ _ _)) = do #else foldLPat (L span pat@(NPlusKPat (L idSpan identifier) (L litSpan OverLit {ol_type}) _ _ _ typ)) = do #endif @@ -1569,7 +1584,12 @@ foldLPat (L span pat@(NPlusKPat (L idSpan identifier) (L litSpan OverLit {ol_typ then Simple else Composite) return $ Just typ' -#if MIN_VERSION_GLASGOW_HASKELL(8,6,1,0) +#if MIN_VERSION_GLASGOW_HASKELL(8,8,1,0) +foldLPat (ghcDL -> L _span (SigPat typ pat _)) = do + typ' <- tidyType typ + _ <- foldLPat pat + return $ Just typ' +#elif MIN_VERSION_GLASGOW_HASKELL(8,6,1,0) foldLPat (L _span (SigPat typ pat)) = do typ' <- tidyType typ _ <- foldLPat pat @@ -1582,14 +1602,21 @@ foldLPat (L _span (SigPatOut pat typ)) = do return $ Just typ' #endif #if MIN_VERSION_GLASGOW_HASKELL(8,6,1,0) -foldLPat (L span p@(CoPat _ _ pat typ)) = do +foldLPat (ghcDL -> L span p@(CoPat _ _ pat typ)) = do #else foldLPat (L span p@(CoPat _ pat typ)) = do #endif typ' <- tidyType typ addExprInfo span (Just typ') "CoPat" (patSort p) +#if MIN_VERSION_GLASGOW_HASKELL(8,8,1,0) + _ <- foldLPat (cL span pat) +#else _ <- foldLPat (L span pat) +#endif return Nothing +#if MIN_VERSION_GLASGOW_HASKELL(8,8,1,0) +foldLPat _ = return Nothing +#endif #if MIN_VERSION_GLASGOW_HASKELL(8,4,3,0) foldHsConPatDetails diff --git a/src/HaskellCodeExplorer/GhcUtils.hs b/src/HaskellCodeExplorer/GhcUtils.hs index bb89832..0f3ff1c 100644 --- a/src/HaskellCodeExplorer/GhcUtils.hs +++ b/src/HaskellCodeExplorer/GhcUtils.hs @@ -25,6 +25,7 @@ module HaskellCodeExplorer.GhcUtils , hsGroupVals , hsPatSynDetails , ieLocNames + , ghcDL -- * Lookups , lookupIdInTypeEnv , lookupNameModuleAndPackage @@ -165,6 +166,11 @@ import GHC , tfe_pats #endif , tfid_eqn +#if MIN_VERSION_ghc(8,8,0) + , dL + , HasSrcSpan + , SrcSpanLess +#endif ) import qualified HaskellCodeExplorer.Types as HCE @@ -1203,7 +1209,7 @@ isUserLSig (L _ ClassOpSig {}) = True isUserLSig _ = False #if MIN_VERSION_GLASGOW_HASKELL(8,4,3,0) -getMainDeclBinder :: HsDecl pass -> [IdP pass] +getMainDeclBinder :: HsDecl GhcRn -> [IdP GhcRn] #else getMainDeclBinder :: HsDecl name -> [name] #endif @@ -1401,3 +1407,11 @@ makeAnchorId (f:r) = escape isAlpha f ++ concatMap (escape isLegal) r isLegal '_' = True isLegal '.' = True isLegal c = isAscii c && isAlphaNum c + +#if MIN_VERSION_ghc(8,8,0) +ghcDL :: GHC.HasSrcSpan a => a -> GHC.Located (GHC.SrcSpanLess a) +ghcDL = GHC.dL +#else +ghcDL :: GHC.Located a -> GHC.Located a +ghcDL x = x +#endif -- cgit v1.2.3