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

Fix use of defform*/subs.

Browse Source 
svn: r18373
This commit is contained in:
Stevie Strickland 2010-02-27 01:18:17 +00:00
parent 7dacfaea85
commit 0900b6c2e3
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

@ -744,8 +744,8 @@ ensure that the exported functions are treated parametrically.
}
@defform*/subs[
(with-contract blame-id (wc-export ...) free-var-list ... body ...+)
(with-contract blame-id result-spec free-var-list ... body ...+)
[(with-contract blame-id (wc-export ...) free-var-list ... body ...+)
(with-contract blame-id result-spec free-var-list ... body ...+)]
([wc-export
(id contract-expr)]
[result-spec