This commit is contained in:
Matthew Flatt 2014-07-15 07:15:01 +01:00
parent 3ef3c0b4cb
commit 51a087c768

View File

@ -954,7 +954,7 @@ introduced with the @racket[#:pre] keyword followed by the list of names on
which it depends. If the @racket[#:pre/name] keyword is used, the string which it depends. If the @racket[#:pre/name] keyword is used, the string
supplied is used as part of the error message; similarly with @racket[#:post/name]. supplied is used as part of the error message; similarly with @racket[#:post/name].
The @racket[dep-range] non-terminal specifies the possible result The @racket[dependent-range] non-terminal specifies the possible result
contracts. If it is @racket[any], then any value is allowed. Otherwise, the contracts. If it is @racket[any], then any value is allowed. Otherwise, the
result contract pairs a name and a contract or a multiple values return result contract pairs a name and a contract or a multiple values return
with names and contracts. In the last two cases, the range contract may be with names and contracts. In the last two cases, the range contract may be