Adjust version bounds, require GHC 9.10

README.md

@@ -65,7 +65,7 @@ windows for requirements on the compiler version needed to build each library:
   GHC language extensions, even more so than `singletons` itself. As such, it
   is difficult to maintain support for multiple GHC versions in any given
   release of either library, so they only support the latest major GHC version
-  (currently GHC 9.8).
+  (currently GHC 9.10).
 
 Any code that uses the singleton-generation functionality from `singletons-th`
 or `singletons-base` needs to enable a long list of GHC extensions. This list

singletons-base/CHANGES.md

@@ -1,6 +1,10 @@
 Changelog for the `singletons-base` project
 ===========================================
 
+next [????.??.??]
+-----------------
+* Require building with GHC 9.10.
+
 3.3 [2023.10.13]
 ----------------
 * Require building with GHC 9.8.

singletons-base/README.md

@@ -18,7 +18,7 @@ that code with `singletons-base`.
 
 `singletons-base` uses code that relies on bleeding-edge GHC language
 extensions. As such, `singletons-base` only supports the latest major version
-of GHC (currently GHC 9.8). For more information,
+of GHC (currently GHC 9.10). For more information,
 consult the `singletons`
 [`README`](https://github.com/goldfirere/singletons/blob/master/README.md).
 

singletons-base/singletons-base.cabal

@@ -38,7 +38,7 @@ description:
     .
     @singletons-base@ uses code that relies on bleeding-edge GHC language
     extensions. As such, @singletons-base@ only supports the latest major version
-    of GHC (currently GHC 9.8). For more information,
+    of GHC (currently GHC 9.10). For more information,
     consult the @singletons@
     @<https://github.com/goldfirere/singletons/blob/master/README.md README>@.
     .
@@ -65,18 +65,18 @@ source-repository head
 
 custom-setup
   setup-depends:
-    base      >= 4.19 && < 4.20,
+    base      >= 4.19 && < 4.21,
     Cabal     >= 3.0 && < 3.13,
     directory >= 1,
     filepath  >= 1.3
 
 library
   hs-source-dirs:     src
-  build-depends:      base             >= 4.19 && < 4.20,
+  build-depends:      base             >= 4.20 && < 4.21,
                       pretty,
                       singletons       == 3.0.*,
                       singletons-th    >= 3.3  && < 3.4,
-                      template-haskell >= 2.21 && < 2.22,
+                      template-haskell >= 2.22 && < 2.23,
                       text >= 1.2,
                       th-desugar       >= 1.17 && < 1.18
   default-language:   GHC2021
@@ -155,7 +155,7 @@ test-suite singletons-base-test-suite
   main-is:            SingletonsBaseTestSuite.hs
   other-modules:      SingletonsBaseTestSuiteUtils
 
-  build-depends:      base >= 4.19 && < 4.20,
+  build-depends:      base >= 4.20 && < 4.21,
                       bytestring >= 0.10.9,
                       deepseq >= 1.4.4,
                       filepath >= 1.3,

singletons-th/CHANGES.md

@@ -3,6 +3,7 @@ Changelog for the `singletons-th` project
 
 next [????.??.??]
 -----------------
+* Require building with GHC 9.10.
 * Fix a bug causing definitions with type signatures using inferred type
   variable binders (e.g., `forall a {b}. a -> b -> a`) to fail to promote.
 

singletons-th/README.md

@@ -14,7 +14,7 @@ which describes how promotion works in greater detail.
 
 `singletons-th` generates code that relies on bleeding-edge GHC language
 extensions. As such, `singletons-th` only supports the latest major version
-of GHC (currently GHC 9.8). For more information,
+of GHC (currently GHC 9.10). For more information,
 consult the `singletons`
 [`README`](https://github.com/goldfirere/singletons/blob/master/README.md).
 

singletons-th/singletons-th.cabal

@@ -26,7 +26,7 @@ description:
     .
     @singletons-th@ generates code that relies on bleeding-edge GHC language
     extensions. As such, @singletons-th@ only supports the latest major version
-    of GHC (currently GHC 9.8). For more information,
+    of GHC (currently GHC 9.10). For more information,
     consult the @singletons@
     @<https://github.com/goldfirere/singletons/blob/master/README.md README>@.
     .
@@ -52,13 +52,13 @@ source-repository head
 
 library
   hs-source-dirs:     src
-  build-depends:      base             >= 4.19 && < 4.20,
+  build-depends:      base             >= 4.20 && < 4.21,
                       containers       >= 0.5,
                       mtl              >= 2.2.1 && < 2.4,
                       ghc-boot-th,
                       singletons       == 3.0.*,
                       syb              >= 0.4,
-                      template-haskell >= 2.21 && < 2.22,
+                      template-haskell >= 2.22 && < 2.23,
                       th-desugar       >= 1.17 && < 1.18,
                       th-orphans       >= 0.13.11 && < 0.14,
                       transformers     >= 0.5.2

singletons/CHANGES.md

@@ -1,6 +1,10 @@
 Changelog for the `singletons` project
 ======================================
 
+next [????.??.??]
+-----------------
+* Allow building with GHC 9.10.
+
 3.0.2 [2022.08.23]
 ------------------
 * Allow building with GHC 9.4.

singletons/singletons.cabal

@@ -60,7 +60,7 @@ source-repository head
 
 library
   hs-source-dirs:     src
-  build-depends:      base >= 4.9 && < 4.20
+  build-depends:      base >= 4.9 && < 4.21
   default-language:   Haskell2010
   exposed-modules:    Data.Singletons
                       Data.Singletons.Decide
@@ -77,5 +77,5 @@ test-suite singletons-test-suite
   other-modules:      ByHand
                       ByHand2
 
-  build-depends:      base >= 4.9 && < 4.20,
+  build-depends:      base >= 4.9 && < 4.21,
                       singletons