Docs
Native tooling diagnostic inventory
Generated by scripts/tooling_diagnostic_inventory.py; do not edit the table by hand.
The adapter is eta/cst/diagnostic.{h,cpp}. All entries retain compiler ownership and severity (typed errors are errors). Typed messages are compiler-provided or the shared diagnostic converter’s kind-specific message. Unified messages, numeric code and related locations are retained verbatim. Every native kind has a generated adapter test.
A source resolver proves file identity and byte bounds. Unresolvable/default spans remain absent; providers may explicitly prove a zero-width BOF location. Module identity and related import/provider locations remain separate. Unknown enum values retain the numeric kind and message with partial classification; text-only failures use compiler.unclassified (status 1 unless the producer declares operation/internal failure). Unlocated deduplication includes producer, module and message. No adapter invokes expansion, loading or execution.
The reader is available as a non-executing service. Expansion can run user macro transformations, and linking expects expanded module forms; these are adapter inputs only, not automatically callable tooling services. The semantic analyzer requires expanded forms and runtime/builtin environments. Unified runtime enum members describe an available diagnostic representation, not permission to execute source for analysis. Unavailable semantic metadata must be reported as missing analysis coverage in later linter phases.
| Native kind | Producer/API | External code | Message/location | Exit class |
|---|---|---|---|---|
UnexpectedEOF | Lexer::next_token/next_raw_item | reader.lexer.UnexpectedEOF | native/shared message + native span; location optional | 2 |
UnterminatedString | Lexer::next_token/next_raw_item | reader.lexer.UnterminatedString | native/shared message + native span; location optional | 2 |
UnterminatedComment | Lexer::next_token/next_raw_item | reader.lexer.UnterminatedComment | native/shared message + native span; location optional | 2 |
InvalidChar | Lexer::next_token/next_raw_item | reader.lexer.InvalidChar | native/shared message + native span; location optional | 2 |
InvalidToken | Lexer::next_token/next_raw_item | reader.lexer.InvalidToken | native/shared message + native span; location optional | 2 |
InvalidNumeric | Lexer::next_token/next_raw_item | reader.lexer.InvalidNumeric | native/shared message + native span; location optional | 2 |
InvalidUtf8 | Lexer::next_token/next_raw_item | reader.lexer.InvalidUtf8 | native/shared message + native span; location optional | 2 |
MissingDelimiter | Lexer::next_token/next_raw_item | reader.lexer.MissingDelimiter | native/shared message + native span; location optional | 2 |
InvalidCodePoint | Lexer::next_token/next_raw_item | reader.lexer.InvalidCodePoint | native/shared message + native span; location optional | 2 |
InvalidBoolean | Lexer::next_token/next_raw_item | reader.lexer.InvalidBoolean | native/shared message + native span; location optional | 2 |
InvalidDatum | Lexer::next_token/next_raw_item | reader.lexer.InvalidDatum | native/shared message + native span; location optional | 2 |
FromLexer | Parser::parse_toplevel/parse_datum | reader.parser.FromLexer | native/shared message + native span; location optional | 2 |
UnexpectedEOF | Parser::parse_toplevel/parse_datum | reader.parser.UnexpectedEOF | native/shared message + native span; location optional | 2 |
UnexpectedClosingDelimiter | Parser::parse_toplevel/parse_datum | reader.parser.UnexpectedClosingDelimiter | native/shared message + native span; location optional | 2 |
UnsupportedToken | Parser::parse_toplevel/parse_datum | reader.parser.UnsupportedToken | native/shared message + native span; location optional | 2 |
UnclosedList | Parser::parse_toplevel/parse_datum | reader.parser.UnclosedList | native/shared message + native span; location optional | 2 |
MisplacedDot | Parser::parse_toplevel/parse_datum | reader.parser.MisplacedDot | native/shared message + native span; location optional | 2 |
MultipleDotsInDottedList | Parser::parse_toplevel/parse_datum | reader.parser.MultipleDotsInDottedList | native/shared message + native span; location optional | 2 |
DotAtListStart | Parser::parse_toplevel/parse_datum | reader.parser.DotAtListStart | native/shared message + native span; location optional | 2 |
UnclosedVector | Parser::parse_toplevel/parse_datum | reader.parser.UnclosedVector | native/shared message + native span; location optional | 2 |
DotInVector | Parser::parse_toplevel/parse_datum | reader.parser.DotInVector | native/shared message + native span; location optional | 2 |
ByteVectorNonInteger | Parser::parse_toplevel/parse_datum | reader.parser.ByteVectorNonInteger | native/shared message + native span; location optional | 2 |
InvalidByteLiteral | Parser::parse_toplevel/parse_datum | reader.parser.InvalidByteLiteral | native/shared message + native span; location optional | 2 |
InvalidNumericLiteral | Parser::parse_toplevel/parse_datum | reader.parser.InvalidNumericLiteral | native/shared message + native span; location optional | 2 |
UnquoteOutsideQuasiquote | Parser::parse_toplevel/parse_datum | reader.parser.UnquoteOutsideQuasiquote | native/shared message + native span; location optional | 2 |
InternalNotAnAtom | Parser::parse_toplevel/parse_datum | reader.parser.InternalNotAnAtom | native/shared message + native span; location optional | 70 |
InternalNotAReaderToken | Parser::parse_toplevel/parse_datum | reader.parser.InternalNotAReaderToken | native/shared message + native span; location optional | 70 |
InvalidSyntax | Expander::expand_toplevel | compiler.expander.InvalidSyntax | native/shared message + native span; location optional | 1 |
DuplicateIdentifier | Expander::expand_toplevel | compiler.expander.DuplicateIdentifier | native/shared message + native span; location optional | 1 |
InvalidLetBindings | Expander::expand_toplevel | compiler.expander.InvalidLetBindings | native/shared message + native span; location optional | 1 |
ReservedKeyword | Expander::expand_toplevel | compiler.expander.ReservedKeyword | native/shared message + native span; location optional | 1 |
ArityError | Expander::expand_toplevel | compiler.expander.ArityError | native/shared message + native span; location optional | 1 |
ExpansionDepthExceeded | Expander::expand_toplevel | compiler.expander.ExpansionDepthExceeded | native/shared message + native span; location optional | 2 |
UnknownModule | ModuleLinker::index_modules/link | compiler.linker.UnknownModule | native/shared message + native span; location optional | 1 |
ExportOfUnknownName | ModuleLinker::index_modules/link | compiler.linker.ExportOfUnknownName | native/shared message + native span; location optional | 1 |
ConflictingImport | ModuleLinker::index_modules/link | compiler.linker.ConflictingImport | native/shared message + native span; location optional | 1 |
NameNotExported | ModuleLinker::index_modules/link | compiler.linker.NameNotExported | native/shared message + native span; location optional | 1 |
DuplicateModule | ModuleLinker::index_modules/link | compiler.linker.DuplicateModule | native/shared message + native span; location optional | 1 |
CircularDependency | ModuleLinker::index_modules/link | compiler.linker.CircularDependency | native/shared message + native span; location optional | 1 |
UnterminatedString | DiagnosticEngine::diagnostics | compiler.diagnostic.0 | native message + related spans; location optional | 2 |
UnterminatedComment | DiagnosticEngine::diagnostics | compiler.diagnostic.1 | native message + related spans; location optional | 2 |
InvalidChar | DiagnosticEngine::diagnostics | compiler.diagnostic.2 | native message + related spans; location optional | 2 |
InvalidToken | DiagnosticEngine::diagnostics | compiler.diagnostic.3 | native message + related spans; location optional | 2 |
InvalidNumeric | DiagnosticEngine::diagnostics | compiler.diagnostic.4 | native message + related spans; location optional | 2 |
InvalidBoolean | DiagnosticEngine::diagnostics | compiler.diagnostic.5 | native message + related spans; location optional | 2 |
InvalidCodePoint | DiagnosticEngine::diagnostics | compiler.diagnostic.6 | native message + related spans; location optional | 2 |
MissingDelimiter | DiagnosticEngine::diagnostics | compiler.diagnostic.7 | native message + related spans; location optional | 2 |
UnexpectedEOF | DiagnosticEngine::diagnostics | compiler.diagnostic.8 | native message + related spans; location optional | 2 |
InvalidDatum | DiagnosticEngine::diagnostics | compiler.diagnostic.9 | native message + related spans; location optional | 2 |
UnexpectedToken | DiagnosticEngine::diagnostics | compiler.diagnostic.100 | native message + related spans; location optional | 2 |
UnmatchedParen | DiagnosticEngine::diagnostics | compiler.diagnostic.101 | native message + related spans; location optional | 2 |
InvalidList | DiagnosticEngine::diagnostics | compiler.diagnostic.102 | native message + related spans; location optional | 2 |
InvalidVector | DiagnosticEngine::diagnostics | compiler.diagnostic.103 | native message + related spans; location optional | 2 |
InvalidDottedList | DiagnosticEngine::diagnostics | compiler.diagnostic.104 | native message + related spans; location optional | 2 |
UnquoteOutsideQuasiquote | DiagnosticEngine::diagnostics | compiler.diagnostic.105 | native message + related spans; location optional | 2 |
InvalidSyntax | DiagnosticEngine::diagnostics | compiler.diagnostic.200 | native message + related spans; location optional | 1 |
DuplicateIdentifier | DiagnosticEngine::diagnostics | compiler.diagnostic.201 | native message + related spans; location optional | 1 |
InvalidLetBindings | DiagnosticEngine::diagnostics | compiler.diagnostic.202 | native message + related spans; location optional | 1 |
ReservedKeyword | DiagnosticEngine::diagnostics | compiler.diagnostic.203 | native message + related spans; location optional | 1 |
ArityError | DiagnosticEngine::diagnostics | compiler.diagnostic.204 | native message + related spans; location optional | 1 |
ExpansionDepthExceeded | DiagnosticEngine::diagnostics | compiler.diagnostic.205 | native message + related spans; location optional | 2 |
ModuleNotFound | DiagnosticEngine::diagnostics | compiler.diagnostic.300 | native message + related spans; location optional | 1 |
CircularDependency | DiagnosticEngine::diagnostics | compiler.diagnostic.301 | native message + related spans; location optional | 1 |
DuplicateExport | DiagnosticEngine::diagnostics | compiler.diagnostic.302 | native message + related spans; location optional | 1 |
ImportNotFound | DiagnosticEngine::diagnostics | compiler.diagnostic.303 | native message + related spans; location optional | 1 |
UnresolvedImport | DiagnosticEngine::diagnostics | compiler.diagnostic.304 | native message + related spans; location optional | 1 |
ExportOfUnknownName | DiagnosticEngine::diagnostics | compiler.diagnostic.305 | native message + related spans; location optional | 1 |
DuplicateModule | DiagnosticEngine::diagnostics | compiler.diagnostic.306 | native message + related spans; location optional | 1 |
UndefinedName | DiagnosticEngine::diagnostics | compiler.diagnostic.400 | native message + related spans; location optional | 1 |
DuplicateDefinition | DiagnosticEngine::diagnostics | compiler.diagnostic.401 | native message + related spans; location optional | 1 |
NonFunctionCall | DiagnosticEngine::diagnostics | compiler.diagnostic.402 | native message + related spans; location optional | 1 |
InvalidFormShape | DiagnosticEngine::diagnostics | compiler.diagnostic.403 | native message + related spans; location optional | 1 |
ImmutableAssignment | DiagnosticEngine::diagnostics | compiler.diagnostic.404 | native message + related spans; location optional | 1 |
SetOnImported | DiagnosticEngine::diagnostics | compiler.diagnostic.405 | native message + related spans; location optional | 1 |
InvalidLetrecInit | DiagnosticEngine::diagnostics | compiler.diagnostic.406 | native message + related spans; location optional | 1 |
ExportOfUnknownBinding | DiagnosticEngine::diagnostics | compiler.diagnostic.407 | native message + related spans; location optional | 1 |
NotImplemented | DiagnosticEngine::diagnostics | compiler.diagnostic.500 | native message + related spans; location optional | 1 |
StackOverflow | DiagnosticEngine::diagnostics | compiler.diagnostic.501 | native message + related spans; location optional | 2 |
FrameOverflow | DiagnosticEngine::diagnostics | compiler.diagnostic.502 | native message + related spans; location optional | 2 |
InvalidInstruction | DiagnosticEngine::diagnostics | compiler.diagnostic.503 | native message + related spans; location optional | 70 |
InvalidArity | DiagnosticEngine::diagnostics | compiler.diagnostic.504 | native message + related spans; location optional | 1 |
TypeError | DiagnosticEngine::diagnostics | compiler.diagnostic.505 | native message + related spans; location optional | 1 |
UndefinedGlobal | DiagnosticEngine::diagnostics | compiler.diagnostic.506 | native message + related spans; location optional | 1 |
HeapAllocationFailed | DiagnosticEngine::diagnostics | compiler.diagnostic.507 | native message + related spans; location optional | 2 |
InternTableFull | DiagnosticEngine::diagnostics | compiler.diagnostic.508 | native message + related spans; location optional | 2 |
StackUnderflow | DiagnosticEngine::diagnostics | compiler.diagnostic.509 | native message + related spans; location optional | 70 |
InternalError | DiagnosticEngine::diagnostics | compiler.diagnostic.510 | native message + related spans; location optional | 70 |
UserError | DiagnosticEngine::diagnostics | compiler.diagnostic.511 | native message + related spans; location optional | 1 |