lisette_diagnostics/
module_graph.rs

1use crate::LisetteDiagnostic;
2use syntax::ast::Span;
3
4pub fn module_not_found(
5    module_name: &str,
6    span: Span,
7    is_go_stdlib: bool,
8    standalone: bool,
9    src_prefix_hint: Option<String>,
10) -> LisetteDiagnostic {
11    let help = if let Some(stripped) = src_prefix_hint {
12        format!(
13            "Did you mean `import \"{}\"`? The `src/` prefix is not needed — imports are relative to the source directory.",
14            stripped
15        )
16    } else if is_go_stdlib {
17        format!(
18            "No `{}` module found in your local project. Did you mean `import \"go:{}\"` from Go's stdlib?",
19            module_name, module_name
20        )
21    } else if standalone {
22        "When executing `lis run` on an individual file, that file may import only from the Go standard library. To import modules normally, use `lis new` to create a project."
23            .to_string()
24    } else {
25        "Check the module path and ensure the file exists".to_string()
26    };
27
28    LisetteDiagnostic::error("Module not found")
29        .with_resolve_code("module_not_found")
30        .with_span_label(&span, "not found")
31        .with_help(help)
32}
33
34pub fn invalid_module_path(module_name: &str, span: Span) -> LisetteDiagnostic {
35    LisetteDiagnostic::error(format!("Invalid module path `{}`", module_name))
36        .with_resolve_code("invalid_module_path")
37        .with_span_label(&span, "module paths cannot contain `.`")
38        .with_help(
39            "Project imports use bare folder names like `import \"util\"` or `import \"nested/deep/module\"`. Relative-path syntax (`./sub`, `../sub`) is not supported.",
40        )
41}
42
43pub fn missing_go_prefix(module_name: &str, span: Span) -> LisetteDiagnostic {
44    LisetteDiagnostic::error(format!("Invalid module path `{}`", module_name))
45        .with_resolve_code("missing_go_prefix")
46        .with_span_label(&span, "Go imports require the `go:` prefix")
47        .with_help(format!(
48            "`{0}` is a declared Go dependency. Did you mean `import \"go:{0}\"`?",
49            module_name
50        ))
51}
52
53pub fn cannot_import_prelude(span: Span) -> LisetteDiagnostic {
54    LisetteDiagnostic::error("Invalid import")
55        .with_resolve_code("cannot_import_prelude")
56        .with_span_label(&span, "prelude is automatically available")
57        .with_help("Remove this import. Use e.g. `Option` or `prelude.Option` directly.")
58}
59
60pub fn test_file_not_supported(filename: &str) -> LisetteDiagnostic {
61    LisetteDiagnostic::error(format!("Test file `{}` is not yet supported", filename))
62        .with_resolve_code("test_file_not_supported")
63        .with_help("Files ending in `_test.lis` are reserved for future testing support. Rename this file to compile it.")
64}
65
66pub fn go_stdlib_unavailable_on_target(
67    go_pkg: &str,
68    target: &str,
69    available: &str,
70    span: Span,
71) -> LisetteDiagnostic {
72    LisetteDiagnostic::error(format!("`go:{}` is not available on `{}`", go_pkg, target))
73        .with_resolve_code("go_stdlib_unavailable_on_target")
74        .with_span_label(&span, "stdlib package not available on this target")
75        .with_help(format!(
76            "This Go stdlib package exists, but its surface differs across platforms. Available on: {}",
77            available
78        ))
79}
80
81pub fn undeclared_go_import(go_pkg: &str, span: Span) -> LisetteDiagnostic {
82    LisetteDiagnostic::error("Undeclared Go dependency")
83        .with_resolve_code("undeclared_go_import")
84        .with_span_label(&span, "not in lisette.toml")
85        .with_help(format!(
86            "Run `lis add {}` to add this dependency, or add it manually to `[dependencies.go]` in `lisette.toml`",
87            go_pkg
88        ))
89}
90
91pub fn missing_go_typedef(
92    go_pkg: &str,
93    module: &str,
94    version: &str,
95    span: Span,
96) -> LisetteDiagnostic {
97    let help = if go_pkg == module {
98        format!(
99            "Module `{}` {} is declared but no typedef was found. Run `lis check` to regenerate all typedefs, or `lis add {}@{}` to regenerate this one.",
100            module, version, module, version
101        )
102    } else {
103        format!(
104            "Subpackage `{}` of module `{}` {} has no typedef. Run `lis add {}@{}` to regenerate the module's typedefs, including any subpackages.",
105            go_pkg, module, version, module, version
106        )
107    };
108
109    LisetteDiagnostic::error("Missing Go typedef")
110        .with_resolve_code("missing_go_typedef")
111        .with_span_label(&span, "no .d.lis file found")
112        .with_help(help)
113}
114
115pub fn unreadable_go_typedef(path: &std::path::Path, error: &str, span: Span) -> LisetteDiagnostic {
116    LisetteDiagnostic::error("Failed to read Go typedef")
117        .with_resolve_code("unreadable_go_typedef")
118        .with_span_label(&span, "typedef exists but could not be read")
119        .with_help(format!("Failed to read `{}`: {}", path.display(), error,))
120}
121
122pub fn import_cycle(path: &[String]) -> LisetteDiagnostic {
123    let modules: Vec<_> = path[..path.len() - 1].to_vec();
124
125    let is_self_import = modules.len() == 1;
126
127    let chain = if is_self_import {
128        format!("{} -> {}", modules[0], modules[0])
129    } else {
130        modules.join(" -> ")
131    };
132
133    let first_module = &modules[0];
134    let first_end = first_module.len();
135    let first_center = first_module.len() / 2;
136
137    let last_module = if is_self_import {
138        &modules[0]
139    } else {
140        modules.last().expect("cycle must have at least one module")
141    };
142    let last_start = chain.len() - last_module.len();
143    let last_end = chain.len();
144    let last_center = last_start + last_module.len() / 2;
145
146    let mut underline = String::new();
147    for i in 0..chain.len() {
148        if i < first_end {
149            if i == first_center {
150                underline.push('┬');
151            } else {
152                underline.push('─');
153            }
154        } else if i >= last_start && i < last_end {
155            if i == last_center {
156                underline.push('┬');
157            } else {
158                underline.push('─');
159            }
160        } else {
161            underline.push(' ');
162        }
163    }
164
165    let mut connect_line = String::new();
166    for i in 0..=last_center {
167        if i < first_center {
168            connect_line.push(' ');
169        } else if i == first_center {
170            connect_line.push('╰');
171        } else if i < last_center {
172            connect_line.push('─');
173        } else {
174            connect_line.push('╯');
175        }
176    }
177
178    let art = format!("{}\n{}\n{}", chain, underline, connect_line);
179
180    let help = if is_self_import {
181        "Remove the self-import"
182    } else {
183        "To break the cycle, remove one of imports or extract common dependencies into a separate module"
184    };
185
186    LisetteDiagnostic::error(format!("Import cycle detected\n\n{}", art))
187        .with_resolve_code("import_cycle")
188        .with_help(help)
189}
lisette_diagnostics/module_graph.rs

lisette_diagnostics/
module_graph.rs
