diff --git a/deep-transformations/deep-transformations.cabal b/deep-transformations/deep-transformations.cabal index 1152b9b..6b2a7d6 100644 --- a/deep-transformations/deep-transformations.cabal +++ b/deep-transformations/deep-transformations.cabal @@ -45,7 +45,7 @@ library ghc-options: -Wall build-depends: base >= 4.11 && < 5, rank2classes >= 1.4.1 && < 1.6, transformers >= 0.5 && < 0.7, - template-haskell >= 2.11 && < 2.21, generic-lens >= 1.2 && < 2.3 + template-haskell >= 2.11 && < 2.22, generic-lens >= 1.2 && < 2.3 default-language: Haskell2010 test-suite doctests diff --git a/rank2classes/rank2classes.cabal b/rank2classes/rank2classes.cabal index 8cea3e1..f1c30c3 100644 --- a/rank2classes/rank2classes.cabal +++ b/rank2classes/rank2classes.cabal @@ -44,7 +44,7 @@ library data-functor-logistic < 0.1 if flag(use-template-haskell) - build-depends: template-haskell >= 2.11 && < 2.21 + build-depends: template-haskell >= 2.11 && < 2.22 exposed-modules: Rank2.TH test-suite doctests diff --git a/rank2classes/src/Rank2/TH.hs b/rank2classes/src/Rank2/TH.hs index 28929bc..1239f1c 100644 --- a/rank2classes/src/Rank2/TH.hs +++ b/rank2classes/src/Rank2/TH.hs @@ -128,7 +128,7 @@ reifyConstructors cls ty = do lastVar <- reifyTVKindSynonyms (last tyVars) #if MIN_VERSION_template_haskell(2,17,0) - let (KindedTV tyVar () (AppT (AppT ArrowT _) resultKind)) = lastVar + let (KindedTV tyVar _ (AppT (AppT ArrowT _) resultKind)) = lastVar instanceType = conT cls `TH.appT` foldl apply (conT tyConName) (init tyVars) apply t (PlainTV name _) = TH.appT t (varT name) apply t (KindedTV name _ _) = TH.appT t (varT name)