package grace
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
A fancy diagnostics library that allows your compilers to exit with grace
Install
dune-project
Dependency
Authors
Maintainers
Sources
grace-0.4.0.tbz
sha256=388149857c0fbaf2489b1e396af25aadd6185998847b75570f9198a077ad1ace
sha512=9ffa701f7729f90976594c4ec77b968f15450d8d7a1f0c65fe60d092c136b18f1c8bbd5f5772a651c925dabcdc82ac7023c30a4caa1b94e3e158ef2efa34b85e
doc/grace.json_conv/Grace_json_conv/index.html
Module Grace_json_convSource
Source
val json_of_diagnostic :
?code_to_string:('code -> string) ->
'code Grace.Diagnostic.t ->
Yojson.Basic.tConvert a Grace.Diagnostic.t to a JSON representation. The resulting JSON has the following shape:
{
"severity": "help" | "error" | "warning" | "note" | "bug",
"message": string,
"error_code": string?,
"labels": [
{
"range": {
"source": string?,
"start": { "line": int, "column": int },
"end": { "line": int, "column": int }
},
"priority": "primary" | "secondary",
"message": string
}*
],
"notes": [ string* ]
} sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>