assura-diagnostics 0.4.0

Unified diagnostic types for the Assura compiler

Coverage
100%
39 out of 39 items documented0 out of 13 items with examples
Size
Source code size: 195.0 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 2.0 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 9s Average build duration of successful builds.
all releases: 9s Average build duration of successful builds in releases after 2024-10-23.
Links
Homepage
assura-lang/assura
6 2 9
crates.io
Dependencies
Versions
Owners

Unified diagnostic types for the Assura compiler.

All compiler passes (parser, resolver, type checker, SMT verifier) emit Diagnostic values. The CLI renders these uniformly via ariadne (human mode) or serde (JSON mode).