rtlola_reporting/
lib.rs

1//! This module provides error reporting functionality for the frontend.
2
3#![forbid(unused_must_use)] // disallow discarding errors
4#![warn(
5    missing_docs,
6    missing_debug_implementations,
7    missing_copy_implementations,
8    trivial_casts,
9    trivial_numeric_casts,
10    unsafe_code,
11    unstable_features,
12    unused_import_braces,
13    unused_qualifications
14)]
15
16mod reporting;
17
18pub use codespan_reporting::diagnostic::Diagnostic as RawDiagnostic;
19pub use reporting::*;