From d224da3105ca92509cf4d561d00ff72d10372fb7 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 8 Apr 2017 18:55:03 -0500 Subject: [PATCH] document the #:missing-party argument to raise-blame-error closes #1658 --- pkgs/racket-doc/scribblings/reference/contracts.scrbl | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/pkgs/racket-doc/scribblings/reference/contracts.scrbl b/pkgs/racket-doc/scribblings/reference/contracts.scrbl index c86c3c1fc2..de84e929c3 100644 --- a/pkgs/racket-doc/scribblings/reference/contracts.scrbl +++ b/pkgs/racket-doc/scribblings/reference/contracts.scrbl @@ -2375,6 +2375,7 @@ of the blame object and the negative party should be used instead. } @defproc[(raise-blame-error [b blame?] + [#:missing-party missing-party #f] [v any/c] [fmt (or/c string? (listof (or/c string? @@ -2386,7 +2387,12 @@ of the blame object and the negative party should be used instead. Signals a contract violation. The first argument, @racket[b], records the current blame information, including positive and negative parties, the name of the contract, the name of the value, and the source location of the contract -application. The second argument, @racket[v], is the value that failed to +application. The @racket[#:missing-party] argument supplies one of the blame +parties. It should be non-@racket[#f] when the @racket[b] object was created +without supplying a negative party. See @racket[blame-add-missing-party] and +the description of the @racket[_late-neg-proj] argument of @racket[make-contract]. + +The second positional argument, @racket[v], is the value that failed to satisfy the contract. The remaining arguments are a format string,