summaryrefslogtreecommitdiffstats
path: root/Changes
diff options
context:
space:
mode:
Diffstat (limited to 'Changes')
-rw-r--r--Changes2
1 files changed, 0 insertions, 2 deletions
diff --git a/Changes b/Changes
index 536e9666e..f1d3827c0 100644
--- a/Changes
+++ b/Changes
@@ -12,8 +12,6 @@ Language features:
Using the -principal option guarantees forward compatibility.
- New (module M) and (module M : S) syntax in patterns, for immediate
unpacking of a first-class module.
-- New syntax "let.e0 p = e1 in e2" where e0 is a simple expression,
- expanded to "e0 e1 (fun p -> e2).
Compilers:
- Revised simplification of let-alias (PR#5205, PR#5288)