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

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

pred 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;`
			`import std::str::*;`
			`import std::uint::*;`

Reformat for new syntax 2011-07-27 07:19:39 -05:00			`pred 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 for new syntax 2011-07-27 07:19:39 -05:00			`fn main() { let b: uint = 4u; claim (fails(b)); }`