rust/src/test/compile-fail/if-check-precond-fail.rs

// error-pattern:unsatisfied precondition constraint
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) { fail; } else { print_even(x); } }

fn main() { foo(3u); }
rustc: Lower case error messages 2012-03-05 16:27:27 -08:00			`// error-pattern:unsatisfied precondition constraint`
Change "pred" to "pure fn" in all libraries and test cases 2011-08-23 18:25:50 -07:00			`pure fn even(x: uint) -> bool {`
Reformat for new syntax 2011-07-27 14:19:39 +02: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 15:16:48 -07: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 19:07:23 -07:00			`}`

Register new snapshots, purge log_err and log_full in favour of log(...). 2011-12-22 17:53:53 -08: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 19:07:23 -07:00
Reformat for new syntax 2011-07-27 14:19:39 +02:00			`fn foo(x: uint) { if check even(x) { fail; } else { print_even(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 19:07:23 -07: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 15:16:48 -07:00			`fn main() { foo(3u); }`