Pudu Docgen
Edit this page

Record

Diagnostic

Module PuduLangDocgen

type Diagnostic = {
  code: Str,
  severity: Severity,
  path: Str,
  line: Int,
  message: Str
}

View source

Actionable finding with stable source provenance

Fields

Name Type Description
code Str
severity Severity
path Str
line Int
message Str
Name Description
diagnostic A diagnostic of the given severity at a one-based source line.
error A fatal diagnostic at a one-based source line.
warning A warning at a one-based source line.
failed Whether any diagnostic is fatal.
describe A diagnostic rendered as `path:line: severity CODE: message`.