From 645447c1e05a95e90d09b946b322a5b587482e8e Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Tue, 3 Dec 2019 00:47:28 +0100 Subject: Fixes #11231 (missing dependency in pattern-matching decompilation). The missing dependency impacted the algorithm for detecting default clauses. --- ...ter+fix11231-missing-variable-pattern-matching-decompilation.rst | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst (limited to 'doc') diff --git a/doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst b/doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst new file mode 100644 index 0000000000..ad240ea30b --- /dev/null +++ b/doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst @@ -0,0 +1,6 @@ +- **Fixed:** + A dependency was missing when looking for default clauses in the + algorithm for printing pattern matching clauses (`#11233 + `_, by Hugo Herbelin, fixing + `#11231 `, reported by Barry + Jay). -- cgit v1.2.3 From 24651e3b840b58d3bcf7efb1fa6af4da603a0863 Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Wed, 4 Dec 2019 14:19:26 +0100 Subject: Update doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst OK, thanks. Co-Authored-By: Théo Zimmermann --- ...-master+fix11231-missing-variable-pattern-matching-decompilation.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst b/doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst index ad240ea30b..941469d698 100644 --- a/doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst +++ b/doc/changelog/02-specification-language/11233-master+fix11231-missing-variable-pattern-matching-decompilation.rst @@ -2,5 +2,5 @@ A dependency was missing when looking for default clauses in the algorithm for printing pattern matching clauses (`#11233 `_, by Hugo Herbelin, fixing - `#11231 `, reported by Barry + `#11231 `_, reported by Barry Jay). -- cgit v1.2.3