harn-cli 0.10.116

CLI for the Harn programming language — run, test, REPL, format, and lint
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
52
53
54
55
56
57
58
59
60
61
62
63
64
65

use super::*;

fn diagnostics(file: &std::path::Path, source: &str) -> Vec<PreflightDiagnostic> {
    let program = parse_program(source);
    collect_preflight_diagnostics(file, source, &program, &CheckConfig::default())
}

/// The execution-directory check must hold for the removed spelling, the
/// supported spelling, and an unrelated receiver with a colliding method.
#[test]
fn preflight_reports_a_missing_execution_dir_through_the_capability_method() {
    let dir = unique_temp_dir("harn-check-exec-at");
    std::fs::create_dir_all(&dir).unwrap();
    let file = dir.join("main.harn");

    let reported = |source: &str| {
        diagnostics(&file, source)
            .into_iter()
            .filter(|diagnostic| diagnostic.code.as_str() == "HARN-ORC-010")
            .collect::<Vec<_>>()
    };

    let legacy = reported("fn main(harness: Harness) {\n  exec_at(\"no-such-dir\", \"ls\")\n}\n");
    assert_eq!(legacy.len(), 1, "removed spelling: {legacy:?}");

    let capability = reported(
        "fn main(harness: Harness) {\n  harness.process.exec_at(\"no-such-dir\", \"ls\")\n}\n",
    );
    assert_eq!(capability.len(), 1, "capability spelling: {capability:?}");
    assert!(capability[0].message.contains("no-such-dir"));

    let shell = reported(
        "fn main(harness: Harness) {\n  harness.process.shell_at(\"no-such-dir\", \"ls\")\n}\n",
    );
    assert_eq!(shell.len(), 1, "shell_at: {shell:?}");

    let unrelated =
        reported("fn main(harness: Harness) {\n  client.exec_at(\"no-such-dir\", \"ls\")\n}\n");
    assert!(unrelated.is_empty(), "unrelated receiver: {unrelated:?}");

    let _ = std::fs::remove_dir_all(&dir);
}

/// Recognizing the capability spelling must not stop the recursive walk.
#[test]
fn preflight_keeps_scanning_inside_a_recognized_capability_call() {
    let dir = unique_temp_dir("harn-check-exec-at-nested");
    std::fs::create_dir_all(&dir).unwrap();
    let file = dir.join("main.harn");
    let source = "fn main(harness: Harness) {\n  harness.process.exec_at(\"no-such-dir\", harness.fs.render_prompt(\"missing.txt\"))\n}\n";
    let diagnostics = diagnostics(&file, source);
    assert!(
        diagnostics
            .iter()
            .any(|diagnostic| diagnostic.code.as_str() == "HARN-ORC-010"),
        "outer call still reports: {diagnostics:?}"
    );
    assert!(
        diagnostics
            .iter()
            .any(|diagnostic| diagnostic.message.contains("render_prompt target")),
        "nested argument is still scanned: {diagnostics:?}"
    );
    let _ = std::fs::remove_dir_all(&dir);
}