package dune-private-libs
Private libraries of Dune
Install
Dune Dependency
Authors
Maintainers
Sources
dune-2.5.1.tbz
sha256=8f77d3a87f208e0d7cccaa1c48c4bb1bb87d62d07c3f25e9b8ba298e028ce52b
sha512=f209f12ced10c1abf8782bdb0143f4cec77795f7174d2cc75130afb1e01550b01f2f77b9e3ec4888efdad83d2f9878d179b39126f824f4e522f3ef4da34bf27e
doc/dune-private-libs.dune_util/Dune_util/Report_error/index.html
Module Dune_util.Report_error
Error reporting
val report :
?extra:
(Stdune.Loc.t option -> Stdune.User_message.Style.t Stdune.Pp.t option) ->
Stdune.Exn_with_backtrace.t ->
unit
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.
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.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>