diff options
| author | Alain Frisch <alain@frisch.fr> | 2009-10-21 12:21:02 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2009-10-21 12:21:02 +0000 |
| commit | 5b9496f44233188cedc4b1eaeeb855aa1c4c2f22 (patch) | |
| tree | 78af2ca5e3e116488338892fb8042cd47311b336 /tools | |
| parent | 80fc45c33aa12428c7355ee783a8b7b00d66cd14 (diff) | |
| download | ocaml-fstclassmod.tar.gz | |
Remove the combined unpack/local binding of modules (let module (M : T) = ...).fstclassmod
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fstclassmod@9385 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/depend.ml | 4 | ||||
| -rw-r--r-- | tools/ocamlprof.ml | 1 |
2 files changed, 0 insertions, 5 deletions
diff --git a/tools/depend.ml b/tools/depend.ml index 0edaaa3113..cb00ca98cb 100644 --- a/tools/depend.ml +++ b/tools/depend.ml @@ -160,10 +160,6 @@ let rec add_expr bv exp = add_pattern bv pat; List.iter (add_class_field bv) fieldl | Pexp_newtype (_, e) -> add_expr bv e | Pexp_pack (m, _) -> add_module bv m - | Pexp_unpack (e1, id, (lid, l), e2) -> - add bv lid; - List.iter (fun (_, ty) -> add_type bv ty) l; - add_expr bv e1; add_expr (StringSet.add id bv) e2 and add_pat_expr_list bv pel = List.iter (fun (p, e) -> add_pattern bv p; add_expr bv e) pel diff --git a/tools/ocamlprof.ml b/tools/ocamlprof.ml index e2b1c2f787..bfecc07879 100644 --- a/tools/ocamlprof.ml +++ b/tools/ocamlprof.ml @@ -288,7 +288,6 @@ and rw_exp iflag sexp = | Pexp_newtype (_, sexp) -> rewrite_exp iflag sexp | Pexp_pack (smod, _) -> rewrite_mod iflag smod - | Pexp_unpack (sexp1, _, _, sexp2) -> rewrite_exp iflag sexp1; rewrite_exp iflag sexp2 and rewrite_ifbody iflag ghost sifbody = if !instr_if && not ghost then |