From c4be4bd7a580135ce85404b83eff48700df59324 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 27 Jun 2008 22:27:31 +0000 Subject: [PATCH] added note about unsupplied-arg svn: r10483 --- collects/scribblings/reference/contracts.scrbl | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/collects/scribblings/reference/contracts.scrbl b/collects/scribblings/reference/contracts.scrbl index 96622d4b60..e565c7e9b6 100644 --- a/collects/scribblings/reference/contracts.scrbl +++ b/collects/scribblings/reference/contracts.scrbl @@ -453,6 +453,10 @@ If the identifier position of the range contract is expressions are evaluated when the function is called (and the underscore is not bound in the range). Otherwise the range expressions are evaluated when the function returns. + +If there are optional arguments that are not supplied, then +the corresponding variables will be bound to a special value +called the @scheme[unsupplied-arg] value. } @defform*/subs[#:literals (any values ->)