---

yaml
---
r: 21615
b: refs/heads/snap-stage3
c: ef880f2
h: refs/heads/master
i:
  21613: 5961ac4
  21611: 1eb960a
  21607: d68800e
  21599: c64a951
v: v3

Author: brson

[refs]

@@ -1,7 +1,7 @@
 ---
 refs/heads/master: e430a699f2c60890d9b86069fd0c68a70ece7120
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: 02b1c32e4d3c607da8b3a48640e597f089375765
+refs/heads/snap-stage3: ef880f22450c4f7e455f431ff4603f90d443b545
 refs/heads/try: ffbe0e0e00374358b789b0037bcb3a577cd218be
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b

branches/snap-stage3/doc/rust.md

@@ -1027,9 +1027,9 @@ pure fn lt_42(x: int) -> bool {
 Pure functions may call other pure functions:
 
 ~~~~{.xfail-test}
-pure fn pure_length<T>(ls: list<T>) -> uint { /* ... */ }
+pure fn pure_length<T>(ls: List<T>) -> uint { /* ... */ }
 
-pure fn nonempty_list<T>(ls: list<T>) -> bool { pure_length(ls) > 0u }
+pure fn nonempty_list<T>(ls: List<T>) -> bool { pure_length(ls) > 0u }
 ~~~~
 
 *TODO:* should actually define referential transparency.
@@ -1055,14 +1055,14 @@ An example of a pure function that uses an unchecked block:
 ~~~~
 # import std::list::*;
 
-fn pure_foldl<T, U: copy>(ls: list<T>, u: U, f: fn(&&T, &&U) -> U) -> U {
+fn pure_foldl<T, U: copy>(ls: List<T>, u: U, f: fn(&&T, &&U) -> U) -> U {
     match ls {
-      nil => u,
-      cons(hd, tl) => f(hd, pure_foldl(*tl, f(hd, u), f))
+      Nil => u,
+      Cons(hd, tl) => f(hd, pure_foldl(*tl, f(hd, u), f))
     }
 }
 
-pure fn pure_length<T>(ls: list<T>) -> uint {
+pure fn pure_length<T>(ls: List<T>) -> uint {
     fn count<T>(_t: T, &&u: uint) -> uint { u + 1u }
     unchecked {
         pure_foldl(ls, 0u, count)