---

yaml
---
r: 13727
b: refs/heads/master
c: 133fdc1
h: refs/heads/master
i:
  13725: bba52df
  13723: fb096d7
  13719: f1b3d4c
  13711: 5901a54
  13695: 3054090
v: v3

Author: eholk

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 404afcbb41898cf7f516f07cae3dc42e47bda46d
+refs/heads/master: 133fdc11484794274b0c9b7dca9f05196d3ed01d
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/libcore/vec.rs

@@ -451,32 +451,30 @@ fn push_slow<T>(&v: [const T]/~, +initval: T) {
     }
 }
 
+// Unchecked vector indexing
+#[inline(always)]
+unsafe fn ref<T: copy>(v: [const T]/&, i: uint) -> T {
+    unpack_slice(v) {|p, _len|
+        *ptr::offset(p, i)
+    }
+}
+
 #[inline(always)]
 fn push_all<T: copy>(&v: [const T]/~, rhs: [const T]/&) {
     reserve(v, v.len() + rhs.len());
 
     for uint::range(0u, rhs.len()) {|i|
-        push(v, rhs[i]);
+        push(v, unsafe { ref(rhs, i) })
     }
 }
 
 // Appending
 #[inline(always)]
 pure fn append<T: copy>(lhs: [T]/&, rhs: [const T]/&) -> [T]/~ {
     let mut v = []/~;
-    let mut i = 0u;
-    while i < lhs.len() {
-        unsafe { // This is impure, but it appears pure to the caller.
-            push(v, lhs[i]);
-        }
-        i += 1u;
-    }
-    i = 0u;
-    while i < rhs.len() {
-        unsafe { // This is impure, but it appears pure to the caller.
-            push(v, rhs[i]);
-        }
-        i += 1u;
+    unchecked {
+        push_all(v, lhs);
+        push_all(v, rhs);
     }
     ret v;
 }

trunk/src/rustc/middle/ty.rs

@@ -1234,6 +1234,12 @@ fn type_needs_drop(cx: ctxt, ty: t) -> bool {
         }
         accum
       }
+      ty_fn(fty) {
+        alt fty.proto {
+          proto_bare | proto_any | proto_block { false }
+          _ { true }
+        }
+      }
       _ { true }
     };
 

trunk/src/test/bench/core-std.rs

@@ -22,6 +22,8 @@ fn main(argv: [str]/~) {
     #bench[shift_push];
     #bench[read_line];
     #bench[str_set];
+    #bench[vec_append];
+    #bench[vec_push_all];
 }
 
 fn run_test(name: str, test: fn()) {
@@ -72,3 +74,34 @@ fn str_set() {
         }
     }
 }
+
+fn vec_append() {
+    let r = rand::rng();
+
+    let mut v = []/~;
+    for uint::range(0, 1500) {|i|
+        let rv = vec::from_elem(r.gen_uint_range(0, i + 1), i);
+        if r.gen_bool() {
+            v += rv;
+        }
+        else {
+            v = rv + v;
+        }
+    }
+}
+
+fn vec_push_all() {
+    let r = rand::rng();
+
+    let mut v = []/~;
+    for uint::range(0, 1500) {|i|
+        let mut rv = vec::from_elem(r.gen_uint_range(0, i + 1), i);
+        if r.gen_bool() {
+            vec::push_all(v, rv);
+        }
+        else {
+            v <-> rv;
+            vec::push_all(v, rv);
+        }
+    }
+}