summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Changes2
-rw-r--r--parsing/parser.mly3
2 files changed, 0 insertions, 5 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)
diff --git a/parsing/parser.mly b/parsing/parser.mly
index 43a485151..885a581d4 100644
--- a/parsing/parser.mly
+++ b/parsing/parser.mly
@@ -982,9 +982,6 @@ expr:
{ mkexp(Pexp_apply($1, List.rev $2)) }
| LET rec_flag let_bindings IN seq_expr
{ mkexp(Pexp_let($2, List.rev $3, $5)) }
- | LET DOT simple_expr let_binding IN seq_expr
- { let (pat, expr) = $4 in
- mkexp(Pexp_apply($3, ["", expr; "", ghexp(Pexp_function("", None, [pat, $6]))])) }
| LET MODULE UIDENT module_binding IN seq_expr
{ mkexp(Pexp_letmodule($3, $4, $6)) }
| LET OPEN mod_longident IN seq_expr