bock-air 0.1.0

Annotated Intermediate Representation (AIR) for the Bock compiler — typed, scope-resolved, effect-aware
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

//! Prelude vocabulary — names that are always in scope without an explicit
//! `use`. Mirrors the seed lists in [`crate::resolve::SymbolTable::seed_prelude`].
//!
//! Exposed so that tooling (vocab emitter, editor extensions, documentation)
//! can render the prelude without re-hardcoding it. The resolver's internal
//! constants remain the authoritative definition; these `pub` constants
//! simply forward them so both sources stay trivially in sync at compile
//! time (a single list edit touches both).

/// Prelude functions — global callables always available.
pub const PRELUDE_FUNCTIONS: &[&str] = &[
    "print",
    "println",
    "debug",
    "assert",
    "expect",
    "todo",
    "unreachable",
    "sleep",
    "spawn",
];

/// Prelude types — builtin type names.
pub const PRELUDE_TYPES: &[&str] = &[
    "Int", "Float", "Bool", "String", "Char", "Void", "Never", "Optional", "Result",
    "List", "Map", "Set", "Fn", "Duration", "Instant", "Channel",
];

/// Prelude enum variant constructors (Optional, Result).
pub const PRELUDE_CONSTRUCTORS: &[&str] = &["Some", "None", "Ok", "Err"];

/// Prelude traits — standard-library traits always available.
pub const PRELUDE_TRAITS: &[&str] = &[
    "Comparable",
    "Equatable",
    "Hashable",
    "Displayable",
    "Iterator",
    "Iterable",
    "Into",
    "From",
];

/// Primitive type names.
pub const PRIMITIVE_TYPES: &[&str] = &[
    "Int", "Float", "Bool", "String", "Char", "Void", "Never",
];