Support GHC 8.10 and 9.6

Author: tdammers

cabal.project

@@ -23,7 +23,7 @@ packages: ./typed-protocols
 source-repository-package
   type: git
   location: https://github.com/input-output-hk/serdoc
-  tag: 2cd52c768c32c6c61ccc355bc8cfd8e67f25d8ca
+  tag: c1e6d6ae22d58a402ac359b26be7b922921d2a73
   subdir: serdoc-core
 
 test-show-details: direct

typed-protocols-doc/src/Network/TypedProtocol/Documentation/TH.hs

@@ -1,3 +1,4 @@
+{-# LANGUAGE CPP #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE TemplateHaskell #-}
 {-# LANGUAGE QuasiQuotes #-}
@@ -10,7 +11,10 @@ where
 import Network.TypedProtocol.Documentation.Types
 
 import Control.Monad
-import Data.Maybe
+#if MIN_VERSION_template_haskell(2,17,0)
+-- This import is only needed when 'getDoc' is available.
+import Data.Maybe (maybeToList)
+#endif
 import Data.Proxy
 import Language.Haskell.TH
 import Language.Haskell.TH.Datatype
@@ -91,8 +95,9 @@ describeProtocol protoTyCon protoTyArgs codecTyCon codecTyArgs = do
    |]
 
 unearthType :: Type -> Type
+#if MIN_VERSION_template_haskell(2,17,0)
 unearthType (AppT (AppT MulArrowT _) t) = unearthType t
--- unearthType (AppT a _) = unearthType a
+#endif
 unearthType (SigT a _) = unearthType a
 unearthType t = t
 
@@ -116,7 +121,12 @@ prettyTy = snd . go
 
 getDescription :: Name -> Q [Description]
 getDescription name = do
+#if MIN_VERSION_template_haskell(2,17,0)
   haddock <- maybeToList <$> getDoc (DeclDoc name)
+#else
+  -- 'getDoc' does not exist before template-haskell-2.17.0
+  let haddock = []
+#endif
   annotations <- reifyAnnotations (AnnLookupName name)
   return $ (Description . (:[]) <$> haddock) ++ annotations
 
@@ -140,9 +150,15 @@ describeProtocolMessage protoTyCon protoTyArgs codecTyCon codecTyArgs msgName =
 
 
   let payloads = constructorFields msgInfo
+#if MIN_VERSION_template_haskell(2,17,0)
       tyVarName :: TyVarBndr a -> Name
       tyVarName (PlainTV n _) = n
       tyVarName (KindedTV n _ _) = n
+#else
+      tyVarName :: TyVarBndr -> Name
+      tyVarName (PlainTV n) = n
+      tyVarName (KindedTV n _) = n
+#endif
 
       findType :: Name -> Cxt -> Type
       findType n (AppT (AppT EqualityT (VarT vn)) t : _)

typed-protocols-doc/typed-protocols-doc.cabal

@@ -30,7 +30,7 @@ library
                    , Network.TypedProtocol.Documentation.DefaultMain
     -- other-modules:
     -- other-extensions:
-    build-depends: base >=4.16.0.0 && <5
+    build-depends: base >=4.14.0.0 && <5
 
                  , aeson >=2.0 && <2.3
                  , base64-bytestring >=1.2.1.0 && <1.3
@@ -41,10 +41,10 @@ library
                  , filepath >=1.4.2.2 && <1.6
                  , graphviz >=2999.20.1 && <2999.21.0
                  , haddock-library >=1.11.0 && <1.12
-                 , knob >=0.2.2 && <0.3
+                 , knob >=0.1 && <0.3
                  , mtl >=2.3.1 && <2.4
                  , optparse-applicative >=0.18.1.0 && <0.19
-                 , template-haskell >=2.16.0.0
+                 , template-haskell >=2.13.0.0
                  , temporary >=1.3 && <1.4
                  , text >=1.1 && <2.2
                  , th-abstraction >=0.6.0.0 && <0.7
@@ -62,7 +62,7 @@ executable typed-protocols-doc-demo
     main-is:          Main.hs
     -- other-modules:
     -- other-extensions:
-    build-depends: base >=4.16.0.0 && <5
+    build-depends: base >=4.14.0.0 && <5
                  , typed-protocols-doc
                  , serdoc-core
 
@@ -76,7 +76,7 @@ test-suite typed-protocols-doc-test
     other-modules: Network.TypedProtocol.Tests.Documentation
                  , Network.TypedProtocol.Tests.ControlProtocol
     -- other-extensions:
-    build-depends: base >=4.16.0.0 && <5
+    build-depends: base >=4.14.0.0 && <5
                  , tasty >=1.5 && <1.6
                  , tasty-quickcheck >=0.10.3 && <0.11
                  , typed-protocols