MAJ

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9332 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 5 insertions, 0 deletions

diff --git a/Changes b/Changes
index 17c8a4880..35f65934e 100644
--- a/Changes
+++ b/Changes
@@ -6,8 +6,13 @@ Objective Caml 3.12.0:
 Language features:
 - Shorthand notation for records: in expressions and patterns,
     { lbl } stands for { lbl = lbl } and { M.lbl } for { M.lbl = lbl }
+- Record patterns of the form { lbl = pat; _ } to mark that not all
+  labels are listed, purposefully.  (See new warning below.)
 
 Compilers and toplevel:
+- New warning (activated by 'E', the fragile match warning) to signal
+  record patterns without "; _" where some labels of the record type
+  are not listed in the pattern.
 - Better error report in case of unbound qualified identifier: if the module
   is unbound this error is reported in the first place.
 - Added option '-no-app-funct' to turn applicative functors off.