Mir.Error
type descr = error_descr = {
kind : string Pos.marked; |
major_code : string Pos.marked; |
minor_code : string Pos.marked; |
description : string Pos.marked; |
isisf : string Pos.marked; |
}
type t = error = {
name : string Pos.marked; | (* The position is the variable declaration *) |
id : int; | (* Each variable has an unique ID *) |
descr : error_descr; | (* Description taken from the variable declaration *) |
typ : Mast.error_typ; |
}
val new_error : string Pos.marked -> Mast.error_ -> Mast.error_typ -> error
val err_descr_string : t -> string Pos.marked