Function main

examples/parametrized_function.rs:180–197

()

}

fn main() {
    // Build an expression to type-check.
    let expr = build_complex_expression_type_checks();
    // Create an empty type checker.
    let mut tc: VarlessTypeChecker<Variant> = TypeChecker::without_vars();
    // Type check the expression.
    let res = tc_expr(&mut tc, &expr).and_then(|key| tc.type_check().map(|tt| (key, tt)));
    match res {
        Ok((key, tt)) => {
            let res_type = tt[&key];
            // Expression `if true then 2.7^3 + 4.3 else 3` should yield type Fixed(3, 3) because the addition requires a
            // Fixed(2,3) and a Fixed(3,3), which results in a Fixed(3, 3).
            // Constructing an actual type yields Type::FixedPointI64F64.
            assert_eq!(res_type, Type::FixedPointI64F64);
        }
        Err(_) => panic!("Unexpected type error!"),
    }
}

fn build_complex_expression_type_checks() -> Expression {
    use Expression::*;