From c84765b554fe9758f5b295f5ed1de43d1a5fa1f7 Mon Sep 17 00:00:00 2001 From: Noah W M <37620986+llNoahll@users.noreply.github.com> Date: Wed, 26 Jun 2019 10:43:02 +0800 Subject: [PATCH] Update general-function.scrbl --- .../scribblings/guide/contracts/general-function.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/racket-doc/scribblings/guide/contracts/general-function.scrbl b/pkgs/racket-doc/scribblings/guide/contracts/general-function.scrbl index 0160d256db..f51952d0ec 100644 --- a/pkgs/racket-doc/scribblings/guide/contracts/general-function.scrbl +++ b/pkgs/racket-doc/scribblings/guide/contracts/general-function.scrbl @@ -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->]