webql/compiler/typechecker/diagnostic

Copy Markdown

Types

Diagnostic

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

DiagnosticKind

pub type DiagnosticKind {
  UnknownSupernode(reference: reference.Supernode)
  UnknownInput(path: List(String))
  UnknownOutput(path: List(String))
  TypeMismatch(expected: reference.Port, found: reference.Port)
}
UnknownSupernode(reference: reference.Supernode)
UnknownInput(path: List(String))
UnknownOutput(path: List(String))
TypeMismatch(expected: reference.Port, found: reference.Port)