rust/src/test/run-pass/if-check-precond.rs

pure fn even(x: uint) -> bool {
    if x < 2u {
        ret false;
    } else if x == 2u { ret true; } else { ret even(x - 2u); }
}

fn print_even(x: uint) : even(x) { log(debug, x); }

fn foo(x: uint) { if check even(x) { print_even(x); } else { fail; } }

fn main() { foo(2u); }
Change "pred" to "pure fn" in all libraries and test cases 2011-08-23 20:25:50 -05:00			`pure fn even(x: uint) -> bool {`
Reformat for new syntax 2011-07-27 07:19:39 -05:00			`if x < 2u {`
			`ret false;`
Reformat This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[] 2011-08-19 17:16:48 -05:00			`} else if x == 2u { ret true; } else { ret even(x - 2u); }`
Restructure the "checking" pass in typestate I noticed that typestate was being lazier than it should be, because it was only checking typestate for statements and top-level expression (that is, the expression in a stmt_expr, but not any subexpressions). So I rewrote the checks in tstate/ck.rs to use walk, which exposed a few bugs in typestate that I fixed. Also added some more test cases for if-check. 2011-06-17 21:07:23 -05:00			`}`

Register new snapshots, purge log_err and log_full in favour of log(...). 2011-12-22 19:53:53 -06:00			`fn print_even(x: uint) : even(x) { log(debug, x); }`
Restructure the "checking" pass in typestate I noticed that typestate was being lazier than it should be, because it was only checking typestate for statements and top-level expression (that is, the expression in a stmt_expr, but not any subexpressions). So I rewrote the checks in tstate/ck.rs to use walk, which exposed a few bugs in typestate that I fixed. Also added some more test cases for if-check. 2011-06-17 21:07:23 -05:00
Reformat for new syntax 2011-07-27 07:19:39 -05:00			`fn foo(x: uint) { if check even(x) { print_even(x); } else { fail; } }`
Restructure the "checking" pass in typestate I noticed that typestate was being lazier than it should be, because it was only checking typestate for statements and top-level expression (that is, the expression in a stmt_expr, but not any subexpressions). So I rewrote the checks in tstate/ck.rs to use walk, which exposed a few bugs in typestate that I fixed. Also added some more test cases for if-check. 2011-06-17 21:07:23 -05:00
Reformat This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[] 2011-08-19 17:16:48 -05:00			`fn main() { foo(2u); }`