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

doc: example recursive-contract (#1785)

Browse Source
This commit is contained in:
Ben Greenman 2017-08-28 16:15:51 -04:00 committed by GitHub
parent 3dd17c73ed
commit b743544806
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -3132,6 +3132,17 @@ value to be checked against the contract is supplied to the contract.
Without it, the @racket[contract-expr] is evaluated earlier. This option Without it, the @racket[contract-expr] is evaluated earlier. This option
is supported only when @racket[type] is @racket[#:flat]. is supported only when @racket[type] is @racket[#:flat].
@examples[#:eval (contract-eval)
(define even-length-list/c
(or/c null?
(cons/c any/c
(cons/c any/c
(recursive-contract even-length-list/c #:flat)))))
(even-length-list/c '(A B))
(even-length-list/c '(1 2 3))
]
@history[#:changed "6.0.1.13" @list{Added the @racket[#:list-contract?] option.} @history[#:changed "6.0.1.13" @list{Added the @racket[#:list-contract?] option.}
#:changed "6.7.0.3" @list{Added the @racket[#:extra-delay] option.}] #:changed "6.7.0.3" @list{Added the @racket[#:extra-delay] option.}]
} }