package coq-lsp

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

Install

Dune Dependency

Authors

Maintainers

Sources

coq-lsp-0.1.2.v8.16.tbz
sha256=31b83f0908bbabf4079806ce9271a30f7af8fb4e2fd5c81c1ccc3c1e8022f0de
sha512=de9f48cb643944620183243a55a225b33b3b77d2cc2ea26e38377622ea9036e7205634e880d804dd0ae69ce22d321ce4dfbacc94aebb402d1f124d5be348ebca

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
(* Enable all debug flags *)
let all = false

(* Enable LSP debug flags *)
let lsp = false

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

(* LSP messages: Send and receive *)
let send = false || all || lsp
let read = false || all || lsp

(* 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

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

Innovation. Community. Security.