---

yaml
---
r: 11944
b: refs/heads/master
c: 3445454
h: refs/heads/master
v: v3

Author: brson

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 9e9f4a6240b79ff64c5169296468950045e83515
+refs/heads/master: 3445454e792bc4b770a99e227fc18b5c90f8ed8a
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/libcore/str.rs

@@ -106,8 +106,6 @@ native mod rustrt {
     fn str_reserve_shared(&ss: str, nn: libc::size_t);
 }
 
-// FIXME: add pure to a lot of functions
-
 /*
 Section: Creating a string
 */

trunk/src/libcore/vec.rs

@@ -94,9 +94,7 @@ type init_op<T> = fn(uint) -> T;
 
 #[doc = "Returns true if a vector contains no elements"]
 pure fn is_empty<T>(v: [const T]) -> bool {
-    // FIXME: This would be easier if we could just call len
-    for t: T in v { ret false; }
-    ret true;
+    len(v) == 0u
 }
 
 #[doc = "Returns true if a vector contains some elements"]
@@ -154,8 +152,6 @@ fn from_elem<T: copy>(n_elts: uint, t: T) -> [T] {
     ret v;
 }
 
-// FIXME: Possible typestate postcondition:
-// len(result) == len(v) (needs issue #586)
 #[doc = "Produces a mutable vector from an immutable vector."]
 fn to_mut<T>(+v: [T]) -> [mutable T] unsafe {
     let r = ::unsafe::reinterpret_cast(v);
@@ -185,9 +181,6 @@ fn tailn<T: copy>(v: [const T], n: uint) -> [T] {
     slice(v, n, len(v))
 }
 
-// FIXME: This name is sort of confusing next to from_fn, etc
-// but this is the name haskell uses for this function,
-// along with head/tail/last.
 #[doc = "Returns all but the last elemnt of a vector"]
 fn init<T: copy>(v: [const T]) -> [T] {
     assert len(v) != 0u;