From c98638bb217de5a01e756c47fae43efa0d0e27a4 Mon Sep 17 00:00:00 2001
From: Gabriel Scherer <gabriel.scherer@gmail.com>
Date: Wed, 22 Feb 2023 17:41:08 +0100
Subject: [PATCH] CHANGES entry on Solver errors

---
 CHANGES.md | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index 557a4e3..325c346 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -2,6 +2,16 @@
 
 ## 2022/06/03
 
+* **Incompatible** changes to the Solver error-handling logic: instead of
+  raising several different exceptions, the solver now raises a single Error
+  exception carrying a datatype indicating the error case.
+
+  All errors now consistently report the source location when
+  available (if it was provided when building the constraint). This
+  improves in particular the error-reporting behavior of our
+  demonstration client, which is now able to show source locations on
+  type-checking errors.
+
 * Support for rigid variables, that is, variables that cannot be unified with
   other rigid variables or with older flexible variables. These variables are
   introduced by the new combinators `letr1` and `letrn`. The exception
-- 
GitLab