package coq-lsp

  1. Overview
  2. Docs
Language Server Protocol native server for Coq

Install

Dune Dependency

Authors

Maintainers

Sources

coq-lsp-0.2.3.8.17.tbz
sha256=ebf815be389f7ae97fed1f1338fe59f333732062b08a5c04f957d2effa39cffd
sha512=00a1c41a72d2a16347f91c8838237f8016e04cfbd2c3bc4499793fb06c5494070d6593cf2db05eca66fe2c49e958de6a1f30bb77d5989196e51929642a5d11eb

doc/src/coq-lsp.fleche/debug.ml.html

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.