---

yaml
---
r: 7651
b: refs/heads/master
c: cd9b344
h: refs/heads/master
i:
  7649: f5a6558
  7647: 9a62adf
v: v3

Author: catamorphism

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 368daf8b5a0df49e75bca21d8f7a0af87b387230
+refs/heads/master: cd9b344f7b5fe93c52ea7cbce83b21d776fd0b8e

trunk/doc/rust.md

@@ -761,7 +761,9 @@ fn main() {
 ##### Export declarations
 
 ~~~~~~~~ {.ebnf .gram}
-export_decl : "export" ident [ ',' ident ] * ;
+export_decl : "export" ident [ ',' ident ] * 
+            | "export" ident "::{}"
+            | "export" ident '{' ident [ ',' ident ] * '}' ;
 ~~~~~~~~
 
 An _export declaration_ restricts the set of local names within a module that
@@ -813,6 +815,40 @@ mod foo {
 }
 ~~~~~~~~
 
+When exporting the name of an `enum` type `t`, by default, the module also
+implicitly exports all of `t`'s constructors. For example:
+
+~~~~~~~~
+mod foo {
+    export t;
+    
+    enum t {a, b, c};
+}
+~~~~~~~~
+
+Here, `foo` imports `t`, `a`, `b`, and `c`. 
+
+The second and third forms of export declaration can be used to export
+an `enum` item without exporting all of its constructors. These two
+forms can only be used to export an `enum` item. The second form
+exports the `enum` type name without exporting any of its
+constructors, achieving a simple kind of data abstraction. The third
+form exports an `enum` type name along with a subset of its
+constructors. For example:
+
+~~~~~~~~
+mod foo {
+    export abstract{};
+    export slightly_abstract{a, b};
+
+    enum abstract {x, y, z}
+    enum slightly_abstract {a, b, c, d}
+} 
+~~~~~~~~
+
+Module `foo` exports the types `abstract` and `slightly_abstract`, as well as
+constructors `a` and `b`, but doesn't export constructors `x`, `y`, `z`, `c`,
+or `d`.
 
 ### Functions