diff options
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/parser.mly | 3 | ||||
| -rw-r--r-- | parsing/parsetree.mli | 1 | ||||
| -rw-r--r-- | parsing/printast.ml | 3 |
3 files changed, 0 insertions, 7 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index 43a485151f..885a581d45 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 diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli index e67e3ebfee..663ae7c55b 100644 --- a/parsing/parsetree.mli +++ b/parsing/parsetree.mli @@ -195,7 +195,6 @@ and class_field = | Pcf_meth of (string * private_flag * override_flag * expression * Location.t) | Pcf_cstr of (core_type * core_type * Location.t) - | Pcf_let of rec_flag * (pattern * expression) list * Location.t | Pcf_init of expression and class_declaration = class_expr class_infos diff --git a/parsing/printast.ml b/parsing/printast.ml index 7aafabb39e..d5b9933113 100644 --- a/parsing/printast.ml +++ b/parsing/printast.ml @@ -489,9 +489,6 @@ and class_field i ppf x = line i ppf "Pcf_cstr %a\n" fmt_location loc; core_type (i+1) ppf ct1; core_type (i+1) ppf ct2; - | Pcf_let (rf, l, loc) -> - line i ppf "Pcf_let %a %a\n" fmt_rec_flag rf fmt_location loc; - list (i+1) pattern_x_expression_def ppf l; | Pcf_init (e) -> line i ppf "Pcf_init\n"; expression (i+1) ppf e; |