Closed sorawee closed 4 days ago
Many contracts use ->* with #:rest to contract a function with a rest argument.
->*
#:rest
However, ->* is difficult to read.
Since Racket 6.5, -> supports ..., which can be used to support the rest argument as well.
->
...
Since -> is much easier to read, when applicable, ->* #:rest should be rewritten to -> ....
->* #:rest
-> ...
The arrow-contract-with-rest-to-arrow-contract-with-ellipses rule implements this, though I don't remember when I wrote that one.
arrow-contract-with-rest-to-arrow-contract-with-ellipses
You even had #130!
Great minds think alike 🙂
Many contracts use
->*
with#:rest
to contract a function with a rest argument.However,
->*
is difficult to read.Since Racket 6.5,
->
supports...
, which can be used to support the rest argument as well.Since
->
is much easier to read, when applicable,->* #:rest
should be rewritten to-> ...
.