Klar logoklaralpha
Back to docs
Raw markdown

Diagnostics

klar check supports human-readable and machine-readable diagnostics.

Human Mode

klar check examples/demo.klar

Prints formatted errors with location and fix suggestions.

JSON Mode

klar check examples/demo.klar --format json

Success output:

[]

Error output includes:

  • code
  • severity
  • message
  • location (file, line, col)
  • actions
  • fixes

Current Code Families

  • E001: parse errors
  • E010: undefined name/import issues
  • E020: type mismatch
  • E030: argument mismatch
  • E040: invalid operator types
  • E050: iteration type issues
  • E099: fallback category

Related Docs