14.5.10  Error_Message

The standard library api defines access to.

The Error_Message api is implemented by the error_message package.

The Error_Message api source code is in src/lib/compiler/front/basics/errormsg/error-message.api.

The above information is manually maintained and may contain errors.

api {    Severity  = ERROR | WARNING;
    Plaint_Sink ;
    Error_Function  =
      line_number_db::Source_Code_Region -> Plaint_Sink;
    Errors ;
    saw_errors : Errors -> Bool;
    exception COMPILE_ERROR;
    default_plaint_sink : Void -> ?.prettyprint::pp::Device;
    null_error_body : ?.prettyprint::pp::Stream -> Void;
    error : sourcecode_info::Sourcecode_Info
            -> line_number_db::Source_Code_Region -> Plaint_Sink;
    error_no_source : (?.prettyprint::pp::Device , Ref(Bool ))
                      -> String -> Plaint_Sink;
    error_no_file : (?.prettyprint::pp::Device , Ref(Bool ))
                    -> line_number_db::Source_Code_Region -> Plaint_Sink;
    match_error_string : sourcecode_info::Sourcecode_Info
                         -> line_number_db::Source_Code_Region -> String;
    errors : sourcecode_info::Sourcecode_Info -> Errors;
    errors_no_file : (?.prettyprint::pp::Device , Ref(Bool )) -> Errors;
    impossible : String -> X;
    impossible_with_body : String -> (?.prettyprint::pp::Stream -> Void) -> X;
};