fix: prefix anchors in spec links (rust-lang#68)

src/extract.rs

@@ -301,7 +301,7 @@ fn write_rust<W: std::io::Write>(
     section: &Section,
     features: &[Feature],
 ) -> Result<(), std::io::Error> {
-    writeln!(w, "//! {}#{}", target, section.id)?;
+    writeln!(w, "//! {}#{}{}", target, anchor_prefix(section.id.value), section.id)?;
     writeln!(w, "//!")?;
     writeln!(w, "//! {}", section.full_title)?;
     writeln!(w, "//!")?;
@@ -311,7 +311,7 @@ fn write_rust<W: std::io::Write>(
     writeln!(w)?;
 
     for feature in features {
-        writeln!(w, "//= {}#{}", target, section.id)?;
+        writeln!(w, "//= {}#{}{}", target, anchor_prefix(section.id.value), section.id)?;
         writeln!(w, "//= type=spec")?;
         writeln!(w, "//= level={}", feature.level)?;
         for line in feature.quote.iter() {
@@ -329,7 +329,7 @@ fn write_toml<W: std::io::Write>(
     section: &Section,
     features: &[Feature],
 ) -> Result<(), std::io::Error> {
-    writeln!(w, "target = \"{}#{}\"", target, section.id)?;
+    writeln!(w, "target = \"{}#{}{}\"", target, anchor_prefix(section.id.value), section.id)?;
     writeln!(w)?;
     writeln!(w, "# {}", section.full_title)?;
     writeln!(w, "#")?;
@@ -351,3 +351,11 @@ fn write_toml<W: std::io::Write>(
 
     Ok(())
 }
+
+fn anchor_prefix(id: &str) -> &str {
+    match id.chars().next().unwrap_or('_') {
+        '0'..='9' => "section-",
+        'A'..='Z' | 'a'..='z' => "appendix-",
+        _ => "",
+    }
+}

www/src/result.js

@@ -53,11 +53,21 @@ input.annotations.forEach((anno, id) => {
     anno.isOk = anno.isComplete || anno.exception === anno.spec;
   }
 
+  function anchorPrefix(id) {
+    const c = id.charCodeAt(0);
+    // 1-9
+    if (c >= 49 && c <= 57) return "section-";
+    // A-Z or a-z
+    if (c >= 65 && c <= 90) return "appendix-";
+    if (c >= 97 && c <= 122) return "appendix-";
+    return "";
+  }
+
   anno.id = id;
   anno.source = blobLinker(anno);
   anno.specification = specifications[anno.target_path];
   anno.section = anno.specification.sections[`section-${anno.target_section}`];
-  anno.target = `${anno.specification.id}#${anno.section.id}`;
+  anno.target = `${anno.specification.id}#${anchorPrefix(anno.section.id)}${anno.section.id}`;
   anno.features = [];
   anno.tracking_issues = [];
   anno.tags = anno.tags || [];