chandeliers-err
| Crates.io | chandeliers-err |
| lib.rs | chandeliers-err |
| version | 1.0.0 |
| source | src |
| created_at | 2023-10-24 13:16:24.846591 |
| updated_at | 2024-01-05 20:23:53.40361 |
| description | Internal error message generators for the Chandeliers project |
| homepage | |
| repository | https://github.com/Vanille-N/chandeliers |
| max_upload_size | |
| id | 1012359 |
| size | 36,508 |
Neven Villani (Vanille-N)
documentation
README
Chandeliers-Err
Error messages for the Chandeliers suite.
Error messages raised by the static analyzer of Chandeliers are bubbled up to be emitted by Rustc.
This crate provides
- a unified representation of errors as
Vec<(String, Option<Span>)> - utilities to produce predefined error messages.
The interface of this crate is highly unstable, and the errors are tailor-made for compilation errors encountered when compiling Lustre programs, so it is very unlikely that any project outside of the Chandeliers suite would need anything that this crate provides.