Documented with-asserts.

original commit: 63530ed74df880b55b4dc85398181fb2925e6947
2010-08-25 17:30:19 -04:00 · 2010-08-25 17:30:19 -04:00 · 6e2563c2a9
commit 6e2563c2a9
parent acd7b572ae
1 changed files with 7 additions and 0 deletions
--- 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}