Hide unexported tag variants

2 files changed, 22 insertions, 3 deletions

diff --git a/src/comp/middle/resolve.rs b/src/comp/middle/resolve.rs
index 82975112..39b8e901 100644
--- a/src/comp/middle/resolve.rs
+++ b/src/comp/middle/resolve.rs
@@ -407,9 +407,11 @@ fn lookup_name_wrapped(&env e, ast.ident i, namespace ns)
                     case (ast.mie_tag_variant(?item, ?variant_idx)) {
                         alt (item.node) {
                             case (ast.item_tag(_, ?variants, _, ?tid, _)) {
-                                auto vid = variants.(variant_idx).node.id;
-                                auto t = ast.def_variant(tid, vid);
-                                ret some[def_wrap](def_wrap_other(t));
+                                if (visible(e, i, m)) {
+                                    auto vid = variants.(variant_idx).node.id;
+                                    auto t = ast.def_variant(tid, vid);
+                                    ret some[def_wrap](def_wrap_other(t));
+                                }
                             }
                             case (_) {
                                 log_err "tag item not actually a tag";
diff --git a/src/test/compile-fail/export-tag-variant.rs b/src/test/compile-fail/export-tag-variant.rs
new file mode 100644
index 00000000..c37dac2e
--- /dev/null
+++ b/src/test/compile-fail/export-tag-variant.rs
@@ -0,0 +1,17 @@
+// xfail-boot
+// error-pattern: unresolved name
+
+mod foo {
+  export x;
+
+  fn x() {
+  }
+
+  tag y {
+    y1;
+  }
+}
+
+fn main() {
+  auto z = foo.y1;
+}