---

yaml
---
r: 6033
b: refs/heads/master
c: 6afecc3
h: refs/heads/master
i:
  6031: d069b44
v: v3

Author: brson

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: ba1df0eda9b0b36ef2f7b2dd69535621ca35ffb2
+refs/heads/master: 6afecc37e33713de6b372e4bfa9c348f9de4aab6

trunk/doc/rust.texi

@@ -3396,12 +3396,21 @@ alt x @{
     cons(10, _) @{
         process_ten();
     @}
+    nil. @{
+        ret;
+    @}
     _ @{
         fail;
     @}
 @}
 @end example
 
+Note in the above example that @code{nil} is followed by a period. This is
+required syntax for pattern matching a nullary tag variant, to distingush the
+variant @code{nil} from a binding to variable @code{nil}. Without the period
+the value of @code{x} would be bound to variable @code{nil} and the compiler
+would issue an error about the final wildcard case being unreachable.
+
 Multiple alternative patterns may be joined with the @code{|} operator.  A
 range of values may be specified with @code{to}.  For example: