rust/src/test/run-pass/coerce-reborrow-imm-vec-arg.rs

// xfail-test

pure fn sum(x: &[int]) -> int {
    let mut sum = 0;
    for x.each |y| { sum += *y; }
    return sum;
}

fn sum_mut(y: &mut [int]) -> int {
    sum(y)
}

fn sum_imm(y: &[int]) -> int {
    sum(y)
}

fn sum_const(y: &[const int]) -> int {
    sum(y)
}

pub fn main() {}
librustc: Make the compiler ignore purity. For bootstrapping purposes, this commit does not remove all uses of the keyword "pure" -- doing so would cause the compiler to no longer bootstrap due to some syntax extensions ("deriving" in particular). Instead, it makes the compiler ignore "pure". Post-snapshot, we can remove "pure" from the language. There are quite a few (~100) borrow check errors that were essentially all the result of mutable fields or partial borrows of `@mut`. Per discussions with Niko I think we want to allow partial borrows of `@mut` but detect obvious footguns. We should also improve the error message when `@mut` is erroneously reborrowed. 2013-03-16 13:11:31 -05:00			`// xfail-test`

Rewrite the coercion code to be more readable, more sound, and to reborrow when needed. Regarding soundness: there was a subtle bug in how it was done before; see the compile-fail test for an example. Regarding reborrowing: reborrowing allows mut and const slices/borrowed-pointers to be used with pure fns that expect immutable data. r=brson 2013-01-22 19:20:08 -06:00			`pure fn sum(x: &[int]) -> int {`
			`let mut sum = 0;`
			`for x.each \|y\| { sum += *y; }`
			`return sum;`
			`}`

RIMOV, round 5 find ./ -type f -name "*.rs" -exec sed -i "s/\&\[mut /\&mut \[/g" {} \; 2013-01-29 20:30:22 -06:00			`fn sum_mut(y: &mut [int]) -> int {`
Rewrite the coercion code to be more readable, more sound, and to reborrow when needed. Regarding soundness: there was a subtle bug in how it was done before; see the compile-fail test for an example. Regarding reborrowing: reborrowing allows mut and const slices/borrowed-pointers to be used with pure fns that expect immutable data. r=brson 2013-01-22 19:20:08 -06:00			`sum(y)`
			`}`

			`fn sum_imm(y: &[int]) -> int {`
			`sum(y)`
			`}`

			`fn sum_const(y: &[const int]) -> int {`
			`sum(y)`
			`}`

Merge remote-tracking branch 'bstrie/rimov' into incoming Conflicts: src/libsyntax/parse/parser.rs src/test/bench/graph500-bfs.rs src/test/bench/sudoku.rs src/test/run-pass/borrowck-mut-vec-as-imm-slice.rs src/test/run-pass/empty-mutable-vec.rs src/test/run-pass/foreach-nested.rs src/test/run-pass/swap-2.rs 2013-02-04 13:07:36 -06:00			`pub fn main() {}`