Repository navigation

Diagnostics - #292

Open

sipma wants to merge 4 commits into

static-analysis-engineering:masterfrom

sipma:diagnostics

Open

Diagnostics#292
sipma wants to merge 4 commits into
static-analysis-engineering:masterfrom
sipma:diagnostics

Commits on Aug 11, 2026
- UTIL: add diagnostic to error messages
  sipma
  committed
  49f868e
- AST: raise TYPING diagnostic for functions with untyped local variables
  sipma
  committed
  b7fcd60
- add diagnostic codes to error messages
  sipma
  committed
  dff030e
Commits on Aug 12, 2026
- revert a diagnostic back to an info message
  sipma
  committed
  fa3eb38