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

changed res-expr to range-expr for consistency

Browse Source 
svn: r12943
This commit is contained in:
John Clements 2008-12-27 07:22:38 +00:00
parent ff3c1c970e
commit 14b0203fb9
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/scribblings/reference/contracts.scrbl
View File

@ -363,7 +363,7 @@ results or completely unspecified results (the latter when
@scheme[any] is specified). @scheme[any] is specified).
Each @scheme[dom-expr] is a contract on an argument to a Each @scheme[dom-expr] is a contract on an argument to a
function, and each @scheme[res-expr] is a contract on a function, and each @scheme[range-expr] is a contract on a
result of the function. result of the function.
@margin-note{Using an @scheme[->] between two whitespace-delimited @margin-note{Using an @scheme[->] between two whitespace-delimited
@ -395,7 +395,7 @@ contract checking is performed on the result of the function, and
thus any number of values is legal (even different numbers on different thus any number of values is legal (even different numbers on different
invocations of the function). invocations of the function).
If @scheme[(values res-expr ...)] is used as the last sub-form of If @scheme[(values range-expr ...)] is used as the last sub-form of
@scheme[->], the function must produce a result for each contract, and @scheme[->], the function must produce a result for each contract, and
each values must match its respective contract.} each values must match its respective contract.}
@ -494,10 +494,10 @@ just like that for @scheme[->] and @scheme[->*].
} }
@defform[(unconstrained-domain-> res-expr ...)]{ @defform[(unconstrained-domain-> range-expr ...)]{
Constructs a contract that accepts a function, but makes no constraint Constructs a contract that accepts a function, but makes no constraint
on the function's domain. The @scheme[res-expr]s determine the number on the function's domain. The @scheme[range-expr]s determine the number
of results and the contract for each result. of results and the contract for each result.
Generally, this contract must be combined with another contract to Generally, this contract must be combined with another contract to