---

yaml
---
r: 7901
b: refs/heads/snap-stage3
c: f8c93bd
h: refs/heads/master
i:
  7899: 2a9687e
v: v3

Author: brson

[refs]

@@ -1,6 +1,6 @@
 ---
 refs/heads/master: 2898dcc5d97da9427ac367542382b6239d9c0bbf
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: 9732e0d554770291d69b4328f566b3067509a81e
+refs/heads/snap-stage3: f8c93bdbe1fa9e6131a8a552753c0c476c5f922b
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/snap-stage3/src/rustdoc/attr_pass.rs

@@ -105,7 +105,7 @@ fn fold_mod_should_extract_mod_attributes() {
     let srv = astsrv::mk_srv_from_str(source);
     let doc = extract::from_srv(srv, "");
     let fold = fold::default_seq_fold(srv);
-    let doc = fold_mod(fold, doc.topmod.mods[0]);
+    let doc = fold_mod(fold, doc.topmod.mods()[0]);
     assert doc.desc == some("test");
 }
 

branches/snap-stage3/src/rustdoc/desc_to_brief_pass.rs

@@ -90,8 +90,8 @@ fn should_promote_mod_desc() {
     let doc = extract::from_srv(srv, "");
     let doc = attr_pass::mk_pass()(srv, doc);
     let doc = run(srv, doc);
-    assert doc.topmod.mods[0].brief == some("desc");
-    assert doc.topmod.mods[0].desc == none;
+    assert doc.topmod.mods()[0].brief == some("desc");
+    assert doc.topmod.mods()[0].desc == none;
 }
 
 #[test]

branches/snap-stage3/src/rustdoc/doc.rs

