webql/compiler/resolver/diagnostic

Copy Markdown

Types

Diagnostic

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

DiagnosticKind

pub type DiagnosticKind {
  UnknownPort(name: String)
  UnknownNode(name: String)
  UnknownInput(path: List(String))
  UnknownOutput(path: List(String))
  DuplicateReturn(name: String)
  DuplicateParameter(name: String)
  DuplicateSupernode(name: String)
  DuplicateNode(name: String)
  DuplicateEdgeInput(path: List(String))
}
UnknownPort(name: String)
UnknownNode(name: String)
UnknownInput(path: List(String))
UnknownOutput(path: List(String))
DuplicateReturn(name: String)
DuplicateParameter(name: String)
DuplicateSupernode(name: String)
DuplicateNode(name: String)
DuplicateEdgeInput(path: List(String))