diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/depend.ml | 1 | ||||
| -rw-r--r-- | tools/ocamlcp.ml | 1 | ||||
| -rw-r--r-- | tools/ocamloptp.ml | 1 | ||||
| -rw-r--r-- | tools/tast_iter.ml | 1 | ||||
| -rw-r--r-- | tools/untypeast.ml | 1 |
5 files changed, 5 insertions, 0 deletions
diff --git a/tools/depend.ml b/tools/depend.ml index 4c3a94320..bd6efc085 100644 --- a/tools/depend.ml +++ b/tools/depend.ml @@ -199,6 +199,7 @@ and add_bindings recf bv pel = and add_modtype bv mty = match mty.pmty_desc with Pmty_ident l -> add bv l + | Pmty_alias l -> add bv l | Pmty_signature s -> add_signature bv s | Pmty_functor(id, mty1, mty2) -> Misc.may (add_modtype bv) mty1; diff --git a/tools/ocamlcp.ml b/tools/ocamlcp.ml index 82b0174a8..bca5ae63c 100644 --- a/tools/ocamlcp.ml +++ b/tools/ocamlcp.ml @@ -79,6 +79,7 @@ module Options = Main_args.Make_bytecomp_options (struct let _runtime_variant s = option_with_arg "-runtime-variant" s let _short_paths = option "-short-paths" let _strict_sequence = option "-strict-sequence" + let _trans_mod = option "-trans-mod" let _thread () = option "-thread" () let _vmthread () = option "-vmthread" () let _unsafe = option "-unsafe" diff --git a/tools/ocamloptp.ml b/tools/ocamloptp.ml index 23a439a11..6d730f2c3 100644 --- a/tools/ocamloptp.ml +++ b/tools/ocamloptp.ml @@ -84,6 +84,7 @@ module Options = Main_args.Make_optcomp_options (struct let _strict_sequence = option "-strict-sequence" let _shared = option "-shared" let _thread = option "-thread" + let _trans_mod = option "-trans-mod" let _unsafe = option "-unsafe" let _v = option "-v" let _version = option "-version" diff --git a/tools/tast_iter.ml b/tools/tast_iter.ml index b6a27a958..c8af13670 100644 --- a/tools/tast_iter.ml +++ b/tools/tast_iter.ml @@ -191,6 +191,7 @@ let class_type_declaration sub cd = let module_type sub mty = match mty.mty_desc with | Tmty_ident (_path, _) -> () + | Tmty_alias (_path, _) -> () | Tmty_signature sg -> sub # signature sg | Tmty_functor (_id, _, mtype1, mtype2) -> Misc.may (sub # module_type) mtype1; sub # module_type mtype2 diff --git a/tools/untypeast.ml b/tools/untypeast.ml index 74ffb92c9..61d68e9ac 100644 --- a/tools/untypeast.ml +++ b/tools/untypeast.ml @@ -374,6 +374,7 @@ and untype_class_type_declaration cd = and untype_module_type mty = let desc = match mty.mty_desc with Tmty_ident (_path, lid) -> Pmty_ident (lid) + | Tmty_alias (_path, lid) -> Pmty_alias (lid) | Tmty_signature sg -> Pmty_signature (untype_signature sg) | Tmty_functor (_id, name, mtype1, mtype2) -> Pmty_functor (name, Misc.may_map untype_module_type mtype1, |