Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- diff --git a/typing/env.ml b/typing/env.ml
- index ce5bd39..c4a1909 100644
- --- a/typing/env.ml
- +++ b/typing/env.ml
- @@ -718,11 +718,14 @@ and lookup_module ~load lid env : Path.t =
- p
- with Not_found ->
- if s = !current_unit then raise Not_found;
- - if !Clflags.transparent_modules && not load then
- + if !Clflags.transparent_modules && not load then begin
- + (* PR#6843: record the weak dependency ([add_import]) even
- + if the [find_pers_struct] call below fails to find the .cmi. *)
- + add_import s;
- try ignore (find_pers_struct ~check:false s)
- with Not_found ->
- Location.prerr_warning Location.none (Warnings.No_cmi_file s)
- - else ignore (find_pers_struct s);
- + end else ignore (find_pers_struct s);
- Pident(Ident.create_persistent s)
- end
- | Ldot(l, s) ->
Add Comment
Please, Sign In to add comment