crisp-typeck 1.8.1

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
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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65

//! Inherent `impl Type` methods (§5.4 / #20).

use crisp_typeck::{TypeChecker, format_sig};
use std::path::PathBuf;

fn example(name: &str) -> PathBuf {
    PathBuf::from(env!("CARGO_MANIFEST_DIR")).join(format!("../../examples/{name}"))
}

#[test]
fn point_impl_typechecks_and_registers_methods() {
    let typed = TypeChecker::check_crate(&example("point_impl")).expect("point_impl");
    assert!(
        typed.inherent_methods.get("Point").is_some_and(|m| {
            m.contains_key("new") && m.contains_key("translate") && m.contains_key("manhattan")
        }),
        "expected Point inherent methods, got {:?}",
        typed.inherent_methods
    );
    assert!(typed.signatures.contains_key("main::Point::new"));
    assert!(typed.signatures.contains_key("main::Point::manhattan"));
}

#[test]
fn vec2_methods_nested_typechecks() {
    let typed = TypeChecker::check_crate(&example("vec2_methods")).expect("vec2_methods");
    assert!(
        typed
            .inherent_methods
            .get("Vec2")
            .is_some_and(|m| m.contains_key("magnitude")),
        "Vec2 methods: {:?}",
        typed.inherent_methods
    );
    assert!(
        typed
            .signatures
            .contains_key("math.vector::Vec2::magnitude")
    );
}

#[test]
fn feature_gallery_typechecks() {
    TypeChecker::check_crate(&example("feature_gallery")).expect("feature_gallery");
}

#[test]
fn show_trait_typechecks_and_registers_methods() {
    let typed = TypeChecker::check_crate(&example("show_trait")).expect("show_trait");
    assert!(
        typed
            .inherent_methods
            .get("Point")
            .is_some_and(|m| m.contains_key("show")),
        "expected Point.show from trait impl, got {:?}",
        typed.inherent_methods
    );
    assert!(typed.signatures.contains_key("main::Point::show"));
    let label = typed
        .signatures
        .values()
        .find(|s| s.name == "label")
        .expect("label");
    assert_eq!(format_sig(label), "label<T: Clone + Show>(x: T) -> str");
}