#8702: fix some polymorphic variant error messages (#8777)

improved error messages for fixed row polymorphic variants: keep track of the motivation behind a fixed row (e.g it was bound to an universal or existential type variable, or private) in the types themselves and use this explanation in error messages.

1 files changed, 5 insertions, 0 deletions

diff --git a/Changes b/Changes
index 6ca8d41e55..301f134690 100644
--- a/Changes
+++ b/Changes
@@ -86,6 +86,11 @@ Working version
   (Stephen Dolan, review by Gabriel Scherer, Sébastien Hinderer and
    Thomas Refis)
 
+### Compiler user-interface and warnings:
+
+- #8702, #8777: improved error messages for fixed row polymorphic variants
+  (Florian Angeletti, report by Leo White, review by Thomas Refis)
+
 ### Bug fixes:
 
 - #8622: Don't generate #! headers over 127 characters.