crisp-typeck 1.7.0

HM-style type inference and constraint solving (spec §3.4)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

use crisp_typeck::TypeChecker;
use std::path::PathBuf;

fn fixture(name: &str) -> PathBuf {
    PathBuf::from(env!("CARGO_MANIFEST_DIR"))
        .join("tests/fixtures")
        .join(name)
}

#[test]
fn import_from_module_sorting_after_main() {
    TypeChecker::check_crate(&fixture("module_order_after_main"))
        .expect("zutil sorts after main but must still typecheck (#13)");
}