---

yaml
---
r: 2317
b: refs/heads/master
c: 3014a58
h: refs/heads/master
i:
  2315: db9f77c
v: v3

Author: brson

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: cb53065a2116067a036993a6762259a66c4abfac
+refs/heads/master: 3014a5887d4785285a3f42e19f2de24e141e3eb8

trunk/src/test/compile-fail/export-no-tag-variants.rs

@@ -0,0 +1,17 @@
+// xfail-boot
+// error-pattern: unresolved name
+
+// Tag variants are not exported with their tags. This allows for a
+// simple sort of ADT.
+
+mod foo {
+  export t;
+
+  tag t {
+    t1;
+  }
+}
+
+fn main() {
+  auto x = foo.t1;
+}

trunk/src/test/run-pass/export-abstract-tag.rs

@@ -0,0 +1,19 @@
+// We can export tags without exporting the variants to create a simple
+// sort of ADT.
+
+mod foo {
+  export t;
+  export f;
+
+  tag t {
+    t1;
+  }
+
+  fn f() -> t {
+    ret t1;
+  }
+}
+
+fn main() {
+  let foo.t v = foo.f();
+}

trunk/src/test/run-pass/export-tag-variant.rs

@@ -0,0 +1,12 @@
+// Export the tag variants, without the tag
+
+mod foo {
+  export t1;
+  tag t {
+    t1;
+  }
+}
+
+fn main() {
+  auto v = foo.t1;
+}