---

jruderman · jruderman · commit e775a93229c0 · 2011-09-24T16:11:50.000-07:00
yaml --- r: 5519 b: refs/heads/master c: c29f1af h: refs/heads/master i: 5517: 5ffec3a 5515: 58c6e07 5511: 4fbc450 5503: 530c233 v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 064f52fa96a51e3871eeaa453fa87221245e6421
+refs/heads/master: c29f1af17e49ae01d865f443ea0ff2f92bf3a888
diff --git a/trunk/src/test/compile-fail/constrained-type-missing-check.rs b/trunk/src/test/compile-fail/constrained-type-missing-check.rs
@@ -2,10 +2,6 @@
 // xfail-test
 // error-pattern:Unsatisfied precondition
 
-tag list { cons(int, @list); nil; }
-
-type bubu = {x: int, y: int};
-
 pure fn less_than(x: int, y: int) -> bool { ret x < y; }
 
 type ordered_range = {low: int, high: int} : less_than(low, high);

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: 064f52fa96a51e3871eeaa453fa87221245e6421`
	`2`	`+refs/heads/master: c29f1af17e49ae01d865f443ea0ff2f92bf3a888`