Underscores in comment Urls

metamath · Sep 26, 2023 · 50eb059 · 50eb059
1 parent 4103ee4
commit 50eb059
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/src/comment_parser_tests.rs b/src/comment_parser_tests.rs
@@ -212,6 +212,10 @@ fn test_label() {
         b"Visit ~http://example.com",
         &[Text(Span::new(0, 6)), Url(6, Span::new(7, 25))],
     );
+    check(
+        b"According to ~ https://en.wikipedia.org/wiki/Torsion_(algebra) , an element",
+        &[Text(Span::new(0, 13)), Url(13, Span::new(15, 62)), Text(Span::new(62, 75))],
+    );
 }
 
 #[test]

diff --git a/src/verify_markup.rs b/src/verify_markup.rs
@@ -451,7 +451,11 @@ fn verify_markup_comment(
             CommentItem::Label(i, sp) | CommentItem::Url(i, sp) => {
                 ensure_space_before(buf, i, &mut diag);
                 ensure_space_after(buf, i, &mut diag);
-                check_uninterpreted_escapes(buf, sp, |_, d| diag(d));
+                check_uninterpreted_escapes(buf, sp, |c, d| {
+                    if c != b'_' {
+                        diag(d)
+                    }
+                });
                 check_uninterpreted_html(buf, sp, &mut diag);
                 if matches!(item, CommentItem::Label(..)) {
                     temp_buffer.clear();