Skip to content

Commit

Permalink
Fix 1 occurrence of inline-unnecessary-define
Browse files Browse the repository at this point in the history
This variable is returned immediately and can be inlined.
  • Loading branch information
resyntax-ci[bot] committed Jan 3, 2025
1 parent 01ea752 commit 971f61c
Showing 1 changed file with 4 additions and 6 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -29,12 +29,10 @@
(define (sc->contract v f)
(match-define (exist-combinator (list names doms rngs)) v)
(parameterize ([static-contract-may-contain-free-ids? #t])
(define a
(with-syntax ([doms-stx (f doms)]
[rngs-stx (f rngs)]
[n (car names)])
#'(->i ([n doms-stx]) (_ (n) rngs-stx))))
a))
(with-syntax ([doms-stx (f doms)]
[rngs-stx (f rngs)]
[n (car names)])
#'(->i ([n doms-stx]) (_ (n) rngs-stx)))))
(define (sc->constraints v f)
(simple-contract-restrict 'flat))])

Expand Down

0 comments on commit 971f61c

Please sign in to comment.