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 /otherlibs/labltk/browser/searchpos.ml | |
| parent | 501dfd2b5e2425b2b40afe5ce9782503e68f8e22 (diff) | |
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 'otherlibs/labltk/browser/searchpos.ml')
| -rw-r--r-- | otherlibs/labltk/browser/searchpos.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/browser/searchpos.ml b/otherlibs/labltk/browser/searchpos.ml index ef511b877..0d59c8ab7 100644 --- a/otherlibs/labltk/browser/searchpos.ml +++ b/otherlibs/labltk/browser/searchpos.ml @@ -765,7 +765,7 @@ and search_pos_expr ~pos exp = search_pos_expr exp ~pos; List.iter l ~f:(search_case ~pos) | Texp_tuple l -> List.iter l ~f:(search_pos_expr ~pos) - | Texp_construct (_, _, l,_) -> List.iter l ~f:(search_pos_expr ~pos) + | Texp_construct (_, _, l) -> List.iter l ~f:(search_pos_expr ~pos) | Texp_variant (_, None) -> () | Texp_variant (_, Some exp) -> search_pos_expr exp ~pos | Texp_record (l, opt) -> @@ -827,7 +827,7 @@ and search_pos_pat ~pos ~env pat = add_found_str (`Exp(`Const, pat.pat_type)) ~env ~loc:pat.pat_loc | Tpat_tuple l -> List.iter l ~f:(search_pos_pat ~pos ~env) - | Tpat_construct (_, _, l, _) -> + | Tpat_construct (_, _, l) -> List.iter l ~f:(search_pos_pat ~pos ~env) | Tpat_variant (_, None, _) -> () | Tpat_variant (_, Some pat, _) -> search_pos_pat pat ~pos ~env |