---

yaml
---
r: 3926
b: refs/heads/master
c: 139aaa1
h: refs/heads/master
v: v3

Author: brson

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 8afb1a7c639d2d2959cdc79c544fac7dd5730897
+refs/heads/master: 139aaa1616fd341a71f0f11adb4e8850639e228c

trunk/src/lib/ivec.rs

@@ -72,6 +72,18 @@ fn init_elt_mut[T](&T t, uint n_elts) -> T[mutable] {
     ret v;
 }
 
+// Predicates
+pred is_empty[T](&T[mutable?] v) -> bool {
+    // FIXME: This would be easier if we could just call len
+    for (T t in v) {
+        ret false;
+    }
+    ret true;
+}
+
+pred is_not_empty[T](&T[mutable?] v) -> bool {
+    ret !is_empty(v);
+}
 
 // Accessors
 
@@ -247,3 +259,11 @@ mod unsafe {
     }
 }
 
+// Local Variables:
+// mode: rust;
+// fill-column: 78;
+// indent-tabs-mode: nil
+// c-basic-offset: 4
+// buffer-file-coding-system: utf-8-unix
+// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+// End:

trunk/src/test/run-pass/lib-ivec.rs

@@ -84,6 +84,16 @@ fn test_init_elt() {
     assert (v.(5) == 20u);
 }
 
+fn test_is_empty() {
+    assert ivec::is_empty[int](~[]);
+    assert !ivec::is_empty(~[0]);
+}
+
+fn test_is_not_empty() {
+    assert ivec::is_not_empty(~[0]);
+    assert !ivec::is_not_empty[int](~[]);
+}
+
 fn test_last() {
     auto n = ivec::last(~[]);
     assert (n == none);
@@ -240,6 +250,10 @@ fn main() {
     test_reserve_and_on_heap();
     test_unsafe_ptrs();
 
+    // Predicates
+    test_is_empty();
+    test_is_not_empty();
+
     // Accessors
     test_init_fn();
     test_init_elt();
@@ -261,3 +275,12 @@ fn main() {
     test_any_and_all();
 }
 
+// Local Variables:
+// mode: rust;
+// fill-column: 78;
+// indent-tabs-mode: nil
+// c-basic-offset: 4
+// buffer-file-coding-system: utf-8-unix
+// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+// End:
+