fix previous commit
This commit is contained in:
parent
991ae65caa
commit
6101de8028
|
@ -512,7 +512,7 @@ let find_module = Env.find_module
|
||||||
#else
|
#else
|
||||||
let lookup_module id env =
|
let lookup_module id env =
|
||||||
let path = Env.lookup_module id env in
|
let path = Env.lookup_module id env in
|
||||||
(path, Env.find_modtype_expansion path env)
|
(path, (Env.find_module path env).md_type)
|
||||||
let find_module path env = (Env.find_module path env).md_type
|
let find_module path env = (Env.find_module path env).md_type
|
||||||
#endif
|
#endif
|
||||||
|
|
||||||
|
|
|
@ -1007,7 +1007,7 @@ let typeof sid =
|
||||||
let (path, mod_typ) = Env.lookup_module id env in
|
let (path, mod_typ) = Env.lookup_module id env in
|
||||||
#else
|
#else
|
||||||
let path = Env.lookup_module id env in
|
let path = Env.lookup_module id env in
|
||||||
let mod_typ = Env.find_modtype_expansion path env in
|
let mod_typ = (Env.find_module path env).Types.md_type in
|
||||||
#endif
|
#endif
|
||||||
let id = Ident.create (Path.name path) in
|
let id = Ident.create (Path.name path) in
|
||||||
Some (Printtyp.tree_of_module id mod_typ Types.Trec_not)
|
Some (Printtyp.tree_of_module id mod_typ Types.Trec_not)
|
||||||
|
|
Loading…
Reference in New Issue