webql/compiler/typechecker/typecheck_document

Copy Markdown

Values

typecheck

pub fn typecheck(
  document: hir.Document,
  context: context.Context,
) -> Result(hir.Document, diagnostic.Diagnostic)

Typechecks a resolved document against its context.