From c15fd5045a8f885847a344209395c55f99889df2 Mon Sep 17 00:00:00 2001 From: Ben Greenman Date: Tue, 18 Jul 2017 16:12:36 -0400 Subject: [PATCH] doc: add grammar for 'recursive-contract' type option --- .../racket-doc/scribblings/reference/contracts.scrbl | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/pkgs/racket-doc/scribblings/reference/contracts.scrbl b/pkgs/racket-doc/scribblings/reference/contracts.scrbl index 1f9dffcb0e..340efa4205 100644 --- a/pkgs/racket-doc/scribblings/reference/contracts.scrbl +++ b/pkgs/racket-doc/scribblings/reference/contracts.scrbl @@ -3111,13 +3111,15 @@ name @racket[sexp-name] when signaling a contract violation.} (recursive-contract contract-expr type recursive-contract-option ...)] #:grammar ([recursive-contract-option #:list-contract? - #:extra-delay])]{ + #:extra-delay] + [type + #:impersonator + #:chaperone + #:flat])]{ Delays the evaluation of its argument until the contract is checked, -making recursive contracts possible. If @racket[type] is given, it -describes the expected type of contract and must be one of the keywords -@racket[#:impersonator], @racket[#:chaperone], or @racket[#:flat]. If -@racket[type] is not given, an impersonator contract is created. +making recursive contracts possible. +If @racket[type] is not given, an impersonator contract is created. If the @racket[recursive-contract-option] @racket[#:list-contract?] is given, then the result is a