Module Cobol_data.Diagnostics

type error =
  1. | Invalid of {
    1. loc : Cobol_common.Srcloc.TYPES.srcloc;
    2. stuff : invalid_stuff;
    }
  2. | Malformed of {
    1. loc : Cobol_common.Srcloc.TYPES.srcloc;
    2. stuff : malformed_stuff;
    }
  3. | Overlong_literal of {
    1. loc : Cobol_common.Srcloc.TYPES.srcloc;
    2. literal_string : string;
    3. max_length : int;
    }
and invalid_stuff =
  1. | Character_in_literal of {
    1. literal_class : literal_class;
    2. char : char;
    }
and literal_class =
  1. | Boolean
  2. | Fixed
  3. | Floating
  4. | Hexadecimal
  5. | Integer
and malformed_stuff =
  1. | Boolean_literal of string
val pp_literal_class : Stdlib.Format.formatter -> literal_class -> unit
val pp_invalid_stuff : Stdlib.Format.formatter -> invalid_stuff -> unit
val pp_malformed_stuff : Stdlib.Format.formatter -> malformed_stuff -> unit
val pp_error : Stdlib.Format.formatter -> error -> unit
type warning = |
type diagnostics = {
  1. errors : error list;
  2. warnings : warning list;
}
type t = diagnostics
val none : diagnostics
val add_error : error -> diagnostics -> diagnostics
val add_warning : warning -> diagnostics -> diagnostics
val has_errors : diagnostics -> bool
val translate : t -> Cobol_common__Diagnostics.TYPES.diagnostics
include sig ... end
module TYPES : sig ... end
type !'a with_diags = 'a TYPES.with_diags = {
  1. result : 'a;
  2. diags : diagnostics;
}
val result : ?diags:diagnostics -> 'a -> 'a with_diags
val simple_result : 'a -> 'a with_diags
val some_result : ?diags:diagnostics -> 'a -> 'a option with_diags
val no_result : diags:diagnostics -> 'a option with_diags
val with_diags : 'a -> diagnostics -> 'a with_diags
val with_more_diags : diags:diagnostics -> 'a with_diags -> 'a with_diags
val result_only : 'a with_diags -> 'a
val forget_result : 'a with_diags -> diagnostics
val more_result : f:('a -> 'b with_diags) -> 'a with_diags -> 'b with_diags
val map_result : f:('a -> 'b) -> 'a with_diags -> 'b with_diags
val map2_results : f:('a -> 'b -> 'c with_diags) -> 'a with_diags -> 'b with_diags -> 'c with_diags
val map_some_result : f:('a -> 'b) -> 'a option with_diags -> 'b option with_diags
val merge_results : f:('a -> 'b -> 'c) -> 'a with_diags -> 'b with_diags -> 'c with_diags
val cons_option_result : 'a option with_diags -> 'a list with_diags -> 'a list with_diags
val translate_diags : 'a with_diags -> 'a Cobol_common.Diagnostics.with_diags
val show_n_forget : ?set_status:bool -> ?min_level:Cobol_common.Diagnostics.severity -> ?ppf:Stdlib.Format.formatter -> 'a with_diags -> 'a
val sink_result : ?set_status:bool -> ?ppf:Stdlib.Format.formatter -> 'a with_diags -> unit