---

catamorphism · catamorphism · commit 90a8e56a3007 · 2011-06-14T14:17:28.000-07:00
yaml --- r: 3076 b: refs/heads/master c: 1cc7165 h: refs/heads/master v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 1513539b67e81bb4ad5226ba923c388c9240fd54
+refs/heads/master: 1cc7165e62f17b24c2f14eb733f07ac7469c4420
diff --git a/trunk/src/test/run-fail/pred.rs b/trunk/src/test/run-fail/pred.rs
@@ -1,14 +1,11 @@
-// xfail-stage0
-// xfail-stage1
-// xfail-stage2
 // -*- rust -*-
-
-// error-pattern:predicate check
+// xfail-stage0
+// error-pattern:Predicate lt(b, a) failed
 
 fn f(int a, int b) : lt(a,b) {
 }
 
-fn lt(int a, int b) -> bool {
+pred lt(int a, int b) -> bool {
   ret a < b;
 }
 

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: 1513539b67e81bb4ad5226ba923c388c9240fd54`
	`2`	`+refs/heads/master: 1cc7165e62f17b24c2f14eb733f07ac7469c4420`