package grace

  1. Overview
  2. Docs
A fancy diagnostics library that allows your compilers to exit with grace

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (5)

Authors

  1. A
    Alistair O'Brien

Maintainers

  1. A
    alistair.obrien@trili.tech

Sources

grace-0.4.1.tbz
sha256=d49754224206de44855590848b3a5a6cc1d5c46cf99a4e5810ca3041d436a28e
sha512=2984b5a6284bf8bbd05419cf850c15c34bc19c19f0c8928b83cc1be1c0bfc84aafef6d992e7435c2f48ba361a6f3aab679abd02f0e6472361c8cec7d497bc405

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