package coq-lsp

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

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (35)

Authors

  1. E
    Emilio Jesús Gallego Arias <e@x80.org>
  2. A
    Ali Caglayan <alizter@gmail.com>
  3. S
    Shachar Itzhaky <shachari@cs.technion.ac.il>
  4. R
    Ramkumar Ramachandra <r@artagnon.com>

Maintainers

  1. E
    e@x80.org

Sources

coq-lsp-0.1.6.1.8.17.tbz
sha256=0b0ea3ce68aa549f61c004dd05d2b386dc18811ec4c9ac667ff2917857758707
sha512=d3e3ae7e055c1be38368fdc86679462e2aa4636805142e8fd1f73423a14a7c87e06d752f04964377fe39ed10972e3c47d433127694b104c0285adb976faadf66

doc/coq-lsp.lang/Lang/Point/index.html

Module Lang.PointSource

Sourcetype t = {
  1. line : int;
  2. character : int;
  3. offset : int;
}

ATTENTION: character is a Unicode caracter position, thus from Coq that usually requires conversion, as it will report the column offset in bytes. But offset is in bytes for now, as our downstream clients prefer this format.

Sourceval pp : Format.formatter -> t -> unit