crisp-typeck 1.7.2

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

//! v1.7.1 typeck regressions: interpolation locals (#95) and while/if-assign (#96).

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 issue_96_float_bisection_if_assign_typecks() {
    let typed = TypeChecker::check_crate(&fixture("bisection_width"))
        .expect("while + if-then assign should typeck (#96)");
    assert!(
        typed
            .signatures
            .values()
            .any(|s| s.name == "bisection_width"),
        "missing bisection_width: {:?}",
        typed.signatures.keys().collect::<Vec<_>>()
    );
}

#[test]
fn issue_95_defined_interpolation_local_typecks() {
    TypeChecker::check_crate(&fixture("interp_ok"))
        .expect("defined local in interpolation should typeck (#95)");
}