More info for any

svn: r8675
This commit is contained in:
John Clements 2008-02-15 19:36:56 +00:00
parent f0ddaaab92
commit f69f0753e3

View File

@ -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)]{