diff --git a/README.md b/README.md index 8a73419a..f9bc9d13 100644 --- a/README.md +++ b/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 diff --git a/singletons-base/CHANGES.md b/singletons-base/CHANGES.md index c5c604b0..fc023c9b 100644 --- a/singletons-base/CHANGES.md +++ b/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. diff --git a/singletons-base/README.md b/singletons-base/README.md index fcc1110b..0d2e22d9 100644 --- a/singletons-base/README.md +++ b/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). diff --git a/singletons-base/singletons-base.cabal b/singletons-base/singletons-base.cabal index 64cdc8cf..11d6052e 100644 --- a/singletons-base/singletons-base.cabal +++ b/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@ @@. . @@ -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, diff --git a/singletons-th/CHANGES.md b/singletons-th/CHANGES.md index ea9a79d9..a727a9dd 100644 --- a/singletons-th/CHANGES.md +++ b/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. diff --git a/singletons-th/README.md b/singletons-th/README.md index e3f94127..a65c30bc 100644 --- a/singletons-th/README.md +++ b/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). diff --git a/singletons-th/singletons-th.cabal b/singletons-th/singletons-th.cabal index f9e150fc..a2e5ac8f 100644 --- a/singletons-th/singletons-th.cabal +++ b/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@ @@. . @@ -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 diff --git a/singletons/CHANGES.md b/singletons/CHANGES.md index af503391..984997e7 100644 --- a/singletons/CHANGES.md +++ b/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. diff --git a/singletons/singletons.cabal b/singletons/singletons.cabal index 7e360c4c..ad735327 100644 --- a/singletons/singletons.cabal +++ b/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