summaryrefslogtreecommitdiff
path: root/Changes
diff options
context:
space:
mode:
authorThomas Refis <thomas.refis@gmail.com>2019-08-21 15:45:42 +0100
committerThomas Refis <thomas.refis@gmail.com>2019-08-21 15:48:19 +0100
commitf69e08ec75b2c5653b1ffcdca545f1b2139cb592 (patch)
tree61ab1a5e4b07d88d19003eb18f8b2425908660f5 /Changes
parentf2db8ca4aedfef978a96e4b5f205f9b45533f1b0 (diff)
downloadocaml-f69e08ec75b2c5653b1ffcdca545f1b2139cb592.tar.gz
Changes
Diffstat (limited to 'Changes')
-rw-r--r--Changes12
1 files changed, 10 insertions, 2 deletions
diff --git a/Changes b/Changes
index 2aefdc962e..f0fb332657 100644
--- a/Changes
+++ b/Changes
@@ -122,8 +122,16 @@ Working version
### Compiler user-interface and warnings:
- #8833: Hint for (type) redefinitions in toplevel session
- (Florian Angeletti, review by Gabriel Scherer)
+- #8833: Hint for (type) redefinitions in toplevel session
+ (Florian Angeletti, review by Gabriel Scherer)
+
+- #2127: Refactor lookup functions
+ Included observable changes:
+ - makes the location of usage warnings and alerts for constructors more
+ precise
+ - don't warn about a constructor never being used to build values when it
+ has been defined as private
+ (Leo White, review by Thomas Refis)
### Build system: