From f69f0753e3f81a2bc3146dd1a4ff659440e0fd27 Mon Sep 17 00:00:00 2001 From: John Clements Date: Fri, 15 Feb 2008 19:36:56 +0000 Subject: [PATCH] More info for any svn: r8675 --- collects/scribblings/reference/contracts.scrbl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/scribblings/reference/contracts.scrbl b/collects/scribblings/reference/contracts.scrbl index afebcdae95..fb86c7366d 100644 --- a/collects/scribblings/reference/contracts.scrbl +++ b/collects/scribblings/reference/contracts.scrbl @@ -297,9 +297,9 @@ result of the final @scheme[body] is the result of the entire form.} @defidform[any]{ -The @scheme[any] form can only be used in a result position of -contracts like @scheme[->]. Using @scheme[any] elsewhere is a syntax -error.} +Represents a contract that is always satisfied. In particular, it can accept +multiple values. It can only be used in a result position of contracts like +@scheme[->]. Using @scheme[any] elsewhere is a syntax error.} @defform[(promise/c expr)]{