diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/addlabels.ml | 1 | ||||
| -rw-r--r-- | tools/depend.ml | 1 | ||||
| -rw-r--r-- | tools/ocamlprof.ml | 2 |
3 files changed, 0 insertions, 4 deletions
diff --git a/tools/addlabels.ml b/tools/addlabels.ml index db8ecdc9a9..c057e72ca8 100644 --- a/tools/addlabels.ml +++ b/tools/addlabels.ml @@ -324,7 +324,6 @@ let rec add_labels_class ~text ~classes ~values ~methods cl = add_labels_expr ~text ~classes ~values e; values | Pcf_inher _ | Pcf_valvirt _ | Pcf_virt _ | Pcf_cstr _ -> values - | Pcf_let _ -> values (* not in the grammar *) end) | Pcl_fun (_, opt, pat, cl) -> begin match opt with None -> () diff --git a/tools/depend.ml b/tools/depend.ml index 24ccad116a..948646a823 100644 --- a/tools/depend.ml +++ b/tools/depend.ml @@ -299,7 +299,6 @@ and add_class_field bv = function | Pcf_virt(_, _, ty, _) -> add_type bv ty | Pcf_meth(_, _, _, e, _) -> add_expr bv e | Pcf_cstr(ty1, ty2, _) -> add_type bv ty1; add_type bv ty2 - | Pcf_let(_, pel, _) -> add_pat_expr_list bv pel | Pcf_init e -> add_expr bv e and add_class_declaration bv decl = diff --git a/tools/ocamlprof.ml b/tools/ocamlprof.ml index c1ed927e46..b8a6b3fa40 100644 --- a/tools/ocamlprof.ml +++ b/tools/ocamlprof.ml @@ -328,8 +328,6 @@ and rewrite_class_field iflag = | Pcf_meth (_, _, _, sexp, loc) -> if !instr_fun && not loc.loc_ghost then insert_profile rw_exp sexp else rewrite_exp iflag sexp - | Pcf_let(_, spat_sexp_list, _) -> - rewrite_patexp_list iflag spat_sexp_list | Pcf_init sexp -> rewrite_exp iflag sexp | Pcf_valvirt _ | Pcf_virt _ | Pcf_cstr _ -> () |