Skip to content

Automated Resyntax fixes #1478

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

Open
wants to merge 12 commits into
base: master
Choose a base branch
from
Open

Automated Resyntax fixes #1478

Changes from 1 commit
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
bf8e9cf
Fix 1 occurrence of `let-to-define`
resyntax-ci[bot] Nov 7, 2025
5997073
Fix 1 occurrence of `nested-if-to-cond`
resyntax-ci[bot] Nov 7, 2025
f9d9135
Fix 2 occurrences of `define-let-to-multi-define`
resyntax-ci[bot] Nov 7, 2025
e068118
Fix 1 occurrence of `if-let-to-cond`
resyntax-ci[bot] Nov 7, 2025
ec63114
Fix 2 occurrences of `if-else-false-to-and`
resyntax-ci[bot] Nov 7, 2025
7d77f9e
Fix 6 occurrences of `match-let-to-match-define`
resyntax-ci[bot] Nov 7, 2025
ca49fbc
Fix 1 occurrence of `begin0-begin-extraction`
resyntax-ci[bot] Nov 7, 2025
7690155
Fix 1 occurrence of `inverted-when`
resyntax-ci[bot] Nov 7, 2025
3538723
Fix 2 occurrences of `error-to-raise-arguments-error`
resyntax-ci[bot] Nov 7, 2025
2daca17
Fix 1 occurrence of `format-string-to-format-symbol`
resyntax-ci[bot] Nov 7, 2025
56e65cf
Fix 1 occurrence of `format-identity`
resyntax-ci[bot] Nov 7, 2025
4734fc3
Fix 1 occurrence of `let-to-define`
resyntax-ci[bot] Nov 7, 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
4 changes: 2 additions & 2 deletions typed-racket-lib/typed-racket/logic/ineq.rkt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -193,7 +193,7 @@
[(lexp: c ts)
(define coeffs (terms-coeffs ts))
(if (zero? c) coeffs (cons c coeffs))]
[_ (error 'lexp-scalars "given invalid lexp ~a" exp)]))
[_ (raise-arguments-error 'lexp-scalars "given invalid lexp" "exp" exp)]))

(module+ test
(check-true (and (equal? (sort (lexp-vars (lexp* 17 '(42 x) '(2 z))) symbol<?)
Expand Down Expand Up @@ -496,7 +496,7 @@
;; leq1: lexp1 <= bx
;; leq2: cx <= lexp2
[(and (eqv? 0 a) (eqv? 0 d)) (leq (lexp-scale l1 c) (lexp-scale r2 b))]
[else (error 'leq-join "cannot join ~a and ~a by ~a" leq1 leq2 x)])))
[else (raise-arguments-error 'leq-join "cannot join and by" "leq1" leq1 "leq2" leq2 "x" x)])))
Copy link
Contributor

@jackfirth jackfirth Nov 7, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Well that's not right.


(module+ test
(check-equal? (leq-join (leq (lexp* '(2 x))
Expand Down