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. | InconsistentOption of {
    1. option_name : string;
    2. loc1 : loc;
    3. loc2 : loc;
    }
  7. | MissingID of {
    1. id : string;
    2. loc : loc;
    }
  8. | UnknownAttribute of {
    1. attr : string;
    2. loc : loc;
    }
  9. | UnknownFrontmatterField of {
    1. key : string;
    2. loc : loc;
    3. allowed_keys : string list;
    }
  10. | FrontmatterParsing of {
    1. key : string;
    2. msg : string;
    3. loc : loc;
    }
  11. | InvalidFrontmatterLine of {
    1. loc : loc;
    }
  12. | ChildrenClassWithValue of {
    1. loc : loc;
    }
  13. | Simple of {
    1. loc : loc;
    2. msg : string;
    }
Sourceval primary_loc : t -> loc option
Sourceval to_grace : (Fpath.t -> Grace.Source.t option) -> t -> t Grace.Diagnostic.t
Sourceval add : t -> unit
Sourceval with_ : (unit -> 'a) -> 'a * t list
Sourceval to_code : t -> string