Allow extern mods to be anonymous

extern mod {
  f();
}

is now allowed, and puts f in the enclosing scope. (Requires a
link_name attribute to be really useful...)

5 files changed, 27 insertions, 9 deletions

diff --git a/src/libsyntax/ast.rs b/src/libsyntax/ast.rs
index a9df28abeba..b04a55629d2 100644
--- a/src/libsyntax/ast.rs
+++ b/src/libsyntax/ast.rs
@@ -656,9 +656,14 @@ enum foreign_abi {
     foreign_abi_stdcall,
 }
 
+// Foreign mods can be named or anonymous
+#[auto_serialize]
+enum foreign_mod_sort { named, anonymous }
+
 #[auto_serialize]
 type foreign_mod =
-    {view_items: ~[@view_item],
+    {sort: foreign_mod_sort,
+     view_items: ~[@view_item],
      items: ~[@foreign_item]};
 
 #[auto_serialize]
@@ -775,6 +780,10 @@ type struct_def = {
     dtor: Option<class_dtor>
 };
 
+/*
+  FIXME (#3300): Should allow items to be anonymous. Right now
+  we just use dummy names for anon items.
+ */
 #[auto_serialize]
 type item = {ident: ident, attrs: ~[attribute],
              id: node_id, node: item_,
diff --git a/src/libsyntax/fold.rs b/src/libsyntax/fold.rs
index 2006ccf639c..7375eb49aed 100644
--- a/src/libsyntax/fold.rs
+++ b/src/libsyntax/fold.rs
@@ -554,7 +554,8 @@ fn noop_fold_mod(m: _mod, fld: ast_fold) -> _mod {
 }
 
 fn noop_fold_foreign_mod(nm: foreign_mod, fld: ast_fold) -> foreign_mod {
-    return {view_items: vec::map(nm.view_items, |x| fld.fold_view_item(x)),
+    return {sort: nm.sort,
+         view_items: vec::map(nm.view_items, |x| fld.fold_view_item(x)),
          items: vec::map(nm.items, |x| fld.fold_foreign_item(x))}
 }
 
diff --git a/src/libsyntax/parse/parser.rs b/src/libsyntax/parse/parser.rs
index 8bc78a53548..f9a9a8261e9 100644
--- a/src/libsyntax/parse/parser.rs
+++ b/src/libsyntax/parse/parser.rs
@@ -2890,7 +2890,8 @@ struct parser {
         }
     }
 
-    fn parse_foreign_mod_items(+first_item_attrs: ~[attribute]) ->
+    fn parse_foreign_mod_items(sort: ast::foreign_mod_sort,
+                               +first_item_attrs: ~[attribute]) ->
         foreign_mod {
         // Shouldn't be any view items since we've already parsed an item attr
         let {attrs_remaining, view_items, items: _} =
@@ -2905,7 +2906,7 @@ struct parser {
             initial_attrs = ~[];
             vec::push(items, self.parse_foreign_item(attrs));
         }
-        return {view_items: view_items,
+        return {sort: sort, view_items: view_items,
              items: items};
     }
 
@@ -2919,12 +2920,16 @@ struct parser {
         } else {
             self.expect_keyword(~"module");
         }
-        let ident = self.parse_ident();
+        let (sort, ident) = match self.token {
+                token::IDENT(*) => (ast::named, self.parse_ident()),
+                _ => (ast::anonymous,
+                      token::special_idents::clownshoes_foreign_mod)
+        };
 
         // extern mod { ... }
         if items_allowed && self.eat(token::LBRACE) {
             let extra_attrs = self.parse_inner_attrs_and_next();
-            let m = self.parse_foreign_mod_items(extra_attrs.next);
+            let m = self.parse_foreign_mod_items(sort, extra_attrs.next);
             self.expect(token::RBRACE);
             return iovi_item(self.mk_item(lo, self.last_span.hi, ident,
                                           item_foreign_mod(m), visibility,
diff --git a/src/libsyntax/parse/token.rs b/src/libsyntax/parse/token.rs
index 846a7e7c88e..ae1c829b3fb 100644
--- a/src/libsyntax/parse/token.rs
+++ b/src/libsyntax/parse/token.rs
@@ -319,7 +319,7 @@ mod special_idents {
     const blk : ident = 30u;
     const static : ident = 31u;
     const intrinsic : ident = 32u;
-
+    const clownshoes_foreign_mod: ident = 33;
 }
 
 type ident_interner = util::interner::interner<@~str>;
@@ -343,7 +343,7 @@ fn mk_ident_interner() -> ident_interner {
                      @~"str", @~"ty_visitor", @~"arg", @~"descrim",
                      @~"__rust_abi", @~"__rust_stack_shim", @~"tydesc",
                      @~"dtor", @~"main", @~"<opaque>", @~"blk", @~"static",
-                     @~"intrinsic"];
+                     @~"intrinsic", @~"__foreign_mod__"];
 
     let rv = interner::mk_prefill::<@~str>(|x| str::hash(*x),
                                            |x,y| str::eq(*x, *y), init_vec);
diff --git a/src/libsyntax/print/pprust.rs b/src/libsyntax/print/pprust.rs
index 3465ca20565..f24226d9edc 100644
--- a/src/libsyntax/print/pprust.rs
+++ b/src/libsyntax/print/pprust.rs
@@ -469,7 +469,10 @@ fn print_item(s: ps, &&item: @ast::item) {
       ast::item_foreign_mod(nmod) => {
         head(s, ~"extern");
         word_nbsp(s, ~"mod");
-        print_ident(s, item.ident);
+        match nmod.sort {
+            ast::named => print_ident(s, item.ident),
+            ast::anonymous => {}
+        }
         nbsp(s);
         bopen(s);
         print_foreign_mod(s, nmod, item.attrs);