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.stdune/Stdune/User_warning/index.html
Module Stdune.User_warning
Non-fatal user errors
Warnings are user errors that cannot be proper errors for backward compatibility reasons
val emit :
?loc:Stdune__.Loc0.t ->
?hints:User_message.Style.t Pp.t list ->
?is_error:bool ->
User_message.Style.t Pp.t list ->
unit
Emit a user warning. The arguments are interpreted in a similar fashion to User_error.raise
except that the first paragraph is prefixed with "Warning: " rather than "Error: ".
If is_error
is true
, then this function behaves exactly the same as User_error.raise
.
val set_reporter : (User_message.t -> unit) -> unit
Set the warning reporter. The default one is User_message.prerr
.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>