Improve BibTeX parsing and bibliography rendering by fare · Pull Request #573 · racket/scribble

fare · 2026-09-13T20:35:32Z

Improve BibTeX parsing and bibliography rendering

Improve Scribble's support for rich bibliographies, particularly annotated bibliographies with long, formatted, multi-paragraph notes. The immediate motivation is the bibliography of my book Lambda: the Ultimate Object, but the improvements apply to ordinary academic papers as well.

BibTeX parsing

Add a small LaTeX reader supporting common formatting commands, accents, special characters, protected groups and mathematical expressions.
Preserve protected groups when parsing author names and other fields.
Support LaTeX escapes in URLs and DOIs, generating correct hyperlinks in HTML and LaTeX.
Improve parsing of BibTeX string references, including references adjacent to delimiters.
Support formatted content and multiple paragraphs in bibliography notes.

The reader deliberately supports a useful subset of LaTeX rather than attempting to implement a complete TeX interpreter. Unknown commands are preserved rather than silently discarded.

Bibliography rendering

Replace the old LaTeX \parbox layout, which prevented page breaks within bibliography entries, with needspace, allowing long annotations to span pages. Keep a five-line minimum by default to approximate the previous behavior.
Make needspace optional and expose configurable page-breaking and line-breaking settings without imposing new line-breaking parameters on existing documents.
Improve numbered bibliography layout using CSS and LaTeX environments, with hanging indentation and aligned citation numbers.
Improve formatting across bibliography fields.
Add a period after a DOI only when a note follows it, preserving the existing formatting of ordinary entries without notes. Avoid appending punctuation directly to URLs.
Improve chapter-number formatting.

The improvements primarily target HTML and LaTeX. Typst receives minimal compatibility support rather than a new rendering implementation.

API, documentation and tests

Clarify the distinction between strings, Scribble content and elements in the bibliography implementation. Location helpers may now return content or #f rather than necessarily returning an element. This is a public API change.
Update the manuals to document the new behavior and configuration options.
Bump scribble-lib to version 1.68.
Add unit tests, expected-output tests and rendering tests, including regression tests for accented names, protected groups, escaped hyperlinks and multi-paragraph notes.

The changes have been exercised against my book's heavily annotated bibliography and reviewed through several rounds of automated and manual testing.

Implementation was substantially assisted by GPT-5.6 Sol, with additional review by Claude Opus 5.5.

Compatibility notes

bibtex-parse now keeps inner braces in raw field values
(e.g. "The {ACM} Paper") so that protected groups survive until
rendering; rendered output is unchanged, but code that reads
bibdb-raw directly will now see the braces.
BibTeX titles are no longer passed through verbatim to LaTeX;
they go through the same reader as other fields. Math and unknown
commands are still emitted verbatim in LaTeX output.
Notes are now decoded like other Scribble text, so -- becomes
an en dash and straight quotes become curly quotes.
A purely numeric #:chapter now renders as "chapter N".
In LaTeX output, entries may now break across pages (subject to
the five-line minimum), and numbered bibliographies use hanging
indentation instead of a table.
In text output, numbered entries are no longer aligned as a table.
Various minor bugfixes, in handling inbook, proceedings, or braces in author names.

fare · 2026-09-13T20:38:53Z

PS: I'm tempted to have a clanker improve the parsing of bibtex to support (a) emphasis, in notes, (b) {} in titles to prevent lowercasification when using LaTeX.

Also, maybe to improve autobib so multi-paragraph notes are a thing, and maybe crossing page boundaries within a bibliography entry.

These two would also much improve LtUO.

PPS: I'm still thinking about (a), but at least the basics of (b) was apparently done by #571.

PPPS: The clankers did it!

fare · 2026-09-14T05:42:51Z

Weird: the CI failed on Racket 9.3.0.8, but at home it just worked on v9.3.0.8-2026-09-14-06fd59e02c [cs].

PS: I had forgotten to update a test.

mflatt · 2026-09-19T12:11:33Z

The change to add . after a DOI would cause papers written with Scribble+autobib to render differently than Latex+bibtex (in the "acmart" style). Would it work to add . only when there's a note? Or maybe it should be configurable?

fare · 2026-09-19T16:19:41Z

Yes, adding a "." only if there's a note makes a lot sense, especially for backwards compatibility. Thanks for the suggestion.

PS: also rebasing to the latest master.

Much improves the bibliography for my book LtUO.

github-actions

Resyntax analyzed 1 file in this pull request and found no issues.

github-actions

Resyntax analyzed 1 file in this pull request and found no issues.

github-actions

Resyntax analyzed 1 file in this pull request and found no issues.

…space

github-actions

Resyntax analyzed 1 file in this pull request and found no issues.

github-actions

Resyntax analyzed 1 file in this pull request and found no issues.

github-actions

Resyntax analyzed 1 file in this pull request and found no issues.

github-actions

Resyntax analyzed 2 files in this pull request and found no issues.

github-actions

Resyntax analyzed 3 files in this pull request and found no issues.

github-actions

Resyntax analyzed 3 files in this pull request and found no issues.

Use CSS and LaTeX environments for autobib number-style. Much nicer output in HTML and PDF. In number-style, text output won't align as a table anymore, but will have a space after the [number].

github-actions

Resyntax analyzed 4 files in this pull request and found no issues.

github-actions

Resyntax analyzed 7 files in this pull request and has added suggestions.

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

