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 -> standard_prettyprinter::Prettyprint_Output_Stream;
    null_error_body : ?.standard_prettyprinter::pp::Prettyprinter -> Void;
    error : sourcecode_info::Sourcecode_Info -> line_number_db::Source_Code_Region -> Plaint_Sink;
        error_no_source :
        (standard_prettyprinter::Prettyprint_Output_Stream , Ref(Bool )) -> String -> Plaint_Sink;
        error_no_file :
            (standard_prettyprinter::Prettyprint_Output_Stream , 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 : (standard_prettyprinter::Prettyprint_Output_Stream , Ref(Bool )) -> Errors;
    impossible : String -> X;
    impossible_with_body : String -> (?.standard_prettyprinter::pp::Prettyprinter -> Void) -> X;};