erg_compiler 0.5.3

Centimetre: the Erg compiler
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

use erg_compiler::context::Context;
use erg_compiler::mod_cache::SharedModuleCache;

#[test]
fn test_subtyping() -> Result<(), ()> {
    let context = Context::new_module("<module>", SharedModuleCache::new());
    context.test_refinement_subtyping()?;
    Ok(())
}

#[test]
fn test_instantiation_and_generalization() -> Result<(), ()> {
    let context = Context::new_module("<module>", SharedModuleCache::new());
    context.test_instantiation_and_generalization()?;
    Ok(())
}

/*
#[test]
fn test_resolve_trait() -> Result<(), ()> {
    let context = Context::new_main_module();
    context.test_resolve_trait()?;
    Ok(())
}

#[test]
fn test_resolve_trait_inner1() -> Result<(), ()> {
    let context = Context::new_main_module();
    context.test_resolve_trait_inner1()?;
    Ok(())
}
*/

#[test]
fn test_dir() -> Result<(), ()> {
    let context = Context::new_module("<module>", SharedModuleCache::new());
    let vars = context.dir();
    for (name, vi) in vars.into_iter() {
        println!("{name}: {vi}");
    }
    Ok(())
}