Preemptively bump version numbers to singletons-3.0.4, singletons-{th…

…,base}-3.5
goldfirere · Dec 11, 2024 · 9a668bb · 9a668bb
1 parent c7d3834
commit 9a668bb
Show file tree

Hide file tree

Showing 6 changed files with 10 additions and 10 deletions.
diff --git a/singletons-base/CHANGES.md b/singletons-base/CHANGES.md
@@ -1,7 +1,7 @@
 Changelog for the `singletons-base` project
 ===========================================
 
-next [????.??.??]
+3.5 [????.??.??]
 -----------------
 * Remove the use of a custom `Setup.hs` script. This script has now been
   replaced with a [`cabal` code

diff --git a/singletons-base/singletons-base.cabal b/singletons-base/singletons-base.cabal
@@ -1,6 +1,6 @@
 cabal-version:  3.8
 name:           singletons-base
-version:        3.4
+version:        3.5
 synopsis:       A promoted and singled version of the base library
 homepage:       http://www.github.com/goldfirere/singletons
 category:       Dependent Types
@@ -70,8 +70,8 @@ library
   build-depends:      base             >= 4.20 && < 4.21,
                       pretty,
                       singletons       == 3.0.*,
-                      singletons-th    >= 3.4  && < 3.5,
-                      template-haskell >= 2.22 && < 2.23,
+                      singletons-th    >= 3.5 && < 3.6,
+                      template-haskell >= 2.22.1 && < 2.23,
                       text >= 1.2,
                       th-desugar       >= 1.18 && < 1.19
   default-language:   GHC2021

diff --git a/singletons-th/CHANGES.md b/singletons-th/CHANGES.md
@@ -1,8 +1,8 @@
 Changelog for the `singletons-th` project
 =========================================
 
-next [????.??.??]
------------------
+3.5 [????.??.??]
+----------------
 * Require building with `th-desugar-1.18` or later. Notably, `th-desugar-1.18`
   now desugars all lambda, `case`, and `\case` expressions to `\cases`
   expressions, and the same principle applies to the code that `singletons-th`

diff --git a/singletons-th/singletons-th.cabal b/singletons-th/singletons-th.cabal
@@ -1,5 +1,5 @@
 name:           singletons-th
-version:        3.4
+version:        3.5
 cabal-version:  1.24
 synopsis:       A framework for generating singleton types
 homepage:       http://www.github.com/goldfirere/singletons

diff --git a/singletons/CHANGES.md b/singletons/CHANGES.md
@@ -1,8 +1,8 @@
 Changelog for the `singletons` project
 ======================================
 
-next [????.??.??]
------------------
+3.0.4 [????.??.??]
+------------------
 * Define `Sing` instances such that they explicitly match on their types on the
   left-hand sides (e.g., define `type instance Sing @(k1 ~> k2) = SLambda`
   instead of `type instance Sing = SLambda`. Doing so will make `singletons`

diff --git a/singletons/singletons.cabal b/singletons/singletons.cabal
@@ -1,5 +1,5 @@
 name:           singletons
-version:        3.0.3
+version:        3.0.4
 cabal-version:  1.24
 synopsis:       Basic singleton types and definitions
 homepage:       http://www.github.com/goldfirere/singletons