rust/src/test/run-pass/constraint-prop.rs

use std;
import str::*;
import uint::*;

fn main() unsafe {
    let a: uint = 1u;
    let b: uint = 4u;
    check (le(a, b));
    let c = b;
    log(debug, str::unsafe::safe_slice("kitties", a, c));
}
Tests for constraint propagation 2011-07-08 22:18:23 -07:00			`use std;`
Copy first batch of material from libstd to libcore. 2011-12-13 16:25:51 -08:00			`import str::*;`
			`import uint::*;`
Tests for constraint propagation 2011-07-08 22:18:23 -07:00
Propagating unsafe::slice 4 2012-02-01 03:53:09 -08:00			`fn main() unsafe {`
Reformat for new syntax 2011-07-27 14:19:39 +02:00			`let a: uint = 1u;`
			`let b: uint = 4u;`
			`check (le(a, b));`
			`let c = b;`
Propagating unsafe::slice 4 2012-02-01 03:53:09 -08:00			`log(debug, str::unsafe::safe_slice("kitties", a, c));`
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			`}`