From 326e0e9d6490cd6100cc430773296322a883b6a9 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Wed, 11 Dec 2024 07:48:57 -0500 Subject: [PATCH] Finalize singletons-3.0.4, singletons-{th,base}-3.5, singletons-base-code-generator-0.1 --- singletons-base-code-generator/CHANGES.md | 2 +- singletons-base/CHANGES.md | 4 ++-- singletons-th/CHANGES.md | 2 +- singletons/CHANGES.md | 2 +- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/singletons-base-code-generator/CHANGES.md b/singletons-base-code-generator/CHANGES.md index dd3293b4..09fc0ac8 100644 --- a/singletons-base-code-generator/CHANGES.md +++ b/singletons-base-code-generator/CHANGES.md @@ -1,6 +1,6 @@ Changelog for the `singletons-base-code-generator` project ========================================================== -0.1 [????.??.??] +0.1 [2024.12.11] ---------------- * Initial release. diff --git a/singletons-base/CHANGES.md b/singletons-base/CHANGES.md index 81502b99..317f356d 100644 --- a/singletons-base/CHANGES.md +++ b/singletons-base/CHANGES.md @@ -1,8 +1,8 @@ Changelog for the `singletons-base` project =========================================== -3.5 [????.??.??] ------------------ +3.5 [2024.12.11] +---------------- * Require building with GHC 9.12. * Remove the use of a custom `Setup.hs` script. This script has now been replaced with a [`cabal` code diff --git a/singletons-th/CHANGES.md b/singletons-th/CHANGES.md index 4eadb1c5..6925f7ce 100644 --- a/singletons-th/CHANGES.md +++ b/singletons-th/CHANGES.md @@ -1,7 +1,7 @@ Changelog for the `singletons-th` project ========================================= -3.5 [????.??.??] +3.5 [2024.12.11] ---------------- * Require building with GHC 9.12. * Require building with `th-desugar-1.18` or later. Notably, `th-desugar-1.18` diff --git a/singletons/CHANGES.md b/singletons/CHANGES.md index b8279ab4..a5729f02 100644 --- a/singletons/CHANGES.md +++ b/singletons/CHANGES.md @@ -1,7 +1,7 @@ Changelog for the `singletons` project ====================================== -3.0.4 [????.??.??] +3.0.4 [2024.12.11] ------------------ * 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`