---

yaml
---
r: 15855
b: refs/heads/try
c: aec0b51
h: refs/heads/master
i:
  15853: 83a2b42
  15851: 54de7f9
  15847: 978bd64
  15839: df81110
v: v3

Author: eholk

[refs]

@@ -2,5 +2,5 @@
 refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
-refs/heads/try: 9fa4763604b8d9bd342d5ead58442ef1b3643b5a
+refs/heads/try: aec0b51d9cca576b38023c4f8a11f28452ea8d55
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/try/src/libcore/vec.rs

@@ -580,6 +580,16 @@ fn all<T>(v: [T], f: fn(T) -> bool) -> bool {
     ret true;
 }
 
+#[doc = "
+Return true if a predicate matches all elements
+
+If the vector contains no elements then true is returned.
+"]
+fn alli<T>(v: [T], f: fn(uint, T) -> bool) -> bool {
+    for eachi(v) {|i, elem| if !f(i, elem) { ret false; } }
+    ret true;
+}
+
 #[doc = "
 Return true if a predicate matches all elements in both vectors.
 
@@ -1107,6 +1117,12 @@ impl extensions<T> for [T] {
         let mut i = 0u;
         self.map { |e| i += 1u; f(i - 1u, e) }
     }
+    #[doc = "Returns true if the function returns true for all elements.
+
+    If the vector is empty, true is returned."]
+    fn alli(f: fn(uint, T) -> bool) -> bool {
+        alli(self, f)
+    }
     #[doc = "
     Apply a function to each element of a vector and return a concatenation
     of each result vector

branches/try/src/librustsyntax/print/pprust.rs

@@ -337,6 +337,10 @@ fn print_region(s: ps, region: @ast::region) {
 }
 
 fn print_type(s: ps, &&ty: @ast::ty) {
+    print_type_ex(s, ty, false);
+}
+
+fn print_type_ex(s: ps, &&ty: @ast::ty, print_colons: bool) {
     maybe_print_comment(s, ty.span.lo);
     ibox(s, 0u);
     alt ty.node {
@@ -384,7 +388,7 @@ fn print_type(s: ps, &&ty: @ast::ty) {
       ast::ty_fn(proto, d) {
         print_ty_fn(s, some(proto), d, none, none);
       }
-      ast::ty_path(path, _) { print_path(s, path, false); }
+      ast::ty_path(path, _) { print_path(s, path, print_colons); }
       ast::ty_constr(t, cs) {
         print_type(s, t);
         space(s.s);
@@ -961,7 +965,7 @@ fn print_expr(s: ps, &&expr: @ast::expr) {
         print_op_maybe_parens(s, expr, parse::prec::as_prec);
         space(s.s);
         word_space(s, "as");
-        print_type(s, ty);
+        print_type_ex(s, ty, true);
       }
       ast::expr_if(test, blk, elseopt) {
         print_if(s, test, blk, elseopt, false);