diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2012-07-10 08:25:58 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2012-07-10 08:25:58 +0000 |
| commit | 43c7d1b51c6fb3a91b9729b816630f536d4a60e2 (patch) | |
| tree | a6f0ddf5bfdfa37b80ca7bdd07794e1b94336fcd /tools/typedtreeIter.ml | |
| parent | d04453c5dedcbc4ced9439d8c02b447ffe10fe03 (diff) | |
fix PR#5674: move Texp_poly and Texp_newtype to exp_extra
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12680 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools/typedtreeIter.ml')
| -rw-r--r-- | tools/typedtreeIter.ml | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/tools/typedtreeIter.ml b/tools/typedtreeIter.ml index 4af9a3a06..a4f45ec98 100644 --- a/tools/typedtreeIter.ml +++ b/tools/typedtreeIter.ml @@ -228,8 +228,11 @@ module MakeIterator(Iter : IteratorArgument) : sig Iter.enter_expression exp; List.iter (function (cstr, _) -> match cstr with - Texp_constraint (cty1, cty2) -> option iter_core_type cty1; option iter_core_type cty2 - | Texp_open (path, _, _) -> ()) + Texp_constraint (cty1, cty2) -> + option iter_core_type cty1; option iter_core_type cty2 + | Texp_open (path, _, _) -> () + | Texp_poly cto -> option iter_core_type cto + | Texp_newtype s -> ()) exp.exp_extra; begin match exp.exp_desc with @@ -322,11 +325,6 @@ module MakeIterator(Iter : IteratorArgument) : sig iter_class_structure cl | Texp_pack (mexpr) -> iter_module_expr mexpr - | Texp_poly (exp, None) -> iter_expression exp - | Texp_poly (exp, Some ct) -> - iter_expression exp; iter_core_type ct - | Texp_newtype (s, exp) -> - iter_expression exp end; Iter.leave_expression exp; |