rust/src/test/run-pass/claim-nonterm.rs

// tests that the pred in a claim isn't actually eval'd
use std;
import uint::*;

pure fn fails(a: uint) -> bool { fail; }

fn main() { let b: uint = 4u; claim (fails(b)); }
Implement "claim" Implement "claim" (issue #14), which is a version of "check" that doesn't really do the check at runtime. It's an unsafe feature. The new flag --check-claims turns claims into checks automatically -- but it's off by default, so by default, the assertion in a claim doesn't execute at runtime. 2011-06-28 18:29:37 -05:00			`// tests that the pred in a claim isn't actually eval'd`
			`use std;`
Copy first batch of material from libstd to libcore. 2011-12-13 18:25:51 -06:00			`import uint::*;`
Implement "claim" Implement "claim" (issue #14), which is a version of "check" that doesn't really do the check at runtime. It's an unsafe feature. The new flag --check-claims turns claims into checks automatically -- but it's off by default, so by default, the assertion in a claim doesn't execute at runtime. 2011-06-28 18:29:37 -05:00
Change "pred" to "pure fn" in all libraries and test cases 2011-08-23 20:25:50 -05:00			`pure fn fails(a: uint) -> bool { fail; }`
Implement "claim" Implement "claim" (issue #14), which is a version of "check" that doesn't really do the check at runtime. It's an unsafe feature. The new flag --check-claims turns claims into checks automatically -- but it's off by default, so by default, the assertion in a claim doesn't execute at runtime. 2011-06-28 18:29:37 -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() { let b: uint = 4u; claim (fails(b)); }`