crisp-resolve 1.7.0

Name resolution, imports, sealed-crate lockfile (spec §12)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51

//! Resolve-time warnings (non-fatal).

use crisp_ast::Span;
use std::fmt;

/// Non-fatal resolve diagnostics.
#[derive(Debug, Clone, PartialEq, Eq)]
pub enum ResolveWarning {
    /// Bare `use {name}` binds a Crisp module that shares a name with a `rust = true` dep.
    ModuleShadowsRustDep { name: String, span: Span },
}

impl ResolveWarning {
    pub fn code(&self) -> &'static str {
        match self {
            Self::ModuleShadowsRustDep { .. } => "W0048",
        }
    }
}

impl fmt::Display for ResolveWarning {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        match self {
            Self::ModuleShadowsRustDep { name, .. } => write!(
                f,
                "[W0048] `{name}` is both a Crisp module and a Rust dependency; \
                 bare `use {name}` binds the Crisp module; \
                 use `use rust.{name} {{ … }}` for the crate (spec §14.2, #41)"
            ),
        }
    }
}

#[cfg(test)]
mod tests {
    use super::*;
    use crisp_ast::Span;

    #[test]
    fn w0048_display_mentions_code_and_disambiguation() {
        let w = ResolveWarning::ModuleShadowsRustDep {
            name: "config".into(),
            span: Span::new(0, 1),
        };
        assert_eq!(w.code(), "W0048");
        let msg = w.to_string();
        assert!(msg.contains("W0048"));
        assert!(msg.contains("config"));
        assert!(msg.contains("use rust.config"));
    }
}