provekit_noirc_driver 1.0.0-beta.20-alpha.1

Noir compiler driver.
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

use std::path::Path;

use noirc_driver::{ErrorsAndWarnings, file_manager_with_stdlib, prepare_crate};
use noirc_frontend::{
    error_reporting::report_all,
    hir::{Context, def_map::parse_file},
};

#[test]
fn stdlib_does_not_produce_constant_warnings() -> Result<(), ErrorsAndWarnings> {
    // We use a minimal source file so that if stdlib produces warnings then we can expect these warnings to _always_
    // be emitted.
    let source = "fn main() {}";

    let root = Path::new("");
    let file_name = Path::new("main.nr");
    let mut file_manager = file_manager_with_stdlib(root);
    file_manager.add_file_with_source(file_name, source.to_owned()).expect(
        "Adding source buffer to file manager should never fail when file manager is empty",
    );
    let parsed_files = file_manager
        .as_file_map()
        .all_file_ids()
        .map(|&file_id| (file_id, parse_file(&file_manager, file_id)))
        .collect();

    let mut context = Context::new(file_manager, parsed_files);
    let _ = prepare_crate(&mut context, file_name);
    let stdlib_crate_id = *context.stdlib_crate_id();

    let ((), warnings) =
        noirc_driver::check_crate(&mut context, stdlib_crate_id, &Default::default())?;

    if !warnings.is_empty() {
        report_all(&context.file_manager, &context.parsed_files, &warnings, false, false);
        panic!("stdlib produced the above warnings");
    }

    Ok(())
}