From 6e2563c2a94b15f5447b9fffc86dc5538e5847cf Mon Sep 17 00:00:00 2001
From: Vincent St-Amour <stamourv@racket-lang.org>
Date: Wed, 25 Aug 2010 17:30:19 -0400
Subject: [PATCH] Documented with-asserts.

original commit: 63530ed74df880b55b4dc85398181fb2925e6947
---
 collects/typed-scheme/scribblings/ts-reference.scrbl | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/collects/typed-scheme/scribblings/ts-reference.scrbl b/collects/typed-scheme/scribblings/ts-reference.scrbl
index 8daab985..19cff7c9 100644
--- a/collects/typed-scheme/scribblings/ts-reference.scrbl
+++ b/collects/typed-scheme/scribblings/ts-reference.scrbl
@@ -529,6 +529,13 @@ y
 (assert y number?)
 (assert y boolean?)]
 
+@defform*/subs[[(with-asserts ([id maybe-pred] ...) body ...+)]
+              ([maybe-pred code:blank
+                           (code:line predicate)])]{
+Guard the body with assertions. If any of the assertions fail, the
+program errors. These assertions behave like @racket[assert].
+}
+
 
 @section{Typed Racket Syntax Without Type Checking}