summaryrefslogtreecommitdiff
path: root/libraries/base/changelog.md
diff options
context:
space:
mode:
Diffstat (limited to 'libraries/base/changelog.md')
-rw-r--r--libraries/base/changelog.md4
1 files changed, 4 insertions, 0 deletions
diff --git a/libraries/base/changelog.md b/libraries/base/changelog.md
index d25888e7fb..bc55cc4977 100644
--- a/libraries/base/changelog.md
+++ b/libraries/base/changelog.md
@@ -20,6 +20,10 @@
* Add `COMPLETE` pragmas to the `TypeRep`, `SSymbol`, `SChar`, and `SNat` pattern synonyms.
([CLC proposal #149](https://github.com/haskell/core-libraries-committee/issues/149))
* Make `($)` representation polymorphic ([CLC proposal #132](https://github.com/haskell/core-libraries-committee/issues/132))
+ * Implemented [GHC Proposal #433](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0433-unsatisfiable.rst),
+ adding the class `Unsatisfiable :: ErrorMessage -> TypeError`` to `GHC.TypeError`,
+ which provides a mechanism for custom type errors that reports the errors in
+ a more predictable behaviour than ``TypeError``.
## 4.18.0.0 *March 2023*
* Shipped with GHC 9.6.1