package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file debug.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
(* This file controls what to trace, we need a better system. As of today, we
   trace using LSP logging facilities, however this is not enough in two cases:

   - logging of the raw protocol itself

   - we don't have a way to filter what we log *)

(* Enable all debug flags *)
let all = false

(* LSP trace flags are now controlled by an option that installs a logger, the
   lsp_init flag should be removed *)
let lsp = false
let lsp_init = false || all || lsp

(* cache *)
let cache = false || all

(* Parsing (this is a bit expensive as it will call the printer *)
let parsing = false || all

(* scanning of prefix-incrementality *)
let scan = false || all

(* Backtraces *)
let backtraces = false || all

(* Unicode conversion *)
let unicode = false || all

(* Sched wakeup *)
let sched_wakeup = false || all

(* Request event queue *)
let request_delay = true || all

(* Competion *)
let completion = false || all

(* Schedule *)
let schedule = true || all
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct