浏览代码

[display] mark wildcard import positions

closes #7080
Simon Krajewski 7 年之前
父节点
当前提交
28c9edee10
共有 1 个文件被更改,包括 7 次插入1 次删除
  1. 7 1
      src/typing/typeload.ml

+ 7 - 1
src/typing/typeload.ml

@@ -130,7 +130,13 @@ let load_type_def ctx p t =
 				| [] ->
 					raise Exit
 				| (pack,ppack) :: l ->
-					(try load_type ctx (pack,t.tname) tname p with Not_found -> loop l)
+					begin try
+						let mt = load_type ctx (pack,t.tname) tname p in
+						ImportHandling.mark_import_position ctx.com ppack;
+						mt
+					with Not_found ->
+						loop l
+					end
 			in
 			(* Check wildcard packages by using their package *)
 			loop ctx.m.wildcard_packages