diff options
-rw-r--r-- | Changes | 2 | ||||
-rw-r--r-- | parsing/parser.mly | 3 |
2 files changed, 0 insertions, 5 deletions
@@ -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 |