use erg_compiler::context::Context;
#[test]
fn test_subtyping() -> Result<(), ()> {
let context = Context::default_with_name("<module>");
context.test_refinement_subtyping()?;
Ok(())
}
#[test]
fn test_instantiation_and_generalization() -> Result<(), ()> {
let context = Context::default_with_name("<module>");
context.test_instantiation_and_generalization()?;
Ok(())
}
fn _test_dir() -> Result<(), ()> {
let context = Context::default_with_name("<module>");
let vars = context.dir();
for (name, vi) in vars.into_iter() {
println!("{name}: {vi}");
}
Ok(())
}