---

yaml
---
r: 163736
b: refs/heads/master
c: e66ba15
h: refs/heads/master
v: v3

Author: Jorge Aparicio

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 801ae1333c05ab641ff08c14fee776c08f42cff8
+refs/heads/master: e66ba157643420c6a46f07c68e9b817a66a64b4f
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 8443b09e361b96d1f9b7f45a65ed0d31c0e86e70
 refs/heads/try: 20cbbffeefc1f35e2ea63afce7b42fbd79611d42

trunk/src/libunicode/u_str.rs

@@ -29,8 +29,7 @@ use tables::grapheme::GraphemeCat;
 
 /// An iterator over the words of a string, separated by a sequence of whitespace
 /// FIXME: This should be opaque
-pub type Words<'a> =
-    Filter<'a, &'a str, CharSplits<'a, |char|:'a -> bool>>;
+pub type Words<'a> = Filter<&'a str, CharSplits<'a, |char|:'a -> bool>, fn(&&str) -> bool>;
 
 /// Methods for Unicode string slices
 pub trait UnicodeStrPrelude for Sized? {
@@ -143,8 +142,9 @@ impl UnicodeStrPrelude for str {
 
     #[inline]
     fn words(&self) -> Words {
+        fn is_not_empty(s: &&str) -> bool { !s.is_empty() }
         let f = |c: char| c.is_whitespace();
-        self.split(f).filter(|s| !s.is_empty())
+        self.split(f).filter(is_not_empty)
     }
 
     #[inline]