Module Cobol_typeck.Diagnostics

type diagnostic =
  1. | Config_error of Cobol_typeck__.Typeck_config_diagnostics.error
  2. | Data_error of Cobol_typeck__.Typeck_data_diagnostics.error
  3. | Data_warning of Cobol_typeck__.Typeck_data_diagnostics.warning
  4. | Proc_error of Cobol_typeck__.Typeck_procedure_diagnostics.error
  5. | Dialect_feature_used of {
    1. feature : unit Cobol_config.feature;
    2. usage_loc : Cobol_common.Srcloc.TYPES.srcloc;
    }

more general diagnostics

type diagnostics = diagnostic list
type t = diagnostics
val none : diagnostics
val union : 'a list -> 'a list -> 'a list
val diagnostic_severity : diagnostic -> [> `Ignore | `Print of DIAGS.severity ]
val diagnostic_loc : diagnostic -> Cobol_common.Srcloc.TYPES.srcloc option
val pp_diagnostic : Stdlib.Format.formatter -> diagnostic -> unit
val translate : diagnostic list -> Cobol_common__Diagnostics.TYPES.diagnostics