webql/compiler/diagnostic

Copy Markdown

Types

Diagnostic

pub type Diagnostic {
  Diagnostic(kind: DiagnosticKind, span: source.Span)
}
Diagnostic(kind: DiagnosticKind, span: source.Span)

DiagnosticKind

pub type DiagnosticKind {
  LexerDiagnostic(kind: diagnostic.DiagnosticKind)
  ParserDiagnostic(kind: diagnostic.DiagnosticKind)
  ResolverDiagnostic(kind: diagnostic.DiagnosticKind)
  TypecheckerDiagnostic(kind: diagnostic.DiagnosticKind)
}
LexerDiagnostic(kind: diagnostic.DiagnosticKind)
ParserDiagnostic(kind: diagnostic.DiagnosticKind)
ResolverDiagnostic(kind: diagnostic.DiagnosticKind)
TypecheckerDiagnostic(kind: diagnostic.DiagnosticKind)