2022-08-14 02:08:11 +02:00
|
|
|
//! Implements warnings that are emitted in cases where code passed to
|
|
|
|
//! Tvix exhibits problems that the user could address.
|
2022-08-12 16:07:32 +02:00
|
|
|
|
|
|
|
#[derive(Debug)]
|
2022-08-12 16:13:41 +02:00
|
|
|
pub enum WarningKind {
|
|
|
|
DeprecatedLiteralURL,
|
2022-08-13 20:52:44 +02:00
|
|
|
UselessInherit,
|
2022-08-23 10:26:00 +02:00
|
|
|
UnusedBinding,
|
2022-08-24 15:31:28 +02:00
|
|
|
ShadowedGlobal(&'static str),
|
2022-09-05 04:12:50 +02:00
|
|
|
|
|
|
|
/// Tvix internal warning for features triggered by users that are
|
|
|
|
/// not actually implemented yet.
|
|
|
|
NotImplemented(&'static str),
|
2022-08-12 16:13:41 +02:00
|
|
|
}
|
2022-08-12 16:07:32 +02:00
|
|
|
|
|
|
|
#[derive(Debug)]
|
|
|
|
pub struct EvalWarning {
|
|
|
|
pub kind: WarningKind,
|
2022-09-01 18:57:55 +02:00
|
|
|
pub span: codemap::Span,
|
2022-08-12 16:07:32 +02:00
|
|
|
}
|