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

doc: add grammar for 'recursive-contract' type option

Browse Source
This commit is contained in:
Ben Greenman 2017-07-18 16:12:36 -04:00 committed by Vincent St-Amour
parent d818e8d996
commit c15fd5045a
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/racket-doc/scribblings/reference/contracts.scrbl
View File

@ -3111,13 +3111,15 @@ name @racket[sexp-name] when signaling a contract violation.}
(recursive-contract contract-expr type recursive-contract-option ...)] (recursive-contract contract-expr type recursive-contract-option ...)]
#:grammar ([recursive-contract-option #:grammar ([recursive-contract-option
#:list-contract? #:list-contract?
#:extra-delay])]{ #:extra-delay]
[type
#:impersonator
#:chaperone
#:flat])]{
Delays the evaluation of its argument until the contract is checked, Delays the evaluation of its argument until the contract is checked,
making recursive contracts possible. If @racket[type] is given, it making recursive contracts possible.
describes the expected type of contract and must be one of the keywords If @racket[type] is not given, an impersonator contract is created.
@racket[#:impersonator], @racket[#:chaperone], or @racket[#:flat]. If
@racket[type] is not given, an impersonator contract is created.
If the @racket[recursive-contract-option] If the @racket[recursive-contract-option]
@racket[#:list-contract?] is given, then the result is a @racket[#:list-contract?] is given, then the result is a