rust/src/test/run-pass/pred-check.rs

// -*- rust -*-
pred f(q: int) -> bool { ret true; }

fn main() { let x = 0; check (f(x)); }
Test cases for pred / check stuff 2011-05-04 11:32:06 -07:00			`// -- rust --`
Reformat for new syntax 2011-07-27 14:19:39 +02:00			`pred f(q: int) -> bool { ret true; }`
Test cases for pred / check stuff 2011-05-04 11:32:06 -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() { let x = 0; check (f(x)); }`