package coq-lsp

  1. Overview
  2. Docs

Source file utils.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
(* XXX: Flèche LSP backend already handles the conversion at the protocol
   level *)
let uri_of_string_exn uri =
  Lang.LUri.of_string uri |> Lang.LUri.File.of_uri |> Result.get_ok

let set_roots ~token ~debug ~roots =
  match roots with
  | [] -> ()
  | [ root ] | root :: _ -> (
    let root = uri_of_string_exn root in
    match Petanque.Agent.init ~token ~debug ~root with
    | Ok env ->
      (* hack until we fix the stuff *)
      let _ : Yojson.Safe.t = JAgent.Env.to_yojson env in
      ()
    | Error err ->
      Format.eprintf "Error: %s@\n%!" (Petanque.Agent.Error.to_string err))