From ed8c756d58f24645a05c4cafcdc3e260f75e8b24 Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Wed, 29 Jul 2020 10:59:40 +0200 Subject: Change log for #12768. Co-authored-by: Jim Fehrle --- ...12768-master+warn-non-underscore-catch-all-pattern-matching.rst | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 doc/changelog/02-specification-language/12768-master+warn-non-underscore-catch-all-pattern-matching.rst (limited to 'doc') diff --git a/doc/changelog/02-specification-language/12768-master+warn-non-underscore-catch-all-pattern-matching.rst b/doc/changelog/02-specification-language/12768-master+warn-non-underscore-catch-all-pattern-matching.rst new file mode 100644 index 0000000000..c9e941743c --- /dev/null +++ b/doc/changelog/02-specification-language/12768-master+warn-non-underscore-catch-all-pattern-matching.rst @@ -0,0 +1,7 @@ +- **Added:** + Warning on unused variables in pattern-matching branches of + :n:`match` serving as catch-all branches for at least two distinct + patterns. + (`#12768 `_, + fixes `#12762 `_, + by Hugo Herbelin). -- cgit v1.2.3