From c7d38344cce3d2fb66bd774f5415e1e4c6f0d83e Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Sat, 26 Oct 2024 07:27:29 -0400 Subject: [PATCH] Mention #602 in changelogs --- singletons-base/CHANGES.md | 5 +++++ singletons/CHANGES.md | 8 ++++++++ 2 files changed, 13 insertions(+) diff --git a/singletons-base/CHANGES.md b/singletons-base/CHANGES.md index c47698eb..0b22326c 100644 --- a/singletons-base/CHANGES.md +++ b/singletons-base/CHANGES.md @@ -74,6 +74,11 @@ next [????.??.??] (e.g., `AsumSym0` and `MSym0`) are less polymorphic. The fact that these were kind-polymorphic to begin with was an oversight, as these definitions could not be used when `j` or `k` was instantiated to any other kind besides `Type`. +* Define hand-written `Sing` instances such that they explicitly match on their + types on the left-hand sides (e.g., define `type instance Sing @Symbol = + SSymbol` instead of `type instance Sing = SSymbol`. Doing so will make + `singletons-base` future-proof once + [GHC#23515](https://gitlab.haskell.org/ghc/ghc/-/issues/23515) is fixed. 3.4 [2024.05.12] ---------------- diff --git a/singletons/CHANGES.md b/singletons/CHANGES.md index 59286eb7..731fd944 100644 --- a/singletons/CHANGES.md +++ b/singletons/CHANGES.md @@ -1,6 +1,14 @@ Changelog for the `singletons` project ====================================== +next [????.??.??] +----------------- +* 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` + future-proof once + [GHC#23515](https://gitlab.haskell.org/ghc/ghc/-/issues/23515) is fixed. + 3.0.3 [2024.05.12] ------------------ * Allow building with GHC 9.10.