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.