erg_compiler 0.2.8

Centimetre: the Erg compiler
Documentation 
1
2
3
4
5
6
7
8

use erg_compiler::context::Context;

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