suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update general-function.scrbl

Browse Source
This commit is contained in:
Noah W M 2019-06-26 10:43:02 +08:00 committed by Robby Findler
parent 67a1cd9274
commit c84765b554
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/racket-doc/scribblings/guide/contracts/general-function.scrbl
View File

@ -607,7 +607,7 @@ glance, this appears to suggest a contract that assigns a
This contract, however, says that the function must accept @emph{any}
number of arguments, not a @emph{specific} but
@emph{undetermined} number. Thus, applying @racket[n-step] to
@racket[(lambda (x) x)] and @racket[(list 1)] breaks the contract
@racket[(lambda (x) x)] and @racket[(list 1 2)] breaks the contract
because the given function accepts only one argument.
The correct contract uses the @racket[unconstrained-domain->]