diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2009-12-03 16:06:56 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2009-12-03 16:06:56 +0000 |
| commit | bfa1c0f2ecd21f6fe85ac0355eb57f3b75ed0844 (patch) | |
| tree | 8ec764dc1c32e3fd7b662a8c2afe40cf2cb6b414 | |
| parent | 33c9311355e9f1343fb683d535587374d35f1d52 (diff) | |
| download | ocaml-bfa1c0f2ecd21f6fe85ac0355eb57f3b75ed0844.tar.gz | |
updated to new language constructs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9440 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | otherlibs/labltk/browser/searchpos.ml | 9 | ||||
| -rw-r--r-- | otherlibs/labltk/support/Makefile.common | 2 |
2 files changed, 8 insertions, 3 deletions
diff --git a/otherlibs/labltk/browser/searchpos.ml b/otherlibs/labltk/browser/searchpos.ml index 0da882783d..42a3bf9d7f 100644 --- a/otherlibs/labltk/browser/searchpos.ml +++ b/otherlibs/labltk/browser/searchpos.ml @@ -130,6 +130,8 @@ let rec search_pos_type t ~pos ~env = add_found_sig (`Type, lid) ~env ~loc:t.ptyp_loc | Ptyp_alias (t, _) | Ptyp_poly (_, t) -> search_pos_type ~pos ~env t + | Ptyp_package (_, stl) -> + List.iter stl ~f:(fun (_, ty) -> search_pos_type ty ~pos ~env) end let rec search_pos_class_type cl ~pos ~env = @@ -705,7 +707,7 @@ and search_pos_class_expr ~pos cl = add_found_str (`Class (path, cl.cl_type)) ~env:!start_env ~loc:cl.cl_loc | Tclass_structure cls -> - search_pos_class_structure ~pos cls + search_pos_class_structure ~pos cls | Tclass_fun (pat, iel, cl, _) -> search_pos_pat pat ~pos ~env:pat.pat_env; List.iter iel ~f:(fun (_,exp) -> search_pos_expr exp ~pos); @@ -813,7 +815,9 @@ and search_pos_expr ~pos exp = | Texp_lazy exp -> search_pos_expr exp ~pos | Texp_object (cls, _, _) -> - search_pos_class_structure ~pos cls + search_pos_class_structure ~pos cls + | Texp_pack modexp -> + search_pos_module_expr modexp ~pos end; add_found_str (`Exp(`Expr, exp.exp_type)) ~env:exp.exp_env ~loc:exp.exp_loc end @@ -858,6 +862,7 @@ and search_pos_module_expr ~pos m = | Tmod_apply (a, b, _) -> search_pos_module_expr a ~pos; search_pos_module_expr b ~pos | Tmod_constraint (m, _, _) -> search_pos_module_expr m ~pos + | Tmod_unpack (e, _) -> search_pos_expr e ~pos end; add_found_str (`Module (Pident (Ident.create "M"), m.mod_type)) ~env:m.mod_env ~loc:m.mod_loc diff --git a/otherlibs/labltk/support/Makefile.common b/otherlibs/labltk/support/Makefile.common index adf0c2fa09..56f6fd1377 100644 --- a/otherlibs/labltk/support/Makefile.common +++ b/otherlibs/labltk/support/Makefile.common @@ -17,7 +17,7 @@ CAMLC=$(TOPDIR)/ocamlcomp.sh CAMLOPT=$(TOPDIR)/ocamlcompopt.sh CAMLCB=$(CAMLRUN) $(TOPDIR)/ocamlc CAMLOPTB=$(CAMLRUN) $(TOPDIR)/ocamlopt -CAMLCOMP=$(CAMLC) -c -warn-error A-8 +CAMLCOMP=$(CAMLC) -c -warn-error A CAMLYACC=$(TOPDIR)/boot/ocamlyacc -v CAMLLEX=$(CAMLRUN) $(TOPDIR)/boot/ocamllex CAMLLIBR=$(CAMLC) -a |