chandeliers-err 1.0.0

Internal error message generators for the Chandeliers project
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
# 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.