summaryrefslogtreecommitdiff
path: root/Changes
diff options
context:
space:
mode:
authorThomas Refis <thomas.refis@gmail.com>2019-07-16 13:31:05 +0100
committerGitHub <noreply@github.com>2019-07-16 13:31:05 +0100
commitb598cb054bab4f0a79d2133d6ff4cdeb5d2a1c57 (patch)
tree15cfb73d5267c532f8f3deabc9b96da852b02472 /Changes
parent364d07589b70974cabee1eb8a6af317586ea2804 (diff)
parent54ae229008572b337d8c4cfaa0490b4ba7d45ece (diff)
downloadocaml-b598cb054bab4f0a79d2133d6ff4cdeb5d2a1c57.tar.gz
Merge pull request #8766 from trefis/pattern_head
Parmatch: introduce a type for simplified pattern heads
Diffstat (limited to 'Changes')
-rw-r--r--Changes4
1 files changed, 4 insertions, 0 deletions
diff --git a/Changes b/Changes
index 918bdf579f..e095136a78 100644
--- a/Changes
+++ b/Changes
@@ -26,6 +26,10 @@ Working version
- #8677: Use unsigned comparisons in amd64 and i386 emitter of Lcondbranch3.
(Greta Yorsh, review by Xavier Leroy)
+- #8766: Parmatch: introduce a type for simplified pattern heads
+ (Gabriel Scherer and Thomas Refis, review by Stephen Dolan and
+ Florian Angeletti)
+
### Code generation and optimizations:
- #8672: Optimise Switch code generation on booleans.