diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2004-01-13 05:58:47 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2004-01-13 05:58:47 +0000 |
| commit | 5464be9bd01ac6b5f0e095fe6706b1ba671aadc1 (patch) | |
| tree | ea01bd7fc0c535481cbe643841a4046d23342fd8 /otherlibs | |
| parent | eab1e22c19c7a992b5c433e4d725806bee60ac2f (diff) | |
| download | ocaml-5464be9bd01ac6b5f0e095fe6706b1ba671aadc1.tar.gz | |
update trees
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6069 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs')
| -rw-r--r-- | otherlibs/labltk/browser/searchpos.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/otherlibs/labltk/browser/searchpos.ml b/otherlibs/labltk/browser/searchpos.ml index 430d520403..98ead0ccd4 100644 --- a/otherlibs/labltk/browser/searchpos.ml +++ b/otherlibs/labltk/browser/searchpos.ml @@ -206,8 +206,8 @@ let rec search_pos_signature l ~pos ~env = add_found_sig (`Type, Lident "exn") ~env ~loc:pt.psig_loc | Psig_module (_, t) -> search_pos_module t ~pos ~env - | Psig_recmodule decls -> - assert false (* to be fixed *) + | Psig_recmodule decls -> + List.iter decls ~f:(fun (_, t) -> search_pos_module t ~pos ~env) | Psig_modtype (_, Pmodtype_manifest t) -> search_pos_module t ~pos ~env | Psig_modtype _ -> () @@ -665,7 +665,8 @@ let rec search_pos_structure ~pos str = | Tstr_exception _ -> () | Tstr_exn_rebind(_, _) -> () | Tstr_module (_, m) -> search_pos_module_expr m ~pos - | Tstr_recmodule bindings -> assert false (* to be fixed *) + | Tstr_recmodule bindings -> + List.iter bindings ~f:(fun (_, m) -> search_pos_module_expr m ~pos) | Tstr_modtype _ -> () | Tstr_open _ -> () | Tstr_class l -> @@ -807,7 +808,6 @@ and search_pos_expr ~pos exp = search_pos_expr exp ~pos | Texp_object (cls, _, _) -> search_pos_class_structure ~pos cls - end; add_found_str (`Exp(`Expr, exp.exp_type)) ~env:exp.exp_env ~loc:exp.exp_loc end |