Module Gillian_result.Error

type analysis_failure = {
  1. msg : string;
  2. loc : Location.t 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
type compilation_error = {
  1. msg : string;
  2. loc : Location.t option;
  3. additional_data : Yojson.Safe.t option;
}
val compilation_error_to_yojson : compilation_error -> Yojson.Safe.t
val compilation_error_of_yojson : Yojson.Safe.t -> compilation_error Ppx_deriving_yojson_runtime.error_or
type internal_error = {
  1. msg : string;
  2. backtrace : string option;
  3. additional_data : Yojson.Safe.t option;
}
val internal_error_to_yojson : internal_error -> Yojson.Safe.t
val internal_error_of_yojson : Yojson.Safe.t -> internal_error Ppx_deriving_yojson_runtime.error_or
val current_target : string option Stdlib.ref
type t =
  1. | AnalysisFailures of analysis_failure list
  2. | CompilationError of compilation_error
  3. | OperationError of string
    (*

    Handled failure unrelated to analysis, e.g. unable to read input file

    *)
  4. | InternalError of internal_error
    (*

    Something went very wrong!

    *)
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_analysis_failure : ?is_preprocessing:bool -> ?in_target:string -> ?loc:Location.t -> string -> analysis_failure
val make_analysis_failures : ?is_preprocessing:bool -> ?in_target:string -> ?loc:Location.t -> string -> t
val pp' : ?brief:bool -> Stdlib.Format.formatter -> t -> unit
val show' : ?brief:bool -> t -> string
val pp : Stdlib.Format.formatter -> t -> unit
val show : t -> string
val pp_brief : Stdlib.Format.formatter -> t -> unit
val show_brief : t -> string
val to_error_code : t -> int