knave 0.14.17

A Lisp programming language for humans and agents that infers types and ownership and compiles to readable Rust
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

use super::error_location::ModuleLoader;
use crate::check::ProgramChecker;
use crate::diagnostic::Diagnostics;
use crate::expand::{BoundName, Program};

pub struct SourcesSurvey {
    diagnostics: Diagnostics,
    names: Vec<Vec<BoundName>>,
    loaders: Vec<ModuleLoader>,
}

impl SourcesSurvey {
    pub fn new(
        program: Result<Program, Diagnostics>,
        names: Vec<Vec<BoundName>>,
        loaders: Vec<ModuleLoader>,
    ) -> Self {
        Self {
            diagnostics: program
                .map_or_else(|errors| errors, |program| Self::check_quietly(&program)),
            names,
            loaders,
        }
    }

    pub fn diagnostics(&self) -> &Diagnostics {
        &self.diagnostics
    }

    pub fn loaders(&self) -> &[ModuleLoader] {
        &self.loaders
    }

    pub fn into_names_and_loaders(self) -> (Vec<Vec<BoundName>>, Vec<ModuleLoader>) {
        (self.names, self.loaders)
    }

    fn check_quietly(program: &Program) -> Diagnostics {
        match ProgramChecker::check(program) {
            Ok(typed) => typed.warnings,
            Err(diagnostics) => diagnostics,
        }
    }
}