summaryrefslogtreecommitdiff
path: root/Changes
diff options
context:
space:
mode:
Diffstat (limited to 'Changes')
-rw-r--r--Changes4
1 files changed, 4 insertions, 0 deletions
diff --git a/Changes b/Changes
index fc61b9226e..e6f45ab4b5 100644
--- a/Changes
+++ b/Changes
@@ -22,6 +22,10 @@ Working version
(Daniel Bünzli, review by Damien Doligez, Alain Frisch, Xavier
Leroy and Leo White)
+- GPR#1247: M.(::) construction for expressions
+ and patterns (plus fix printing of (::) in the toplevel)
+ (Florian Angeletti, review by Alain Frisch, Gabriel Scherer)
+
### Code generation and optimizations:
- MPR#5324, GPR#375: An alternative Linear Scan register allocator for