Module Event.Lsp

type analysis_failure = {
  1. msg : string;
  2. loc : small_loc option;
  3. is_preprocessing : bool;
  4. in_target : string option;
}
val analysis_failure_to_yojson : analysis_failure -> Yojson.Safe.t
val analysis_failure_of_yojson : Yojson.Safe.t -> analysis_failure Ppx_deriving_yojson_runtime.error_or
val make_analysis_failure : ?loc:small_loc -> is_preprocessing:bool -> ?in_target:string -> string -> analysis_failure
type misc_failure = {
  1. msg : string;
  2. loc : small_loc option;
}
val misc_failure_to_yojson : misc_failure -> Yojson.Safe.t
val misc_failure_of_yojson : Yojson.Safe.t -> misc_failure Ppx_deriving_yojson_runtime.error_or
type result =
  1. | Success
  2. | Analysis_failures of analysis_failure list
  3. | Compilation_error of misc_failure
  4. | Other_error of string
val result_to_yojson : result -> Yojson.Safe.t
val result_of_yojson : Yojson.Safe.t -> result Ppx_deriving_yojson_runtime.error_or
type t = {
  1. filename : string;
  2. result : result;
  3. diff : string option;
}
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val make : filename:string -> result:result -> ?diff:string -> unit -> t
val of_gillian_result : ('a, Utils.Gillian_result.Error.t) Stdlib.result -> result