Cobol_typeck.Diagnostics
module DIAGS = Cobol_common.Diagnostics
type diagnostic =
| Config_error of Cobol_typeck__.Typeck_config_diagnostics.error
| Data_error of Cobol_typeck__.Typeck_data_diagnostics.error
| Data_warning of Cobol_typeck__.Typeck_data_diagnostics.warning
| Proc_error of Cobol_typeck__.Typeck_procedure_diagnostics.error
| Dialect_feature_used of {
feature : unit Cobol_config.feature;
usage_loc : Cobol_common.Srcloc.TYPES.srcloc;
}
more general diagnostics
type diagnostics = diagnostic list
type t = diagnostics
val none : diagnostics
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