package grace

  1. Overview
  2. Docs
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

Sourceval json_of_diagnostic : ?code_to_string:('code -> string) -> 'code Grace.Diagnostic.t -> Yojson.Basic.t

Convert 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* ]
  }