github-actions

Resyntax analyzed 7 files in this pull request and has added suggestions.

github-actions · 2026-09-26T14:21:32Z

+            (cond
+              [(= depth 1) (unescape-url (get-output-string out))]
+              [else
+               (write-char #\} out)
+               (loop (sub1 depth))])]


if-begin-to-cond: Using cond instead of if here makes begin unnecessary

Suggested change

(cond

[(= depth 1) (unescape-url (get-output-string out))]

[else

(write-char #\} out)

(loop (sub1 depth))])]

(cond

[(= depth 1) (unescape-url (get-output-string out))]

[else

(write-char #\} out)

(loop (sub1 depth))])]

Debugging details

Textual replacement

(line-replacement #:new-lines '#(" (cond" " [(= depth 1) (unescape-url (get-output-string out))]" " [else" " (write-char #\\} out)" " (loop (sub1 depth))])]") #:original-lines '#(" (if (= depth 1)" " (unescape-url (get-output-string out))" " (begin" " (write-char #\\} out)" " (loop (sub1 depth))))]") #:start-line 106)

Syntactic replacement

(syntax-replacement #:introduction-scope #<procedure:...and/syntax-local.rkt:148:2> #:new-syntax #<syntax:/home/runner/.local/share/racket/9.3.0.8/pkgs/resyntax/default-recommendations/conditional-shortcuts.rkt:204:2 (cond ((= depth 1) (unescape-url (get-output-string out))) (else (write-char #\} out) (loop (sub1 depth))))> #:original-syntax #<syntax:scribble-lib/scriblib/private/read-latex.rkt:106:12 (if (= depth 1) (unescape-url (get-output-string out)) (begin (write-char #\} out) (loop (sub1 depth))))> #:source (file-source #<path:/home/runner/work/scribble/scribble/scribble-lib/scriblib/private/read-latex.rkt>) #:uses-universal-tagged-syntax? #f)

github-actions · 2026-09-26T14:21:32Z

+         (when (eqv? (peek-char ip) #\{)
+           (define depth 0)
+           (let copy ()
+             (match (read-char ip)
+               [(? eof-object?) (error 'latex->content "unclosed argument in ~e" source)]
+               [#\\
+                (write-char #\\ out)
+                (define next (read-char ip))
+                (when (eof-object? next)
+                  (error 'latex->content "trailing backslash in ~e" source))
+                (write-char next out)
+                (copy)]
+               [#\{
+                (set! depth (add1 depth))
+                (write-char #\{ out)
+                (copy)]
+               [#\}
+                (set! depth (sub1 depth))
+                (write-char #\} out)
+                (unless (zero? depth)
+                  (copy))]
+               [c
+                (write-char c out)
+                (copy)]))
+           (arguments)))


let-to-define: Internal definitions are recommended instead of let expressions, to reduce nesting.

Suggested change

(when (eqv? (peek-char ip) #\{)

(define depth 0)

(let copy ()

(match (read-char ip)

[(? eof-object?) (error 'latex->content "unclosed argument in ~e" source)]

[#\\

(write-char #\\ out)

(define next (read-char ip))

(when (eof-object? next)

(error 'latex->content "trailing backslash in ~e" source))

(write-char next out)

(copy)]

[#\{

(set! depth (add1 depth))

(write-char #\{ out)

(copy)]

[#\}

(set! depth (sub1 depth))

(write-char #\} out)

(unless (zero? depth)

(copy))]

[c

(write-char c out)

(copy)]))

(arguments)))

(when (eqv? (peek-char ip) #\{)

(define depth 0)

(let copy ()

(match (read-char ip)

[(? eof-object?) (error 'latex->content "unclosed argument in ~e" source)]

[#\\

(write-char #\\ out)

(define next (read-char ip))

(when (eof-object? next)

(error 'latex->content "trailing backslash in ~e" source))

(write-char next out)

(copy)]

[#\{

(set! depth (add1 depth))

(write-char #\{ out)

(copy)]

[#\}

(set! depth (sub1 depth))

(write-char #\} out)

(unless (zero? depth)

(copy))]

[c

(write-char c out)

(copy)]))

(arguments)))

Debugging details

Textual replacement

(line-replacement #:new-lines '#(" (when (eqv? (peek-char ip) #\\{)" " (define depth 0)" " (let copy ()" " (match (read-char ip)" " [(? eof-object?) (error 'latex->content \"unclosed argument in ~e\" source)]" " [#\\\\" " (write-char #\\\\ out)" " (define next (read-char ip))" " (when (eof-object? next)" " (error 'latex->content \"trailing backslash in ~e\" source))" " (write-char next out)" " (copy)]" " [#\\{" " (set! depth (add1 depth))" " (write-char #\\{ out)" " (copy)]" " [#\\}" " (set! depth (sub1 depth))" " (write-char #\\} out)" " (unless (zero? depth)" " (copy))]" " [c" " (write-char c out)" " (copy)]))" " (arguments)))") #:original-lines '#(" (when (eqv? (peek-char ip) #\\{)" " (let ([depth 0])" " (let copy ()" " (match (read-char ip)" " [(? eof-object?) (error 'latex->content \"unclosed argument in ~e\" source)]" " [#\\\\" " (write-char #\\\\ out)" " (define next (read-char ip))" " (when (eof-object? next)" " (error 'latex->content \"trailing backslash in ~e\" source))" " (write-char next out)" " (copy)]" " [#\\{" " (set! depth (add1 depth))" " (write-char #\\{ out)" " (copy)]" " [#\\}" " (set! depth (sub1 depth))" " (write-char #\\} out)" " (unless (zero? depth)" " (copy))]" " [c" " (write-char c out)" " (copy)]))" " (arguments))))") #:start-line 126)

Syntactic replacement

(syntax-replacement #:introduction-scope #<procedure:...and/syntax-local.rkt:148:2> #:new-syntax #<syntax:.../resyntax/base.rkt:215:28 (when (eqv? (peek-char ip) #\{) (define depth 0) (let copy () (match (read-char ip) ((? eof-object?) (error (quote latex->content) "unclosed argument in ~e" source)) (#\\ (write-char #\\ out) (define next (read-char ip)) (when (eof-object? next) (error ...> #:original-syntax #<syntax:scribble-lib/scriblib/private/read-latex.rkt:126:9 (when (eqv? (peek-char ip) #\{) (let ((depth 0)) (let copy () (match (read-char ip) ((? eof-object?) (error (quote latex->content) "unclosed argument in ~e" source)) (#\\ (write-char #\\ out) (define next (read-char ip)) (when (eof-object? next) (error ...> #:source (file-source #<path:/home/runner/work/scribble/scribble/scribble-lib/scriblib/private/read-latex.rkt>) #:uses-universal-tagged-syntax? #f)

github-actions · 2026-09-26T14:21:32Z

+            (cond
+              [(and display? (not (eqv? (peek-char ip) #\$))) (loop)]
+              [else
+               (when display?
+                 (write-char (read-char ip) out))
+               (get-output-string out)])]


if-begin-to-cond: Using cond instead of if here makes begin unnecessary

Suggested change

(cond

[(and display? (not (eqv? (peek-char ip) #\$))) (loop)]

[else

(when display?

(write-char (read-char ip) out))

(get-output-string out)])]

(cond

[(and display? (not (eqv? (peek-char ip) #\$))) (loop)]

[else

(when display?

(write-char (read-char ip) out))

(get-output-string out)])]

Debugging details

Textual replacement

(line-replacement #:new-lines '#(" (cond" " [(and display? (not (eqv? (peek-char ip) #\\$))) (loop)]" " [else" " (when display?" " (write-char (read-char ip) out))" " (get-output-string out)])]") #:original-lines '#(" (if (and display? (not (eqv? (peek-char ip) #\\$)))" " (loop)" " (begin" " (when display?" " (write-char (read-char ip) out))" " (get-output-string out)))]") #:start-line 172)

Syntactic replacement

(syntax-replacement #:introduction-scope #<procedure:...and/syntax-local.rkt:148:2> #:new-syntax #<syntax:/home/runner/.local/share/racket/9.3.0.8/pkgs/resyntax/default-recommendations/conditional-shortcuts.rkt:204:2 (cond ((and display? (not (eqv? (peek-char ip) #\$))) (loop)) (else (when display? (write-char (read-char ip) out)) (get-output-string out)))> #:original-syntax #<syntax:scribble-lib/scriblib/private/read-latex.rkt:172:12 (if (and display? (not (eqv? (peek-char ip) #\$))) (loop) (begin (when display? (write-char (read-char ip) out)) (get-output-string out)))> #:source (file-source #<path:/home/runner/work/scribble/scribble/scribble-lib/scriblib/private/read-latex.rkt>) #:uses-universal-tagged-syntax? #f)

github-actions · 2026-09-26T14:21:32Z

+                     (read-char ip)
+                     (define body (read-group #t))
+                     (emit! (cond
+                              [(string=? word "emph") (apply emph body)]


define-begin-extraction: The begin in this definition can be extracted into the surrounding definition context.

Suggested change

(read-char ip)

(define body (read-group #t))

(emit! (cond

[(string=? word "emph") (apply emph body)]

(read-char ip)

(define body (read-group #t))

Debugging details

Textual replacement

(line-replacement #:new-lines '#(" (read-char ip)" " (define body (read-group #t))") #:original-lines '#(" (define body" " (begin" " (read-char ip)" " (read-group #t)))") #:start-line 263)

Syntactic replacement

(syntax-replacement #:introduction-scope #<procedure:...and/syntax-local.rkt:148:2> #:new-syntax #<syntax:.../resyntax/base.rkt:223:10 (cond ((eqv? (peek-char ip) #\{) (read-char ip) (define body (read-group #t)) (emit! (cond ((string=? word "emph") (apply emph body)) ((string=? word "texttt") (apply tt body)) ((string=? word "textit") (apply italic body)) ((string=? word "textbf") (ap...> #:original-syntax #<syntax:scribble-lib/scriblib/private/read-latex.rkt:261:18 (cond ((eqv? (peek-char ip) #\{) (define body (begin (read-char ip) (read-group #t))) (emit! (cond ((string=? word "emph") (apply emph body)) ((string=? word "texttt") (apply tt body)) ((string=? word "textit") (apply italic body)) ((string=? word "text...> #:source (file-source #<path:/home/runner/work/scribble/scribble/scribble-lib/scriblib/private/read-latex.rkt>) #:uses-universal-tagged-syntax? #f)

github-actions

Resyntax analyzed 7 files in this pull request and has added suggestions.

github-actions · 2026-09-26T14:21:55Z

+            (cond
+              [(= depth 1) (unescape-url (get-output-string out))]
+              [else
+               (write-char #\} out)
+               (loop (sub1 depth))])]


if-begin-to-cond: Using cond instead of if here makes begin unnecessary

Suggested change

(cond

[(= depth 1) (unescape-url (get-output-string out))]

[else

(write-char #\} out)

(loop (sub1 depth))])]

(cond

[(= depth 1) (unescape-url (get-output-string out))]

[else

(write-char #\} out)

(loop (sub1 depth))])]

Debugging details

Textual replacement

(line-replacement #:new-lines '#(" (cond" " [(= depth 1) (unescape-url (get-output-string out))]" " [else" " (write-char #\\} out)" " (loop (sub1 depth))])]") #:original-lines '#(" (if (= depth 1)" " (unescape-url (get-output-string out))" " (begin" " (write-char #\\} out)" " (loop (sub1 depth))))]") #:start-line 106)

Syntactic replacement

(syntax-replacement #:introduction-scope #<procedure:...and/syntax-local.rkt:148:2> #:new-syntax #<syntax:/home/runner/.local/share/racket/9.3.0.8/pkgs/resyntax/default-recommendations/conditional-shortcuts.rkt:204:2 (cond ((= depth 1) (unescape-url (get-output-string out))) (else (write-char #\} out) (loop (sub1 depth))))> #:original-syntax #<syntax:scribble-lib/scriblib/private/read-latex.rkt:106:12 (if (= depth 1) (unescape-url (get-output-string out)) (begin (write-char #\} out) (loop (sub1 depth))))> #:source (file-source #<path:/home/runner/work/scribble/scribble/scribble-lib/scriblib/private/read-latex.rkt>) #:uses-universal-tagged-syntax? #f)

github-actions · 2026-09-26T14:21:55Z

+         (when (eqv? (peek-char ip) #\{)
+           (define depth 0)
+           (let copy ()
+             (match (read-char ip)
+               [(? eof-object?) (error 'latex->content "unclosed argument in ~e" source)]
+               [#\\
+                (write-char #\\ out)
+                (define next (read-char ip))
+                (when (eof-object? next)
+                  (error 'latex->content "trailing backslash in ~e" source))
+                (write-char next out)
+                (copy)]
+               [#\{
+                (set! depth (add1 depth))
+                (write-char #\{ out)
+                (copy)]
+               [#\}
+                (set! depth (sub1 depth))
+                (write-char #\} out)
+                (unless (zero? depth)
+                  (copy))]
+               [c
+                (write-char c out)
+                (copy)]))
+           (arguments)))


let-to-define: Internal definitions are recommended instead of let expressions, to reduce nesting.

Suggested change

(when (eqv? (peek-char ip) #\{)

(define depth 0)

(let copy ()

(match (read-char ip)

[(? eof-object?) (error 'latex->content "unclosed argument in ~e" source)]

[#\\

(write-char #\\ out)

(define next (read-char ip))

(when (eof-object? next)

(error 'latex->content "trailing backslash in ~e" source))

(write-char next out)

(copy)]

[#\{

(set! depth (add1 depth))

(write-char #\{ out)

(copy)]

[#\}

(set! depth (sub1 depth))

(write-char #\} out)

(unless (zero? depth)

(copy))]

[c

(write-char c out)

(copy)]))

(arguments)))

(when (eqv? (peek-char ip) #\{)

(define depth 0)

(let copy ()

(match (read-char ip)

[(? eof-object?) (error 'latex->content "unclosed argument in ~e" source)]

[#\\

(write-char #\\ out)

(define next (read-char ip))

(when (eof-object? next)

(error 'latex->content "trailing backslash in ~e" source))

(write-char next out)

(copy)]

[#\{

(set! depth (add1 depth))

(write-char #\{ out)

(copy)]

[#\}

(set! depth (sub1 depth))

(write-char #\} out)

(unless (zero? depth)

(copy))]

[c

(write-char c out)

(copy)]))

(arguments)))

Debugging details

Textual replacement

(line-replacement #:new-lines '#(" (when (eqv? (peek-char ip) #\\{)" " (define depth 0)" " (let copy ()" " (match (read-char ip)" " [(? eof-object?) (error 'latex->content \"unclosed argument in ~e\" source)]" " [#\\\\" " (write-char #\\\\ out)" " (define next (read-char ip))" " (when (eof-object? next)" " (error 'latex->content \"trailing backslash in ~e\" source))" " (write-char next out)" " (copy)]" " [#\\{" " (set! depth (add1 depth))" " (write-char #\\{ out)" " (copy)]" " [#\\}" " (set! depth (sub1 depth))" " (write-char #\\} out)" " (unless (zero? depth)" " (copy))]" " [c" " (write-char c out)" " (copy)]))" " (arguments)))") #:original-lines '#(" (when (eqv? (peek-char ip) #\\{)" " (let ([depth 0])" " (let copy ()" " (match (read-char ip)" " [(? eof-object?) (error 'latex->content \"unclosed argument in ~e\" source)]" " [#\\\\" " (write-char #\\\\ out)" " (define next (read-char ip))" " (when (eof-object? next)" " (error 'latex->content \"trailing backslash in ~e\" source))" " (write-char next out)" " (copy)]" " [#\\{" " (set! depth (add1 depth))" " (write-char #\\{ out)" " (copy)]" " [#\\}" " (set! depth (sub1 depth))" " (write-char #\\} out)" " (unless (zero? depth)" " (copy))]" " [c" " (write-char c out)" " (copy)]))" " (arguments))))") #:start-line 126)

Syntactic replacement

(syntax-replacement #:introduction-scope #<procedure:...and/syntax-local.rkt:148:2> #:new-syntax #<syntax:.../resyntax/base.rkt:215:28 (when (eqv? (peek-char ip) #\{) (define depth 0) (let copy () (match (read-char ip) ((? eof-object?) (error (quote latex->content) "unclosed argument in ~e" source)) (#\\ (write-char #\\ out) (define next (read-char ip)) (when (eof-object? next) (error ...> #:original-syntax #<syntax:scribble-lib/scriblib/private/read-latex.rkt:126:9 (when (eqv? (peek-char ip) #\{) (let ((depth 0)) (let copy () (match (read-char ip) ((? eof-object?) (error (quote latex->content) "unclosed argument in ~e" source)) (#\\ (write-char #\\ out) (define next (read-char ip)) (when (eof-object? next) (error ...> #:source (file-source #<path:/home/runner/work/scribble/scribble/scribble-lib/scriblib/private/read-latex.rkt>) #:uses-universal-tagged-syntax? #f)

github-actions · 2026-09-26T14:21:55Z

+                     (read-char ip)
+                     (define body (read-group #t))
+                     (emit! (cond
+                              [(string=? word "emph") (apply emph body)]


define-begin-extraction: The begin in this definition can be extracted into the surrounding definition context.

Suggested change

(read-char ip)

(define body (read-group #t))

(emit! (cond

[(string=? word "emph") (apply emph body)]

(read-char ip)

(define body (read-group #t))

Debugging details

Textual replacement

(line-replacement #:new-lines '#(" (read-char ip)" " (define body (read-group #t))") #:original-lines '#(" (define body" " (begin" " (read-char ip)" " (read-group #t)))") #:start-line 263)

Syntactic replacement

(syntax-replacement #:introduction-scope #<procedure:...and/syntax-local.rkt:148:2> #:new-syntax #<syntax:.../resyntax/base.rkt:223:10 (cond ((eqv? (peek-char ip) #\{) (read-char ip) (define body (read-group #t)) (emit! (cond ((string=? word "emph") (apply emph body)) ((string=? word "texttt") (apply tt body)) ((string=? word "textit") (apply italic body)) ((string=? word "textbf") (ap...> #:original-syntax #<syntax:scribble-lib/scriblib/private/read-latex.rkt:261:18 (cond ((eqv? (peek-char ip) #\{) (define body (begin (read-char ip) (read-group #t))) (emit! (cond ((string=? word "emph") (apply emph body)) ((string=? word "texttt") (apply tt body)) ((string=? word "textit") (apply italic body)) ((string=? word "text...> #:source (file-source #<path:/home/runner/work/scribble/scribble/scribble-lib/scriblib/private/read-latex.rkt>) #:uses-universal-tagged-syntax? #f)

github-actions

Resyntax analyzed 7 files in this pull request and has added suggestions.

github-actions · 2026-09-26T14:26:50Z

+            (cond
+              [(= depth 1) (unescape-url (get-output-string out))]
+              [else
+               (write-char #\} out)
+               (loop (sub1 depth))])]


if-begin-to-cond: Using cond instead of if here makes begin unnecessary

Suggested change

(cond

[(= depth 1) (unescape-url (get-output-string out))]

[else

(write-char #\} out)

(loop (sub1 depth))])]

(cond

[(= depth 1) (unescape-url (get-output-string out))]

[else

(write-char #\} out)

(loop (sub1 depth))])]

Debugging details

Textual replacement

(line-replacement #:new-lines '#(" (cond" " [(= depth 1) (unescape-url (get-output-string out))]" " [else" " (write-char #\\} out)" " (loop (sub1 depth))])]") #:original-lines '#(" (if (= depth 1)" " (unescape-url (get-output-string out))" " (begin" " (write-char #\\} out)" " (loop (sub1 depth))))]") #:start-line 106)

Syntactic replacement

(syntax-replacement #:introduction-scope #<procedure:...and/syntax-local.rkt:148:2> #:new-syntax #<syntax:/home/runner/.local/share/racket/9.3.0.8/pkgs/resyntax/default-recommendations/conditional-shortcuts.rkt:204:2 (cond ((= depth 1) (unescape-url (get-output-string out))) (else (write-char #\} out) (loop (sub1 depth))))> #:original-syntax #<syntax:scribble-lib/scriblib/private/read-latex.rkt:106:12 (if (= depth 1) (unescape-url (get-output-string out)) (begin (write-char #\} out) (loop (sub1 depth))))> #:source (file-source #<path:/home/runner/work/scribble/scribble/scribble-lib/scriblib/private/read-latex.rkt>) #:uses-universal-tagged-syntax? #f)

github-actions · 2026-09-26T14:26:50Z

+         (when (eqv? (peek-char ip) #\{)
+           (define depth 0)
+           (let copy ()
+             (match (read-char ip)
+               [(? eof-object?) (error 'latex->content "unclosed argument in ~e" source)]
+               [#\\
+                (write-char #\\ out)
+                (define next (read-char ip))
+                (when (eof-object? next)
+                  (error 'latex->content "trailing backslash in ~e" source))
+                (write-char next out)
+                (copy)]
+               [#\{
+                (set! depth (add1 depth))
+                (write-char #\{ out)
+                (copy)]
+               [#\}
+                (set! depth (sub1 depth))
+                (write-char #\} out)
+                (unless (zero? depth)
+                  (copy))]
+               [c
+                (write-char c out)
+                (copy)]))
+           (arguments)))


let-to-define: Internal definitions are recommended instead of let expressions, to reduce nesting.

Suggested change

(when (eqv? (peek-char ip) #\{)

(define depth 0)

(let copy ()

(match (read-char ip)

[(? eof-object?) (error 'latex->content "unclosed argument in ~e" source)]

[#\\

(write-char #\\ out)

(define next (read-char ip))

(when (eof-object? next)

(error 'latex->content "trailing backslash in ~e" source))

(write-char next out)

(copy)]

[#\{

(set! depth (add1 depth))

(write-char #\{ out)

(copy)]

[#\}

(set! depth (sub1 depth))

(write-char #\} out)

(unless (zero? depth)

(copy))]

[c

(write-char c out)

(copy)]))

(arguments)))

(when (eqv? (peek-char ip) #\{)

(define depth 0)

(let copy ()

(match (read-char ip)

[(? eof-object?) (error 'latex->content "unclosed argument in ~e" source)]

[#\\

(write-char #\\ out)

(define next (read-char ip))

(when (eof-object? next)

(error 'latex->content "trailing backslash in ~e" source))

(write-char next out)

(copy)]

[#\{

(set! depth (add1 depth))

(write-char #\{ out)

(copy)]

[#\}

(set! depth (sub1 depth))

(write-char #\} out)

(unless (zero? depth)

(copy))]

[c

(write-char c out)

(copy)]))

(arguments)))

Debugging details

Textual replacement

(line-replacement #:new-lines '#(" (when (eqv? (peek-char ip) #\\{)" " (define depth 0)" " (let copy ()" " (match (read-char ip)" " [(? eof-object?) (error 'latex->content \"unclosed argument in ~e\" source)]" " [#\\\\" " (write-char #\\\\ out)" " (define next (read-char ip))" " (when (eof-object? next)" " (error 'latex->content \"trailing backslash in ~e\" source))" " (write-char next out)" " (copy)]" " [#\\{" " (set! depth (add1 depth))" " (write-char #\\{ out)" " (copy)]" " [#\\}" " (set! depth (sub1 depth))" " (write-char #\\} out)" " (unless (zero? depth)" " (copy))]" " [c" " (write-char c out)" " (copy)]))" " (arguments)))") #:original-lines '#(" (when (eqv? (peek-char ip) #\\{)" " (let ([depth 0])" " (let copy ()" " (match (read-char ip)" " [(? eof-object?) (error 'latex->content \"unclosed argument in ~e\" source)]" " [#\\\\" " (write-char #\\\\ out)" " (define next (read-char ip))" " (when (eof-object? next)" " (error 'latex->content \"trailing backslash in ~e\" source))" " (write-char next out)" " (copy)]" " [#\\{" " (set! depth (add1 depth))" " (write-char #\\{ out)" " (copy)]" " [#\\}" " (set! depth (sub1 depth))" " (write-char #\\} out)" " (unless (zero? depth)" " (copy))]" " [c" " (write-char c out)" " (copy)]))" " (arguments))))") #:start-line 126)

Syntactic replacement

(syntax-replacement #:introduction-scope #<procedure:...and/syntax-local.rkt:148:2> #:new-syntax #<syntax:.../resyntax/base.rkt:215:28 (when (eqv? (peek-char ip) #\{) (define depth 0) (let copy () (match (read-char ip) ((? eof-object?) (error (quote latex->content) "unclosed argument in ~e" source)) (#\\ (write-char #\\ out) (define next (read-char ip)) (when (eof-object? next) (error ...> #:original-syntax #<syntax:scribble-lib/scriblib/private/read-latex.rkt:126:9 (when (eqv? (peek-char ip) #\{) (let ((depth 0)) (let copy () (match (read-char ip) ((? eof-object?) (error (quote latex->content) "unclosed argument in ~e" source)) (#\\ (write-char #\\ out) (define next (read-char ip)) (when (eof-object? next) (error ...> #:source (file-source #<path:/home/runner/work/scribble/scribble/scribble-lib/scriblib/private/read-latex.rkt>) #:uses-universal-tagged-syntax? #f)

github-actions · 2026-09-26T14:26:51Z

+            (cond
+              [(and display? (not (eqv? (peek-char ip) #\$))) (loop)]
+              [else
+               (when display?
+                 (write-char (read-char ip) out))
+               (get-output-string out)])]


if-begin-to-cond: Using cond instead of if here makes begin unnecessary

Suggested change

(cond

[(and display? (not (eqv? (peek-char ip) #\$))) (loop)]

[else

(when display?

(write-char (read-char ip) out))

(get-output-string out)])]

(cond

[(and display? (not (eqv? (peek-char ip) #\$))) (loop)]

[else

(when display?

(write-char (read-char ip) out))

(get-output-string out)])]

Debugging details

Textual replacement

(line-replacement #:new-lines '#(" (cond" " [(and display? (not (eqv? (peek-char ip) #\\$))) (loop)]" " [else" " (when display?" " (write-char (read-char ip) out))" " (get-output-string out)])]") #:original-lines '#(" (if (and display? (not (eqv? (peek-char ip) #\\$)))" " (loop)" " (begin" " (when display?" " (write-char (read-char ip) out))" " (get-output-string out)))]") #:start-line 172)

Syntactic replacement

(syntax-replacement #:introduction-scope #<procedure:...and/syntax-local.rkt:148:2> #:new-syntax #<syntax:/home/runner/.local/share/racket/9.3.0.8/pkgs/resyntax/default-recommendations/conditional-shortcuts.rkt:204:2 (cond ((and display? (not (eqv? (peek-char ip) #\$))) (loop)) (else (when display? (write-char (read-char ip) out)) (get-output-string out)))> #:original-syntax #<syntax:scribble-lib/scriblib/private/read-latex.rkt:172:12 (if (and display? (not (eqv? (peek-char ip) #\$))) (loop) (begin (when display? (write-char (read-char ip) out)) (get-output-string out)))> #:source (file-source #<path:/home/runner/work/scribble/scribble/scribble-lib/scriblib/private/read-latex.rkt>) #:uses-universal-tagged-syntax? #f)

github-actions · 2026-09-26T14:26:51Z

+                  (cond
+                    [(eqv? (peek-char ip) #\{)
+                     (read-char ip)
+                     (define body (read-group #t))
+                     (emit! (cond
+                              [(string=? word "emph") (apply emph body)]
+                              [(string=? word "texttt") (apply tt body)]
+                              [(string=? word "textit") (apply italic body)]
+                              [(string=? word "textbf") (apply bold body)]
+                              [else (make-element bibtex-smallcaps-style body)]))]
+                    [else
+                     (emit! (make-element raw-tex-style


if-let-to-cond: cond with internal definitions is preferred over if with let, to reduce nesting

Suggested change

(cond

[(eqv? (peek-char ip) #\{)

(read-char ip)

(define body (read-group #t))

(emit! (cond

[(string=? word "emph") (apply emph body)]

[(string=? word "texttt") (apply tt body)]

[(string=? word "textit") (apply italic body)]

[(string=? word "textbf") (apply bold body)]

[else (make-element bibtex-smallcaps-style body)]))]

[else

(emit! (make-element raw-tex-style

(cond

[(eqv? (peek-char ip) #\{)

(define body

(begin

(read-char ip)

(read-group #t)))

(emit! (cond

[(string=? word "emph") (apply emph body)]

[(string=? word "texttt") (apply tt body)]

[(string=? word "textit") (apply italic body)]

[(string=? word "textbf") (apply bold body)]

[else (make-element bibtex-smallcaps-style body)]))]

[else

(emit! (make-element raw-tex-style

(list (string-append "\\" word whitespace))))])]

Debugging details

Textual replacement

(line-replacement #:new-lines '#(" (cond" " [(eqv? (peek-char ip) #\\{)" " (define body" " (begin" " (read-char ip)" " (read-group #t)))" " (emit! (cond" " [(string=? word \"emph\") (apply emph body)]" " [(string=? word \"texttt\") (apply tt body)]" " [(string=? word \"textit\") (apply italic body)]" " [(string=? word \"textbf\") (apply bold body)]" " [else (make-element bibtex-smallcaps-style body)]))]" " [else" " (emit! (make-element raw-tex-style" " (list (string-append \"\\\\\" word whitespace))))])]") #:original-lines '#(" (if (eqv? (peek-char ip) #\\{)" " (let ([body (begin" " (read-char ip)" " (read-group #t))])" " (emit! (cond" " [(string=? word \"emph\") (apply emph body)]" " [(string=? word \"texttt\") (apply tt body)]" " [(string=? word \"textit\") (apply italic body)]" " [(string=? word \"textbf\") (apply bold body)]" " [else (make-element bibtex-smallcaps-style body)])))" " (emit! (make-element raw-tex-style" " (list (string-append \"\\\\\" word whitespace)))))]") #:start-line 261)

Syntactic replacement

(syntax-replacement #:introduction-scope #<procedure:...and/syntax-local.rkt:148:2> #:new-syntax #<syntax:/home/runner/.local/share/racket/9.3.0.8/pkgs/resyntax/default-recommendations/let-replacement/cond-let-replacement.rkt:47:2 (cond ((eqv? (peek-char ip) #\{) (define body (begin (read-char ip) (read-group #t))) (emit! (cond ((string=? word "emph") (apply emph body)) ((string=? word "texttt") (apply tt body)) ((string=? word "textit") (apply italic body)) ((string=? word "text...> #:original-syntax #<syntax:scribble-lib/scriblib/private/read-latex.rkt:261:18 (if (eqv? (peek-char ip) #\{) (let ((body (begin (read-char ip) (read-group #t)))) (emit! (cond ((string=? word "emph") (apply emph body)) ((string=? word "texttt") (apply tt body)) ((string=? word "textit") (apply italic body)) ((string=? word "textbf"...> #:source (file-source #<path:/home/runner/work/scribble/scribble/scribble-lib/scriblib/private/read-latex.rkt>) #:uses-universal-tagged-syntax? #f)

github-actions

Resyntax analyzed 7 files in this pull request and has added suggestions.

github-actions · 2026-09-26T14:26:56Z

+            (cond
+              [(= depth 1) (unescape-url (get-output-string out))]
+              [else
+               (write-char #\} out)
+               (loop (sub1 depth))])]


if-begin-to-cond: Using cond instead of if here makes begin unnecessary

Suggested change

(cond

[(= depth 1) (unescape-url (get-output-string out))]

[else

(write-char #\} out)

(loop (sub1 depth))])]

(cond

[(= depth 1) (unescape-url (get-output-string out))]

[else

(write-char #\} out)

(loop (sub1 depth))])]

Debugging details

Textual replacement

(line-replacement #:new-lines '#(" (cond" " [(= depth 1) (unescape-url (get-output-string out))]" " [else" " (write-char #\\} out)" " (loop (sub1 depth))])]") #:original-lines '#(" (if (= depth 1)" " (unescape-url (get-output-string out))" " (begin" " (write-char #\\} out)" " (loop (sub1 depth))))]") #:start-line 106)

Syntactic replacement

(syntax-replacement #:introduction-scope #<procedure:...and/syntax-local.rkt:148:2> #:new-syntax #<syntax:/home/runner/.local/share/racket/9.3.0.8/pkgs/resyntax/default-recommendations/conditional-shortcuts.rkt:204:2 (cond ((= depth 1) (unescape-url (get-output-string out))) (else (write-char #\} out) (loop (sub1 depth))))> #:original-syntax #<syntax:scribble-lib/scriblib/private/read-latex.rkt:106:12 (if (= depth 1) (unescape-url (get-output-string out)) (begin (write-char #\} out) (loop (sub1 depth))))> #:source (file-source #<path:/home/runner/work/scribble/scribble/scribble-lib/scriblib/private/read-latex.rkt>) #:uses-universal-tagged-syntax? #f)

github-actions · 2026-09-26T14:26:56Z

+                     (read-char ip)
+                     (define body (read-group #t))
+                     (emit! (cond
+                              [(string=? word "emph") (apply emph body)]


define-begin-extraction: The begin in this definition can be extracted into the surrounding definition context.

Suggested change

(read-char ip)

(define body (read-group #t))

(emit! (cond

[(string=? word "emph") (apply emph body)]

(read-char ip)

(define body (read-group #t))

Debugging details

Textual replacement

(line-replacement #:new-lines '#(" (read-char ip)" " (define body (read-group #t))") #:original-lines '#(" (define body" " (begin" " (read-char ip)" " (read-group #t)))") #:start-line 263)

Syntactic replacement

(syntax-replacement #:introduction-scope #<procedure:...and/syntax-local.rkt:148:2> #:new-syntax #<syntax:.../resyntax/base.rkt:223:10 (cond ((eqv? (peek-char ip) #\{) (read-char ip) (define body (read-group #t)) (emit! (cond ((string=? word "emph") (apply emph body)) ((string=? word "texttt") (apply tt body)) ((string=? word "textit") (apply italic body)) ((string=? word "textbf") (ap...> #:original-syntax #<syntax:scribble-lib/scriblib/private/read-latex.rkt:261:18 (cond ((eqv? (peek-char ip) #\{) (define body (begin (read-char ip) (read-group #t))) (emit! (cond ((string=? word "emph") (apply emph body)) ((string=? word "texttt") (apply tt body)) ((string=? word "textit") (apply italic body)) ((string=? word "text...> #:source (file-source #<path:/home/runner/work/scribble/scribble/scribble-lib/scriblib/private/read-latex.rkt>) #:uses-universal-tagged-syntax? #f)

github-actions

Resyntax analyzed 7 files in this pull request and has added suggestions.

github-actions · 2026-09-26T14:32:14Z

+                     (read-char ip)
+                     (define body (read-group #t))
+                     (emit! (cond
+                              [(string=? word "emph") (apply emph body)]


define-begin-extraction: The begin in this definition can be extracted into the surrounding definition context.

Suggested change

(read-char ip)

(define body (read-group #t))

(emit! (cond

[(string=? word "emph") (apply emph body)]

(read-char ip)

(define body (read-group #t))

Debugging details

Textual replacement

(line-replacement #:new-lines '#(" (read-char ip)" " (define body (read-group #t))") #:original-lines '#(" (define body" " (begin" " (read-char ip)" " (read-group #t)))") #:start-line 263)

Syntactic replacement

(syntax-replacement #:introduction-scope #<procedure:...and/syntax-local.rkt:148:2> #:new-syntax #<syntax:.../resyntax/base.rkt:223:10 (cond ((eqv? (peek-char ip) #\{) (read-char ip) (define body (read-group #t)) (emit! (cond ((string=? word "emph") (apply emph body)) ((string=? word "texttt") (apply tt body)) ((string=? word "textit") (apply italic body)) ((string=? word "textbf") (ap...> #:original-syntax #<syntax:scribble-lib/scriblib/private/read-latex.rkt:261:18 (cond ((eqv? (peek-char ip) #\{) (define body (begin (read-char ip) (read-group #t))) (emit! (cond ((string=? word "emph") (apply emph body)) ((string=? word "texttt") (apply tt body)) ((string=? word "textit") (apply italic body)) ((string=? word "text...> #:source (file-source #<path:/home/runner/work/scribble/scribble/scribble-lib/scriblib/private/read-latex.rkt>) #:uses-universal-tagged-syntax? #f)

github-actions