nova-cli 0.3.2

The Nova programming language: compiler, formatter, language server, package manager and documentation generator
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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83

//! The files `nova new` and `nova init` write (spec
//! `docs/superpowers/specs/2026-10-07-phase-3-0-foundations-design.md`
//! §6.3, and for a library
//! `docs/superpowers/specs/2026-10-08-phase-3-3a-local-packages-design.md`
//! §5.5), with `\n` line endings on every system. Each `.nova` file is
//! already in `nova fmt`'s layout, so `nova fmt --check` passes on a new
//! project (spec
//! `docs/superpowers/specs/2026-10-12-phase-3-6a-release-preparation-design.md`
//! §7.1): a body holding one expression stays on one line.

const MAIN: &str = concat!(
    "fn greeting() -> String { \"Hello, Nova!\" }\n",
    "\n",
    "fn main() { println(greeting()) }\n",
    "\n",
    "@test\n",
    "fn greeting_says_hello() { assert_eq(greeting(), \"Hello, Nova!\") }\n",
);

const LIB: &str = concat!(
    "pub fn greeting() -> String { \"Hello, Nova!\" }\n",
    "\n",
    "@test\n",
    "fn greeting_says_hello() { assert_eq(greeting(), \"Hello, Nova!\") }\n",
);

/// What a template makes.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum Kind {
    /// `src/main.nova`.
    Program,
    /// `src/lib.nova`, and a test in `tests/`.
    Library,
}

/// The template of `kind` for a project called `name`, as (path, text)
/// pairs. `name` has passed `nova_pm::check_name`, so it needs no TOML
/// escaping.
pub fn files(name: &str, kind: Kind) -> Vec<(String, String)> {
    let mut files = vec![
        (
            "nova.toml".to_string(),
            format!(
                "[package]\nname = \"{name}\"\nversion = \"0.1.0\"\nedition = \"2026\"\n\n\
                 [dependencies]\n"
            ),
        ),
        (".gitignore".to_string(), "/target\n".to_string()),
    ];
    match kind {
        Kind::Program => {
            files.push((
                "README.md".to_string(),
                format!(
                    "# {name}\n\n`nova run` builds and runs `src/main.nova`; `nova test` runs \
                     its tests.\n"
                ),
            ));
            files.push(("src/main.nova".to_string(), MAIN.to_string()));
        }
        Kind::Library => {
            // `_test` keeps the file's name from ever being the import name,
            // which would be E0004 (spec 3.3a §5.5).
            let import = nova_pm::import_name(name);
            files.push((
                "README.md".to_string(),
                format!(
                    "# {name}\n\nA library: other packages import it as `import {import}`. \
                     `nova test` runs the tests in `src/lib.nova` and `tests/`.\n"
                ),
            ));
            files.push(("src/lib.nova".to_string(), LIB.to_string()));
            files.push((
                format!("tests/{import}_test.nova"),
                format!(
                    "import {import}\n\n@test\n\
                     fn greeting_is_public() {{ assert_eq(greeting(), \"Hello, Nova!\") }}\n"
                ),
            ));
        }
    }
    files
}