Skip to content

Commit 085c9d0

Browse files
killerswanbrson
authored andcommitted
---
yaml --- r: 7990 b: refs/heads/snap-stage3 c: c71667d h: refs/heads/master v: v3
1 parent 7e3f895 commit 085c9d0

File tree

9 files changed

+17
-17
lines changed

9 files changed

+17
-17
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
---
22
refs/heads/master: 2898dcc5d97da9427ac367542382b6239d9c0bbf
33
refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
4-
refs/heads/snap-stage3: fceec03da005edc82c90f1cbe1d102e8f365bad0
4+
refs/heads/snap-stage3: c71667d9d2e071fe3dba13179675739933116c2e
55
refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf
66
refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/snap-stage3/src/test/compile-fail/fn-constraint.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@
22
use std;
33
import str::*;
44

5-
fn main() {
5+
fn main() unsafe {
66
let a: uint = 4u;
77
let b: uint = 1u;
8-
log(error, safe_slice("kitties", a, b));
8+
log(error, str::unsafe::safe_slice("kitties", a, b));
99
}

branches/snap-stage3/src/test/compile-fail/no-constraint-prop.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ use std;
33
import str::*;
44
import uint::*;
55

6-
fn main() {
6+
fn main() unsafe {
77
let a: uint = 1u;
88
let b: uint = 4u;
99
let c: uint = 5u;
@@ -16,5 +16,5 @@ fn main() {
1616
// the next statement, since it's not true in the
1717
// prestate.
1818
let d <- a;
19-
log(debug, safe_slice("kitties", b, d));
19+
log(debug, str::unsafe::safe_slice("kitties", b, d));
2020
}

branches/snap-stage3/src/test/run-fail/fn-constraint.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,9 +3,9 @@ use std;
33
import str::*;
44
import uint::le;
55

6-
fn main() {
6+
fn main() unsafe {
77
let a: uint = 4u;
88
let b: uint = 1u;
99
check (le(a, b));
10-
log(error, safe_slice("kitties", a, b));
10+
log(error, str::unsafe::safe_slice("kitties", a, b));
1111
}

branches/snap-stage3/src/test/run-pass/constraint-prop-expr-move.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,11 @@ use std;
22
import str::*;
33
import uint::*;
44

5-
fn main() {
5+
fn main() unsafe {
66
let a: uint = 1u;
77
let b: uint = 4u;
88
let c: uint = 17u;
99
check (le(a, b));
1010
c <- a;
11-
log(debug, safe_slice("kitties", c, b));
11+
log(debug, str::unsafe::safe_slice("kitties", c, b));
1212
}

branches/snap-stage3/src/test/run-pass/constraint-prop-move.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,10 @@ use std;
22
import str::*;
33
import uint::*;
44

5-
fn main() {
5+
fn main() unsafe {
66
let a: uint = 1u;
77
let b: uint = 4u;
88
check (le(a, b));
99
let c <- a;
10-
log(debug, safe_slice("kitties", c, b));
10+
log(debug, str::unsafe::safe_slice("kitties", c, b));
1111
}

branches/snap-stage3/src/test/run-pass/constraint-prop-swap.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,10 @@ use std;
22
import str::*;
33
import uint::*;
44

5-
fn main() {
5+
fn main() unsafe {
66
let a: uint = 4u;
77
let b: uint = 1u;
88
check (le(b, a));
99
b <-> a;
10-
log(debug, safe_slice("kitties", a, b));
10+
log(debug, str::unsafe::safe_slice("kitties", a, b));
1111
}

branches/snap-stage3/src/test/run-pass/constraint-prop.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,10 @@ use std;
22
import str::*;
33
import uint::*;
44

5-
fn main() {
5+
fn main() unsafe {
66
let a: uint = 1u;
77
let b: uint = 4u;
88
check (le(a, b));
99
let c = b;
10-
log(debug, safe_slice("kitties", a, c));
10+
log(debug, str::unsafe::safe_slice("kitties", a, c));
1111
}

branches/snap-stage3/src/test/run-pass/fn-constraint.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@ use std;
22
import str::*;
33
import uint::*;
44

5-
fn main() {
5+
fn main() unsafe {
66
let a: uint = 1u;
77
let b: uint = 4u;
88
check (le(a, b));
9-
log(debug, safe_slice("kitties", a, b));
9+
log(debug, str::unsafe::safe_slice("kitties", a, b));
1010
}

0 commit comments

Comments
 (0)