---

yaml
---
r: 5989
b: refs/heads/master
c: 506ae93
h: refs/heads/master
i:
  5987: c0cafda
v: v3

Author: brson

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 2b85817af8bc4bdfbb155f15367c3ebee09eb743
+refs/heads/master: 506ae934f808c2cf664f289dc29f7e90d253a454

trunk/src/lib/vec.rs

@@ -19,6 +19,41 @@ native "c-stack-cdecl" mod rustrt {
                               count: uint) -> [T];
 }
 
+/*
+Type: init_op
+
+A function used to initialize the elements of a vector.
+*/
+type init_op<T> = block(uint) -> T;
+
+
+/*
+Predicate: is_empty
+
+Returns true if a vector contains no elements.
+*/
+pure fn is_empty<T>(v: [mutable? T]) -> bool {
+    // FIXME: This would be easier if we could just call len
+    for t: T in v { ret false; }
+    ret true;
+}
+
+/*
+Predicate: is_not_empty
+
+Returns true if a vector contains some elements.
+*/
+pure fn is_not_empty<T>(v: [mutable? T]) -> bool { ret !is_empty(v); }
+
+/*
+Predicate: same_length
+
+Returns true if two vectors have the same length
+*/
+pure fn same_length<T, U>(xs: [T], ys: [U]) -> bool {
+    vec::len(xs) == vec::len(ys)
+}
+
 /*
 Function: reserve
 
@@ -43,13 +78,6 @@ Returns the length of a vector
 */
 pure fn len<T>(v: [mutable? T]) -> uint { unchecked { rusti::vec_len(v) } }
 
-/*
-Type: init_op
-
-A function used to initialize the elements of a vector.
-*/
-type init_op<T> = block(uint) -> T;
-
 /*
 Function: init_fn
 
@@ -141,24 +169,6 @@ fn from_mut<T>(v: [mutable T]) -> [T] {
     ret vres;
 }
 
-/*
-Predicate: is_empty
-
-Returns true if a vector contains no elements.
-*/
-pure fn is_empty<T>(v: [mutable? T]) -> bool {
-    // FIXME: This would be easier if we could just call len
-    for t: T in v { ret false; }
-    ret true;
-}
-
-/*
-Predicate: is_not_empty
-
-Returns true if a vector contains some elements.
-*/
-pure fn is_not_empty<T>(v: [mutable? T]) -> bool { ret !is_empty(v); }
-
 // Accessors
 
 /*
@@ -519,15 +529,6 @@ fn position_pred<T>(f: block(T) -> bool, v: [T]) -> option::t<uint> {
     ret none;
 }
 
-/*
-Predicate: same_length
-
-Returns true if two vectors have the same length
-*/
-pure fn same_length<T, U>(xs: [T], ys: [U]) -> bool {
-    vec::len(xs) == vec::len(ys)
-}
-
 // FIXME: if issue #586 gets implemented, could have a postcondition
 // saying the two result lists have the same length -- or, could
 // return a nominal record with a constraint saying that, instead of