ruchy 4.2.1

A systems scripting language that transpiles to idiomatic Rust with extreme quality engineering
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

//! EXTREME TDD tests for infer.rs
//!
//! Coverage target: 95% for type inference module
//! Tests cover InferenceContext, TypeConstraint, all infer methods

#[cfg(test)]
mod tests {
    use crate::frontend::ast::Expr;
    use crate::frontend::parser::Parser;
    use crate::middleend::environment::TypeEnv;
    use crate::middleend::infer::{InferenceContext, TypeConstraint};
    use crate::middleend::types::{MonoType, TyVar, TypeScheme};

    // Helper to create expression from code
    fn parse_code(code: &str) -> Expr {
        let mut parser = Parser::new(code);
        parser.parse().expect("should parse")
    }

    #[path = "infer_tests_part1.rs"]
    mod part1;
    #[path = "infer_tests_part2.rs"]
    mod part2;
}