From 7223c503f26fdf85ed1015be10a9caf49e642e0f Mon Sep 17 00:00:00 2001 From: chrdimo Date: Mon, 28 Jan 2013 19:36:36 -0500 Subject: [PATCH] adding docs entry for blame update --- collects/scribblings/reference/contracts.scrbl | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/collects/scribblings/reference/contracts.scrbl b/collects/scribblings/reference/contracts.scrbl index ed66dace5b..0d1ab33b49 100644 --- a/collects/scribblings/reference/contracts.scrbl +++ b/collects/scribblings/reference/contracts.scrbl @@ -1778,6 +1778,12 @@ the other; both are provided for convenience and clarity. position @racket[b] has. } +@defproc[(blame-update [b blame?] [pos any/c] [neg any/c]) blame?]{ + Produces a @racket[blame?] object just like @racket[b] except + that it adds @racket[pos] and @racket[neg] to the positive + and negative parties of @racket[b] respectively. +} + @defproc[(raise-blame-error [b blame?] [x any/c] [fmt (or/c string?