package coq-lsp
Language Server Protocol native server for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
coq-lsp-0.2.0.8.19.tbz
sha256=01ffedbd55ae00526fe1dda890e3c15a883bfda8388c8d292121ee722db46360
sha512=b5d92146c27b5c432a3f92c9ae8ff69c4dc62709f394743ca2d43ab93ae3af64b08bb17ea5923c0fbe0a333de127de574c548ec3c8df81dbe3e11f485abc3216
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
(* 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 let lsp_init = 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 (* 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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>