Module DiagnosisSource

Sourcetype loc = Cmarkit.Textloc.t
Sourceval loc_of_ploc : loc -> Actions_arguments.W.loc -> loc
Sourcetype t =
  1. | DuplicateID of {
    1. id : string;
    2. occurrences : loc list;
    }
  2. | MissingFile of {
    1. file : string;
    2. error_msg : string;
    3. locs : loc list;
    }
  3. | WrongType of {
    1. loc_reason : loc;
    2. loc_block : loc;
    3. expected_type : string;
    }
  4. | ParsingError of {
    1. action : string;
    2. msg : string;
    3. loc : loc;
    }
  5. | ParsingWarnor of {
    1. warnor : Actions_arguments.W.warnor;
    2. loc : loc;
    }
  6. | MissingID of {
    1. id : string;
    2. loc : loc;
    }
  7. | UnknownAttribute of {
    1. attr : string;
    2. loc : loc;
    }
  8. | General of {
    1. code : string;
    2. msg : string;
    3. labels : (string * loc) list;
    4. notes : string list;
    }
Sourceval pp : Format.formatter -> t -> unit
Sourceval to_grace : (string -> Grace.Source.t) -> t -> t Grace.Diagnostic.t option
Sourceval add : t -> unit
Sourceval with_ : (unit -> 'a) -> 'a * t list
Sourceval to_code : t -> string
Sourceval report_no_src : Format.formatter -> t -> unit

This one reports badly, without source code. Used for reporting cli.