---

yaml
---
r: 303
b: refs/heads/master
c: 0633c7a
h: refs/heads/master
i:
  301: 637ba81
  299: 18617e3
  295: b25fdcf
  287: a6530ed
v: v3

Author: brson

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 1c1dc651a70a1c8a1ee2ca896f4cc29ec88b363c
+refs/heads/master: 0633c7ae6e54edebde8421cef14267ad1ba1e30c

trunk/doc/rust.texi

@@ -2193,9 +2193,9 @@ a = cat;
 
 An example of a @emph{recursive} @code{tag} type and its use:
 @example
-type list[T] = tag(nil,
+type list[T] = tag(nil(),
                    cons(T, @@list[T]));
-let list[int] a = cons(7, cons(13, nil));
+let list[int] a = cons(7, cons(13, nil()));
 @end example
 
 
@@ -3315,9 +3315,9 @@ control enters the block.
 An example of a pattern @code{alt} statement:
 
 @example
-type list[X] = tag(nil, cons(X, @@list[X]));
+type list[X] = tag(nil(), cons(X, @@list[X]));
 
-let list[int] x = cons(10, cons(11, nil));
+let list[int] x = cons(10, cons(11, nil()));
 
 alt (x) @{
     case (cons(a, cons(b, _))) @{