Module Dune_util.Report_errorSource

Error reporting

Reports an error.

Because dune doesn't stop at the first error, it might end up reporting the same error twice about missing libraries for instance. To avoid this, we keep a cache of reported errors and ignore errors that have already been reported.

We cache what is actually printed to the screen.

extra is the extra material that is printed between the backtrace and the hint.

Sourceval report_backtraces : bool -> unit
Sourceexception Already_reported

Raised for errors that have already been reported to the user and shouldn't be reported again. This might happen when trying to build a dependency that has already failed.

Sourceval clear_reported : unit -> unit

Clear the list of already reported errors.