Skip to content

Automated Resyntax fixes #504

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
mflatt merged 9 commits into from
Jun 26, 2025
Merged

Automated Resyntax fixes #504

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
dbc8a30
Fix 4 occurrences of `map-to-for`
resyntax-ci[bot] May 14, 2025
f7a6faa
Fix 1 occurrence of `inverted-when`
resyntax-ci[bot] May 14, 2025
2e215fd
Fix 3 occurrences of `cond-let-to-cond-define`
resyntax-ci[bot] May 14, 2025
7f6a08e
Fix 6 occurrences of `let-to-define`
resyntax-ci[bot] May 14, 2025
2b30892
Fix 2 occurrences of `define-syntax-syntax-rules-to-define-syntax-rule`
resyntax-ci[bot] May 14, 2025
6fc7356
Fix 1 occurrence of `quasiquote-to-append`
resyntax-ci[bot] May 14, 2025
1aa14d2
Fix 1 occurrence of `always-throwing-if-to-when`
resyntax-ci[bot] May 14, 2025
9dc209b
Fix 1 occurrence of `provide/contract-to-contract-out`
resyntax-ci[bot] May 14, 2025
385b1ac
Fix 1 occurrence of `zero-comparison-to-positive?`
resyntax-ci[bot] May 14, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
113 changes: 50 additions & 63 deletions scribble-lib/scribble/acmart.rkt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -28,68 +28,55 @@
#:name author-institution
#:transparent)

(provide/contract
[title (->* ()
(#:short pre-content?
#:tag (or/c string? (listof string?) #f)
#:tag-prefix (or/c string? module-path? #f)
#:style (or/c style? string? symbol? #f)
#:version (or/c string? #f)
#:date (or/c string? #f))
#:rest (listof pre-content?)
title-decl?)]
[author (->* ()
(#:orcid (or/c pre-content? #f)
#:affiliation (or/c pre-content?
affiliation?
(listof affiliation?)
#f)
#:email (or/c pre-content? email? (listof email?)))
#:rest (listof pre-content?)
block?)]
[authorsaddresses (->* ()
()
#:rest (listof pre-content?)
block?)]
[shortauthors (->* ()
()
#:rest (listof pre-content?)
element?)]
[institution (->* ()
(#:departments (listof (or/c pre-content? institution?)))
#:rest pre-content?
institution?)]
[institution? (-> any/c boolean?)]
[email (-> pre-content? ... email?)]
[email-string (-> string? ... email?)]
[email? (-> any/c boolean?)]
[affiliation (->* ()
(#:position (or/c pre-content? #f)
#:institution (or/c pre-content? institution? (listof institution?) #f)
#:street-address (or/c pre-content? #f)
#:city (or/c pre-content? #f)
#:state (or/c pre-content? #f)
#:postcode (or/c pre-content? #f)
#:country (or/c pre-content? #f))
affiliation?)]
[affiliation? (-> any/c boolean?)]
[abstract
(->* () () #:rest (listof pre-content?)
block?)]
[acmConference
(-> string? string? string? block?)]
[grantsponsor
(-> string? string? string? content?)]
[grantnum
(->* (string? string?) (#:url string?) content?)]
[acmBadgeR (->* (string?) (#:url string?) block?)]
[acmBadgeL (->* (string?) (#:url string?) block?)]
[received (->* (string?) (#:stage string?) block?)]
[citestyle (-> content? block?)]
[ccsdesc (->* (string?) (#:number exact-integer?) block?)]
[CCSXML
(->* () () #:rest (listof pre-content?)
any/c)])
(provide (contract-out [title
(->* ()
(#:short pre-content?
#:tag (or/c string? (listof string?) #f)
#:tag-prefix (or/c string? module-path? #f)
#:style (or/c style? string? symbol? #f)
#:version (or/c string? #f)
#:date (or/c string? #f))
#:rest (listof pre-content?)
title-decl?)]
[author
(->* ()
(#:orcid (or/c pre-content? #f)
#:affiliation (or/c pre-content? affiliation? (listof affiliation?) #f)
#:email (or/c pre-content? email? (listof email?)))
#:rest (listof pre-content?)
block?)]
[authorsaddresses (->* () () #:rest (listof pre-content?) block?)]
[shortauthors (->* () () #:rest (listof pre-content?) element?)]
[institution
(->* ()
(#:departments (listof (or/c pre-content? institution?)))
#:rest pre-content?
institution?)]
[institution? (-> any/c boolean?)]
[email (-> pre-content? ... email?)]
[email-string (-> string? ... email?)]
[email? (-> any/c boolean?)]
[affiliation
(->* ()
(#:position (or/c pre-content? #f)
#:institution (or/c pre-content? institution? (listof institution?) #f)
#:street-address (or/c pre-content? #f)
#:city (or/c pre-content? #f)
#:state (or/c pre-content? #f)
#:postcode (or/c pre-content? #f)
#:country (or/c pre-content? #f))
affiliation?)]
[affiliation? (-> any/c boolean?)]
[abstract (->* () () #:rest (listof pre-content?) block?)]
[acmConference (-> string? string? string? block?)]
[grantsponsor (-> string? string? string? content?)]
[grantnum (->* (string? string?) (#:url string?) content?)]
[acmBadgeR (->* (string?) (#:url string?) block?)]
[acmBadgeL (->* (string?) (#:url string?) block?)]
[received (->* (string?) (#:stage string?) block?)]
[citestyle (-> content? block?)]
[ccsdesc (->* (string?) (#:number exact-integer?) block?)]
[CCSXML (->* () () #:rest (listof pre-content?) any/c)]))
(provide
invisible-element-to-collect-for-acmart-extras
include-abstract)
Expand Down Expand Up @@ -335,7 +322,7 @@
(decode-content name))]
[else (make-element (make-style "department"
(append
(if (> level 0)
(if (positive? level)
(list (command-optional (list (number->string level))))
(list))
command-props))
Expand Down
5 changes: 2 additions & 3 deletions scribble-lib/scribble/bnf.rkt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -64,9 +64,8 @@
[(cons lhs (cons rhs0 more-rhs))
(cons
(list (as-flow spacer) (as-flow lhs) (as-flow equals) (as-flow rhs0))
(map (lambda (i)
(list (as-flow spacer) (as-flow " ") (as-flow alt) (as-flow i)))
more-rhs))])
(for/list ([i (in-list more-rhs)])
(list (as-flow spacer) (as-flow " ") (as-flow alt) (as-flow i))))])
defns))))

;; interleave : (listof content?) element? -> element?
Expand Down
Loading