crisp-resolve 1.7.2

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
52
53

use crate::symbols::{Symbol, SymbolKey, SymbolKind, Visibility};
use crisp_ast::Span;

/// Built-in prelude symbols (spec §15). `std/prelude.crp` is documentation until populated.
pub fn prelude_symbols() -> Vec<Symbol> {
    let module = "std.prelude".to_string();
    let span = Span::default();
    let types = [
        "int", "uint", "float", "bool", "char", "str", "Never", "vec", "map", "set",
    ];
    let fns = ["log", "print", "some", "none", "assert_eq"];
    // Spec §15.4 — compiler-injected shims (Show→Display, Eq→PartialEq/Eq, Ord→Ord).
    let traits = ["Show", "Eq", "Ord", "Add", "Sub", "Mul", "Div"];

    let mut out = Vec::new();
    for name in types {
        out.push(Symbol {
            key: SymbolKey {
                module: module.clone(),
                name: name.to_string(),
            },
            kind: SymbolKind::PreludeType,
            visibility: Visibility::Public,
            span,
            from_prelude: true,
        });
    }
    for name in fns {
        out.push(Symbol {
            key: SymbolKey {
                module: module.clone(),
                name: name.to_string(),
            },
            kind: SymbolKind::PreludeFn,
            visibility: Visibility::Public,
            span,
            from_prelude: true,
        });
    }
    for name in traits {
        out.push(Symbol {
            key: SymbolKey {
                module: module.clone(),
                name: name.to_string(),
            },
            kind: SymbolKind::Trait,
            visibility: Visibility::Public,
            span,
            from_prelude: true,
        });
    }
    out
}