@@ -20,8 +20,7 @@ type moddoc = ~{
     path: [str],
     brief: option<str>,
     desc: option<str>,
-    items: [itemtag],
-    mods: modlist
+    items: [itemtag]
 };
 
 type constdoc = ~{
@@ -77,11 +76,17 @@ type resdoc = ~{
     sig: option<str>
 };
 
-// Just to break the structural recursive types
-enum modlist = [moddoc];
-
 impl util for moddoc {
 
+    fn mods() -> [moddoc] {
+        vec::filter_map(self.items) {|itemtag|
+            alt itemtag {
+              modtag(moddoc) { some(moddoc) }
+              _ { none }
+            }
+        }
+    }
+
     fn fns() -> [fndoc] {
         vec::filter_map(self.items) {|itemtag|
             alt itemtag {

branches/snap-stage3/src/rustdoc/extract.rs

@@ -45,6 +45,11 @@ fn moddoc_from_mod(
         desc: none,
         items: vec::filter_map(module.items) {|item|
             alt item.node {
+              ast::item_mod(m) {
+                some(doc::modtag(
+                    moddoc_from_mod(m, item.ident, item.id)
+                ))
+              }
               ast::item_fn(decl, _, _) {
                 some(doc::fntag(
                     fndoc_from_fn(decl, item.ident, item.id)
@@ -69,18 +74,7 @@ fn moddoc_from_mod(
                 none
               }
             }
-        },
-        mods: doc::modlist(
-            vec::filter_map(module.items) {|item|
-                alt item.node {
-                  ast::item_mod(m) {
-                    some(moddoc_from_mod(m, item.ident, item.id))
-                  }
-                  _ {
-                    none
-                  }
-                }
-            })
+        }
     }
 }
 
@@ -233,8 +227,7 @@ mod tests {
         let source = ""; // empty crate
         let ast = parse::from_str(source);
         let doc = extract(ast, "");
-        // FIXME #1535: These are boxed to prevent a crash
-        assert ~doc.topmod.mods == ~doc::modlist([]);
+        assert vec::is_empty(doc.topmod.mods());
         assert vec::is_empty(doc.topmod.fns());
     }
 
@@ -243,25 +236,25 @@ mod tests {
         let source = "mod a { mod b { } mod c { } }";
         let ast = parse::from_str(source);
         let doc = extract(ast, "");
-        assert doc.topmod.mods[0].name == "a";
-        assert doc.topmod.mods[0].mods[0].name == "b";
-        assert doc.topmod.mods[0].mods[1].name == "c";
+        assert doc.topmod.mods()[0].name == "a";
+        assert doc.topmod.mods()[0].mods()[0].name == "b";
+        assert doc.topmod.mods()[0].mods()[1].name == "c";
     }
 
     #[test]
     fn extract_mods_deep() {
         let source = "mod a { mod b { mod c { } } }";
         let ast = parse::from_str(source);
         let doc = extract(ast, "");
-        assert doc.topmod.mods[0].mods[0].mods[0].name == "c";
+        assert doc.topmod.mods()[0].mods()[0].mods()[0].name == "c";
     }
 
     #[test]
     fn extract_should_set_mod_ast_id() {
         let source = "mod a { }";
         let ast = parse::from_str(source);
         let doc = extract(ast, "");
-        assert doc.topmod.mods[0].id != 0;
+        assert doc.topmod.mods()[0].id != 0;
     }
 
     #[test]
@@ -272,7 +265,7 @@ mod tests {
         let ast = parse::from_str(source);
         let doc = extract(ast, "");
         assert doc.topmod.fns()[0].name == "a";
-        assert doc.topmod.mods[0].fns()[0].name == "c";
+        assert doc.topmod.mods()[0].fns()[0].name == "c";
     }
 
     #[test]

branches/snap-stage3/src/rustdoc/fold.rs

@@ -2,7 +2,7 @@
 import std;
 
 export fold;
-export fold_crate, fold_mod, fold_fn, fold_modlist;
+export fold_crate, fold_mod, fold_fn;
 export default_seq_fold;
 export default_seq_fold_crate;
 export default_seq_fold_mod;
@@ -19,7 +19,6 @@ type fold_fn<T> = fn~(fold: fold<T>, doc: doc::fndoc) -> doc::fndoc;
 type fold_const<T> = fn~(fold: fold<T>, doc: doc::constdoc) -> doc::constdoc;
 type fold_enum<T> = fn~(fold: fold<T>, doc: doc::enumdoc) -> doc::enumdoc;
 type fold_res<T> = fn~(fold: fold<T>, doc: doc::resdoc) -> doc::resdoc;
-type fold_modlist<T> = fn~(fold: fold<T>, list: doc::modlist) -> doc::modlist;
 
 type t<T> = {
     ctxt: T,
@@ -28,8 +27,7 @@ type t<T> = {
     fold_fn: fold_fn<T>,
     fold_const: fold_const<T>,
     fold_enum: fold_enum<T>,
-    fold_res: fold_res<T>,
-    fold_modlist: fold_modlist<T>
+    fold_res: fold_res<T>
 };
 
 
@@ -42,8 +40,7 @@ fn mk_fold<T:copy>(
     fold_fn: fold_fn<T>,
     fold_const: fold_const<T>,
     fold_enum: fold_enum<T>,
-    fold_res: fold_res<T>,
-    fold_modlist: fold_modlist<T>
+    fold_res: fold_res<T>
 ) -> fold<T> {
     fold({
         ctxt: ctxt,
@@ -52,8 +49,7 @@ fn mk_fold<T:copy>(
         fold_fn: fold_fn,
         fold_const: fold_const,
         fold_enum: fold_enum,
-        fold_res: fold_res,
-        fold_modlist: fold_modlist
+        fold_res: fold_res
     })
 }
 
@@ -65,8 +61,7 @@ fn default_seq_fold<T:copy>(ctxt: T) -> fold<T> {
         {|f, d| default_seq_fold_fn(f, d)},
         {|f, d| default_seq_fold_const(f, d)},
         {|f, d| default_seq_fold_enum(f, d)},
-        {|f, d| default_seq_fold_res(f, d)},
-        {|f, d| default_seq_fold_modlist(f, d)}
+        {|f, d| default_seq_fold_res(f, d)}
     )
 }
 
@@ -86,6 +81,9 @@ fn default_seq_fold_mod<T>(
     ~{
         items: vec::map(doc.items) {|itemtag|
             alt itemtag {
+              doc::modtag(moddoc) {
+                doc::modtag(fold.fold_mod(fold, moddoc))
+              }
               doc::fntag(fndoc) {
                 doc::fntag(fold.fold_fn(fold, fndoc))
               }
@@ -99,8 +97,7 @@ fn default_seq_fold_mod<T>(
                 doc::restag(fold.fold_res(fold, resdoc))
               }
             }
-        },
-        mods: fold.fold_modlist(fold, doc.mods)
+        }
         with *doc
     }
 }
@@ -133,15 +130,6 @@ fn default_seq_fold_res<T>(
     doc
 }
 
-fn default_seq_fold_modlist<T>(
-    fold: fold<T>,
-    list: doc::modlist
-) -> doc::modlist {
-    doc::modlist(vec::map(*list) {|doc|
-        fold.fold_mod(fold, doc)
-    })
-}
-
 #[test]
 fn default_fold_should_produce_same_doc() {
     let source = "mod a { fn b() { } mod c { fn d() { } } }";

branches/snap-stage3/src/rustdoc/markdown_pass.rs

@@ -81,12 +81,9 @@ fn write_mod_contents(
     write_brief(ctxt, doc.brief);
     write_desc(ctxt, doc.desc);
 
-    for moddoc in *doc.mods {
-        write_mod(ctxt, moddoc);
-    }
-
     for itemtag in doc.items {
         alt itemtag {
+          doc::modtag(moddoc) { write_mod(ctxt, moddoc) }
           doc::fntag(fndoc) { write_fn(ctxt, fndoc) }
           doc::consttag(constdoc) { write_const(ctxt, constdoc) }
           doc::enumtag(enumdoc) { write_enum(ctxt, enumdoc) }

branches/snap-stage3/src/rustdoc/path_pass.rs

@@ -44,6 +44,6 @@ fn should_record_mod_paths() {
     let srv = astsrv::mk_srv_from_str(source);
     let doc = extract::from_srv(srv, "");
     let doc = run(srv, doc);
-    assert doc.topmod.mods[0].mods[0].mods[0].path == ["a", "b"];
-    assert doc.topmod.mods[0].mods[1].mods[0].path == ["a", "d"];
+    assert doc.topmod.mods()[0].mods()[0].mods()[0].path == ["a", "b"];
+    assert doc.topmod.mods()[0].mods()[1].mods()[0].path == ["a", "d"];
 }

branches/snap-stage3/src/rustdoc/prune_undoc_pass.rs

@@ -22,8 +22,7 @@ fn run(
         fold_fn: fold_fn,
         fold_const: fold_const,
         fold_enum: fold_enum,
-        fold_res: fold_res,
-        fold_modlist: fold_modlist
+        fold_res: fold_res
         with *fold::default_seq_fold(ctxt)
     });
     fold.fold_crate(fold, doc)
@@ -36,6 +35,14 @@ fn fold_mod(
     let doc = ~{
         items: vec::filter_map(doc.items) {|itemtag|
             alt itemtag {
+              doc::modtag(moddoc) {
+                let doc = fold.fold_mod(fold, moddoc);
+                if fold.ctxt.have_docs {
+                    some(doc::modtag(doc))
+                } else {
+                    none
+                }
+              }
               doc::fntag(fndoc) {
                 let doc = fold.fold_fn(fold, fndoc);
                 if fold.ctxt.have_docs {
@@ -76,7 +83,6 @@ fn fold_mod(
     fold.ctxt.have_docs =
         doc.brief != none
         || doc.desc != none
-        || vec::is_not_empty(*doc.mods)
         || vec::is_not_empty(doc.items);
     ret doc;
 }
@@ -156,27 +162,13 @@ fn should_not_elide_fns_with_documented_failure_conditions() {
     assert vec::is_not_empty(doc.topmod.fns());
 }
 
-fn fold_modlist(
-    fold: fold::fold<ctxt>,
-    list: doc::modlist
-) -> doc::modlist {
-    doc::modlist(vec::filter_map(*list) {|doc|
-        let doc = fold.fold_mod(fold, doc);
-        if fold.ctxt.have_docs {
-            some(doc)
-        } else {
-            none
-        }
-    })
-}
-
 #[test]
 fn should_elide_undocumented_mods() {
     let source = "mod a { }";
     let srv = astsrv::mk_srv_from_str(source);
     let doc = extract::from_srv(srv, "");
     let doc = run(srv, doc);
-    assert vec::is_empty(*doc.topmod.mods);
+    assert vec::is_empty(doc.topmod.mods());
 }
 
 #[test]
@@ -186,7 +178,7 @@ fn should_not_elide_undocument_mods_with_documented_mods() {
     let doc = extract::from_srv(srv, "");
     let doc = attr_pass::mk_pass()(srv, doc);
     let doc = run(srv, doc);
-    assert vec::is_not_empty(*doc.topmod.mods);
+    assert vec::is_not_empty(doc.topmod.mods());
 }
 
 #[test]
@@ -196,7 +188,7 @@ fn should_not_elide_undocument_mods_with_documented_fns() {
     let doc = extract::from_srv(srv, "");
     let doc = attr_pass::mk_pass()(srv, doc);
     let doc = run(srv, doc);
-    assert vec::is_not_empty(*doc.topmod.mods);
+    assert vec::is_not_empty(doc.topmod.mods());
 }
 
 #[test]