---

brson · brson · commit 7e380f099af4 · 2011-05-22T12:28:14.000-04:00
yaml --- r: 2731 b: refs/heads/master c: f1c1887 h: refs/heads/master i: 2729: b5b4304 2727: bc360dd v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: f6beec6c43a720cded80cb2769b295882b94fdc2
+refs/heads/master: f1c1887cabcb98ea1873427024e495ad64ae35f8
diff --git a/trunk/src/lib/list.rs b/trunk/src/lib/list.rs
@@ -31,7 +31,6 @@ fn foldl[T,U](&list[T] ls, &U u, fn(&T t, &U u) -> U f) -> U {
             ret u;
         }
     }
-    fail; // TODO: remove me when exhaustiveness checking works
 }
 
 fn find[T,U](&list[T] ls,
@@ -51,8 +50,6 @@ fn find[T,U](&list[T] ls,
             ret none[U];
         }
     }
-
-    fail; // TODO: remove me when exhaustiveness checking works
 }
 
 fn length[T](&list[T] ls) -> uint {

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: f6beec6c43a720cded80cb2769b295882b94fdc2`
	`2`	`+refs/heads/master: f1c1887cabcb98ea1873427024e495ad64ae35f8`
Original file line number	Diff line number	Diff line change
`@@ -31,7 +31,6 @@ fn foldl[T,U](&list[T] ls, &U u, fn(&T t, &U u) -> U f) -> U {`
`31`	`31`	`ret u;`
`32`	`32`	`}`
`33`	`33`	`}`
`34`		`- fail; // TODO: remove me when exhaustiveness checking works`
`35`	`34`	`}`
`36`	`35`
`37`	`36`	`fn find[T,U](&list[T] ls,`
`@@ -51,8 +50,6 @@ fn find[T,U](&list[T] ls,`
`51`	`50`	`ret none[U];`
`52`	`51`	`}`
`53`	`52`	`}`
`54`		`-`
`55`		`- fail; // TODO: remove me when exhaustiveness checking works`
`56`	`53`	`}`
`57`	`54`
`58`	`55`	`fn length[T](&list[T] ls) -> uint {`