---

yaml
---
r: 14010
b: refs/heads/try
c: c976b7c
h: refs/heads/master
v: v3

Author: marijnh

[refs]

@@ -2,5 +2,5 @@
 refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
-refs/heads/try: 31b0d1b4bdf47554604bd4962d8d940c5e29cc7a
+refs/heads/try: c976b7c623e242ab2400d3c641cb082c814690fe
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

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

@@ -1,17 +1,14 @@
-// error-pattern:Unsatisfied precondition constraint (for example, le(b, d
-use std;
-import str::*;
-import uint::*;
+// error-pattern:Unsatisfied precondition constraint (for example, uint::le
 
 fn main() unsafe {
     let a: uint = 1u;
     let b: uint = 4u;
     let c: uint = 5u;
     // make sure that the constraint le(b, a) exists...
-    check (le(b, a));
+    check (uint::le(b, a));
     // ...invalidate it...
     b += 1u;
-    check (le(c, a));
+    check (uint::le(c, a));
     // ...and check that it doesn't get set in the poststate of
     // the next statement, since it's not true in the
     // prestate.

branches/try/src/test/run-fail/fn-constraint.rs

@@ -1,11 +1,8 @@
-// error-pattern:Predicate le(a, b) failed
-use std;
-import str::*;
-import uint::le;
+// error-pattern:Predicate uint::le(a, b) failed
 
 fn main() unsafe {
     let a: uint = 4u;
     let b: uint = 1u;
-    check (le(a, b));
+    check (uint::le(a, b));
     log(error, str::unsafe::slice_bytes_safe_range("kitties", a, b));
 }

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

@@ -1,12 +1,9 @@
-use std;
-import str::*;
-import uint::*;
 
 fn main() unsafe {
     let a: uint = 1u;
     let b: uint = 4u;
     let c: uint = 17u;
-    check (le(a, b));
+    check (uint::le(a, b));
     c <- a;
     log(debug, str::unsafe::slice_bytes_safe_range("kitties", c, b));
 }

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

@@ -1,11 +1,7 @@
-use std;
-import str::*;
-import uint::*;
-
 fn main() unsafe {
     let a: uint = 1u;
     let b: uint = 4u;
-    check (le(a, b));
+    check (uint::le(a, b));
     let c <- a;
     log(debug, str::unsafe::slice_bytes_safe_range("kitties", c, b));
 }

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

@@ -1,11 +1,7 @@
-use std;
-import str::*;
-import uint::*;
-
 fn main() unsafe {
     let a: uint = 4u;
     let b: uint = 1u;
-    check (le(b, a));
+    check (uint::le(b, a));
     b <-> a;
     log(debug, str::unsafe::slice_bytes_safe_range("kitties", a, b));
 }

branches/try/src/test/run-pass/constraint-prop.rs

@@ -1,11 +1,7 @@
-use std;
-import str::*;
-import uint::*;
-
 fn main() unsafe {
     let a: uint = 1u;
     let b: uint = 4u;
-    check (le(a, b));
+    check (uint::le(a, b));
     let c = b;
     log(debug, str::unsafe::slice_bytes_safe_range("kitties", a, c));
 }

branches/try/src/test/run-pass/fn-constraint.rs

@@ -1,10 +1,6 @@
-use std;
-import str::*;
-import uint::*;
-
 fn main() unsafe {
     let a: uint = 1u;
     let b: uint = 4u;
-    check (le(a, b));
+    check (uint::le(a, b));
     log(debug, str::unsafe::slice_bytes_safe_range("kitties", a, b));
 }