Module Cobol_typeck.Diagnostics

type diagnostic =
  1. | 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