package dune
Fast, portable and opinionated build system
Install
Dune Dependency
Authors
Maintainers
Sources
dune-build-info-1.11.4.tbz
sha256=77cb5f483221b266ded2b85fc84173ae0089a25134a086be922e82c131456ce6
sha512=02f00fd872aa49b832fc8c1e928409f23c79ddf84a53009a58875f222cca36fbb92c905e12c539caec9cbad723f195a8aa24218382dca35a903b3f52b11f06f2
doc/dune._stdune/Stdune/User_error/index.html
Module Stdune.User_error
Error meant for humans
exception E of User_message.t
User errors are errors that users need to fix themselves in order to make progress. Since these errors are read by users, they should be simple to understand for people who are not familiar with the dune codebase.
val raise :
?loc:Stdune__.Loc0.t ->
?hints:User_message.Style.t Pp.t list ->
User_message.Style.t Pp.t list ->
_
Raise a user error. The arguments are interpreted in the same way as User_message.make
. The first paragraph is prefixed with "Error:".
val make :
?loc:Stdune__.Loc0.t ->
?hints:User_message.Style.t Pp.t list ->
User_message.Style.t Pp.t list ->
User_message.t
Create a user error.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>