Ver código fonte

[display] file diagnostics should be DFPOnly

Simon Krajewski 1 ano atrás
pai
commit
bc9c91d098
1 arquivos alterados com 1 adições e 1 exclusões
  1. 1 1
      src/compiler/displayProcessing.ml

+ 1 - 1
src/compiler/displayProcessing.ml

@@ -48,7 +48,7 @@ let handle_display_argument_old com file_pos actx =
 			| "diagnostics" ->
 				com.report_mode <- RMLegacyDiagnostics [file_unique];
 				let dm = create DMNone in
-				{dm with dms_display_file_policy = DFPAlso; dms_per_file = true; dms_populate_cache = !ServerConfig.populate_cache_from_display}
+				{dm with dms_display_file_policy = DFPOnly; dms_per_file = true; dms_populate_cache = !ServerConfig.populate_cache_from_display}
 			| "statistics" ->
 				com.report_mode <- RMStatistics;
 				let dm = create DMNone in