Support up to 9.8

.github/workflows/ci.yml

@@ -19,6 +19,7 @@ jobs:
           - "9.0.2"
           - "9.2.4"
           - "9.4.2"
+          - "9.6.3"
 
     steps:
     - uses: actions/checkout@v3

extensions.cabal

@@ -20,6 +20,7 @@ tested-with:         GHC == 8.8.4
                      GHC == 9.0.2
                      GHC == 9.2.4
                      GHC == 9.4.2
+                     GHC == 9.6.3
 
 flag executable
   description: Build the extensions executable
@@ -31,13 +32,14 @@ source-repository head
   location:            https://github.com/kowainik/extensions.git
 
 common common-options
-  build-depends:       base >= 4.13.0.0 && < 4.18
+  build-depends:       base >= 4.13.0.0 && < 4.20
 
   ghc-options:         -Wall
                        -Wcompat
                        -Widentities
                        -Wincomplete-uni-patterns
                        -Wincomplete-record-updates
+                       -Werror=incomplete-patterns
   if impl(ghc >= 8.0)
     ghc-options:       -Wredundant-constraints
   if impl(ghc >= 8.2)
@@ -80,14 +82,23 @@ library
                          Extensions.Package
                          Extensions.Types
 
-  build-depends:       bytestring >= 0.10 && < 0.12
-                     , Cabal >= 3.0 && < 3.9
+  build-depends:       bytestring >= 0.10 && < 0.13
+                       -- We need to pin a single major version of
+                       -- Cabal here because the main reason we use
+                       -- Cabal is for its list of extensions.  Later
+                       -- versions have strictly more extensions, and
+                       -- we'll have missing patterns if we try to
+                       -- support more than one major version.  If
+                       -- this causes problems in practice let's
+                       -- revisit this decision and come up with
+                       -- another approach.
+                     , Cabal ^>= 3.10
                      , containers ^>= 0.6
                      , directory ^>= 1.3
                      , filepath ^>= 1.4
-                     , ghc-boot-th >= 8.8.1 && < 9.5
+                     , ghc-boot-th >= 8.8.1 && < 9.9
                      , parsec ^>= 3.1
-                     , text >= 1.2.3 && < 2.1
+                     , text >= 1.2.3 && < 2.2
 
 executable extensions
   import:              common-options
@@ -118,7 +129,7 @@ test-suite extensions-test
                      , bytestring
                      , containers
                      , ghc-boot-th
-                     , hedgehog >= 1.0 && < 1.3
+                     , hedgehog >= 1.0 && < 1.5
                      , hspec
                      , hspec-hedgehog ^>= 0.0.1
                      , text

src/Extensions/Cabal.hs

@@ -351,22 +351,55 @@ toGhcExtension = \case
     Cabal.ImportQualifiedPost               -> Just ImportQualifiedPost
     Cabal.StandaloneKindSignatures          -> Just StandaloneKindSignatures
     Cabal.UnliftedNewtypes                  -> Just UnliftedNewtypes
+#else
+    Cabal.CUSKs                             -> Nothing
+    Cabal.ImportQualifiedPost               -> Nothing
+    Cabal.StandaloneKindSignatures          -> Nothing
+    Cabal.UnliftedNewtypes                  -> Nothing
 #endif
 #if __GLASGOW_HASKELL__ >= 900
     Cabal.LexicalNegation                   -> Just LexicalNegation
     Cabal.QualifiedDo                       -> Just QualifiedDo
     Cabal.LinearTypes                       -> Just LinearTypes
+#else
+    Cabal.LexicalNegation                   -> Nothing
+    Cabal.QualifiedDo                       -> Nothing
+    Cabal.LinearTypes                       -> Nothing
 #endif
 #if __GLASGOW_HASKELL__ >= 902
     Cabal.FieldSelectors                    -> Just FieldSelectors
     Cabal.OverloadedRecordDot               -> Just OverloadedRecordDot
     Cabal.UnliftedDatatypes                 -> Just UnliftedDatatypes
+#else
+    Cabal.FieldSelectors                    -> Nothing
+    Cabal.OverloadedRecordDot               -> Nothing
+    Cabal.UnliftedDatatypes                 -> Nothing
 #endif
 #if __GLASGOW_HASKELL__ >= 904
     Cabal.OverloadedRecordUpdate            -> Just OverloadedRecordUpdate
     Cabal.AlternativeLayoutRule             -> Just AlternativeLayoutRule
     Cabal.AlternativeLayoutRuleTransitional -> Just AlternativeLayoutRuleTransitional
     Cabal.RelaxedLayout                     -> Just RelaxedLayout
+#else
+    Cabal.OverloadedRecordUpdate            -> Nothing
+    Cabal.AlternativeLayoutRule             -> Nothing
+    Cabal.AlternativeLayoutRuleTransitional -> Nothing
+    Cabal.RelaxedLayout                     -> Nothing
+#endif
+#if __GLASGOW_HASKELL__ >= 906
+    Cabal.DeepSubsumption                   -> Just DeepSubsumption
+    Cabal.TypeData                          -> Just TypeData
+#else
+    Cabal.DeepSubsumption                   -> Nothing
+    Cabal.TypeData                          -> Nothing
+#endif
+#if __GLASGOW_HASKELL__ >= 910
+    -- This branch cannot be satisfied yet but we're including it so
+    -- we don't forget to enablel RequiredTypeArguments when it
+    -- becomes available.
+    Cabal.RequiredTypeArguments             -> Just RequiredTypeArguments
+#else
+    Cabal.RequiredTypeArguments             -> Nothing
 #endif
     -- GHC extensions, parsed by both Cabal and GHC, but don't have an Extension constructor
     Cabal.Safe                              -> Nothing