diff options
| author | Alain Frisch <alain@frisch.fr> | 2013-04-17 09:46:52 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2013-04-17 09:46:52 +0000 |
| commit | b36ec9f7644410df981d954aae686eaf3f59a590 (patch) | |
| tree | ede621009ff1bd6fb99b93b658e49705a0310229 /tools/depend.ml | |
| parent | 501dfd2b5e2425b2b40afe5ce9782503e68f8e22 (diff) | |
| download | ocaml-b36ec9f7644410df981d954aae686eaf3f59a590.tar.gz | |
Get rid of the 'explicit arity' flag on Pexp_construct/Ppat_construct. If really requires (for camlp5?), the feature should be reimplemented with attributes.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13549 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools/depend.ml')
| -rw-r--r-- | tools/depend.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/depend.ml b/tools/depend.ml index de42f57022..522ca59534 100644 --- a/tools/depend.ml +++ b/tools/depend.ml @@ -113,7 +113,7 @@ let rec add_pattern bv pat = | Ppat_interval _ | Ppat_constant _ -> () | Ppat_tuple pl -> List.iter (add_pattern bv) pl - | Ppat_construct(c, op, _) -> add bv c; add_opt add_pattern bv op + | Ppat_construct(c, op) -> add bv c; add_opt add_pattern bv op | Ppat_record(pl, _) -> List.iter (fun (lbl, p) -> add bv lbl; add_pattern bv p) pl | Ppat_array pl -> List.iter (add_pattern bv) pl @@ -143,7 +143,7 @@ let rec add_expr bv exp = | Pexp_match(e, pel) -> add_expr bv e; add_cases bv pel | Pexp_try(e, pel) -> add_expr bv e; add_cases bv pel | Pexp_tuple el -> List.iter (add_expr bv) el - | Pexp_construct(c, opte, _) -> add bv c; add_opt add_expr bv opte + | Pexp_construct(c, opte) -> add bv c; add_opt add_expr bv opte | Pexp_variant(_, opte) -> add_opt add_expr bv opte | Pexp_record(lblel, opte) -> List.iter (fun (lbl, e) -> add bv lbl; add_expr bv e) lblel; |