Browse Source

[display] hold back on dead block highlighting for now

need a solution for the `#if macro` situation first
Simon Krajewski 6 năm trước cách đây
mục cha
commit
19928d133b
1 tập tin đã thay đổi với 2 bổ sung2 xóa
  1. 2 2
      src/typing/typeloadParse.ml

+ 2 - 2
src/typing/typeloadParse.ml

@@ -197,10 +197,10 @@ let parse_module_file com file p =
 			begin match com.display.dms_kind with
 			| DMHover ->
 				List.iter (ConditionDisplay.check_condition com) pdi.pd_conditions;
-				List.iter (fun p ->
+				(* List.iter (fun p ->
 					if DisplayPosition.display_position#enclosed_in p then
 						DisplayException.raise_hover (CompletionItem.make_ci_literal "" (Type.mk_mono(),CTMono)) None p
-				) pdi.pd_dead_blocks;
+				) pdi.pd_dead_blocks; *)
 			| _ ->
 				()
 			end;