Browse Source

[display] respect it for type hint completion as well

Jens Fischer 7 years ago
parent
commit
3de4606d74
1 changed files with 4 additions and 2 deletions
  1. 4 2
      src/context/display/displayToplevel.ml

+ 4 - 2
src/context/display/displayToplevel.ml

@@ -152,8 +152,10 @@ let collect ctx tk with_type =
 					!merge_core_doc_ref ctx c
 				| _ -> ());
 				let is = get_import_status cctx true path in
-				add (make_ci_type (CompletionModuleType.of_module_type mt) is None) (Some (snd path));
-				add_path cctx path;
+				if not (Meta.has Meta.NoCompletion (t_infos mt).mt_meta) then begin
+					add (make_ci_type (CompletionModuleType.of_module_type mt) is None) (Some (snd path));
+					add_path cctx path;
+				end
 			end
 	in