package coq-lsp
Language Server Protocol native server for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
coq-lsp-0.1.0.tbz
sha256=d2e95a517ff35f59150c4f8399dc23899923a9cc93fce190efaa05422d3bbcf5
sha512=5593afa6fef241a63cf685fe6e4af42482884aa9078d080503f1aa7987da5f96cc95ddb48b1393ac1bd240e3510f4f7a61fe83882c0f5f8a38c0279eed4a0a11
doc/src/coq-lsp.fleche/io.ml.html
Source file io.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
module CallBack = struct type t = { log_error : string -> string -> unit ; send_diagnostics : uri:string -> version:int -> Types.Diagnostic.t list -> unit } let default = { log_error = (fun _ _ -> ()) ; send_diagnostics = (fun ~uri:_ ~version:_ _ -> ()) } let cb = ref default let set t = cb := t end module Log = struct let error d m = !CallBack.cb.log_error d m end module Report = struct let diagnostics ~uri ~version d = !CallBack.cb.send_diagnostics ~uri ~version d end
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>