|
@@ -609,7 +609,7 @@ let process_global_display_mode com tctx = match com.display.dms_kind with
|
|
FindReferences.find_references tctx com with_definition
|
|
FindReferences.find_references tctx com with_definition
|
|
| DMDiagnostics global ->
|
|
| DMDiagnostics global ->
|
|
let dctx = Diagnostics.prepare com global in
|
|
let dctx = Diagnostics.prepare com global in
|
|
- Option.may (fun cs -> CompilationServer.cache_context cs com) (CompilationServer.get());
|
|
|
|
|
|
+ (* Option.may (fun cs -> CompilationServer.cache_context cs com) (CompilationServer.get()); *)
|
|
raise_diagnostics (Diagnostics.Printer.print_diagnostics dctx tctx global)
|
|
raise_diagnostics (Diagnostics.Printer.print_diagnostics dctx tctx global)
|
|
| DMStatistics ->
|
|
| DMStatistics ->
|
|
let stats = Statistics.collect_statistics tctx None in
|
|
let stats = Statistics.collect_statistics tctx None in
|