suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix up syntax here.

Browse Source 
svn: r11698
This commit is contained in:
Stevie Strickland 2008-09-12 19:32:39 +00:00
parent 4e8064e8a5
commit af5628bb5a
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/scribblings/reference/contracts.scrbl
View File

@ -642,8 +642,8 @@ only used in the contract for the sub-struct's maker, and the selector
or mutators for the super-struct are not provided.}
@defform/subs[
(with-contract blame-id (wc-exports) body ...+)
([wc-exports
(with-contract blame-id (wc-export ...) body ...+)
([wc-export
id
(id contract-expr)])]{
Generates a local contract boundary. The @scheme[contract-expr]