package coq-lsp

  1. Overview
  2. Docs

Source file main.ml

1
2
3
4
5
6
7
8
9
10
11
open Fleche

(* Improve errors *)
let save_vo_file ~io:_ ~token ~doc =
  match Doc.save ~token ~doc with
  | { r = Completed (Ok ()); feedback = _ } -> ()
  | { r = Completed (Error _); feedback = _ } -> ()
  | { r = Interrupted; feedback = _ } -> ()

let main () = Theory.Register.Completed.add save_vo_file
let () = main ()