Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix potential alias loop in #show_module (#777)

master
Florian Angeletti 2016-08-25 07:02:36 +02:00 committed by David Allsopp
parent e8881eefc6
commit 907c49d4d6
1 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
toplevel/topdirs.ml
View File

@ -569,19 +569,18 @@ let () =
let () =
reg_show_prim "show_module"
(fun env loc id lid ->
let rec accum_aliases lid acc =
let _, md = Typetexp.find_module env loc lid in
let rec accum_aliases path acc =
let md = Env.find_module path env in
let acc =
Sig_module (id, {md with md_type = trim_signature md.md_type},
Trec_not) :: acc in
match md.md_type with
| Mty_alias(_, path) ->
let lid' = Untypeast.lident_of_path path in
accum_aliases lid' acc
| Mty_alias(_, path) -> accum_aliases path acc
| Mty_ident _ | Mty_signature _ | Mty_functor _ ->
List.rev acc
in
accum_aliases lid []
let path, _ = Typetexp.find_module env loc lid in
accum_aliases path []
)
"Print the signature of the corresponding module."