summaryrefslogtreecommitdiff
path: root/Changes
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2019-08-16 18:31:50 +0200
committerGitHub <noreply@github.com>2019-08-16 18:31:50 +0200
commita72855eaaa92b2ca1007263b17f0d081f07df448 (patch)
treecc568f99c08237675291a87256166e12820f163e /Changes
parentf532be5158a2b8a789138bf2e3f0258f0f864fac (diff)
parentb4f5825c6f46f4fc46375c18279e52abf2cf5a36 (diff)
downloadocaml-a72855eaaa92b2ca1007263b17f0d081f07df448.tar.gz
Merge pull request #8874 from Lereena/typing-misc-add
Add some tests for typechecking error messages
Diffstat (limited to 'Changes')
-rw-r--r--Changes4
1 files changed, 4 insertions, 0 deletions
diff --git a/Changes b/Changes
index 4af6b5d356..584b512122 100644
--- a/Changes
+++ b/Changes
@@ -139,6 +139,10 @@ Working version
- #8702, #8777: improved error messages for fixed row polymorphic variants
(Florian Angeletti, report by Leo White, review by Thomas Refis)
+- #8874: add tests for typechecking error messages and pack them into
+ pretty-printing boxes.
+ (Oxana Kostikova, review by Gabriel Scherer)
+
### Bug fixes:
- #8622: Don't generate #! headers over 127 characters.