lambdust 0.1.1

A Scheme dialect with gradual typing and effect systems
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

//! Warning system for program analysis.

use crate::diagnostics::Span;
use super::analysis_types::{WarningType, WarningSeverity};

/// Analysis warning.
#[derive(Debug, Clone)]
pub struct AnalysisWarning {
    /// Warning type
    pub warning_type: WarningType,
    /// Warning message
    pub message: String,
    /// Location
    pub location: Option<Span>,
    /// Severity
    pub severity: WarningSeverity,
}