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

Doc fixes.

Browse Source 
svn: r11686
This commit is contained in:
Stevie Strickland 2008-09-12 16:26:09 +00:00
parent f191636cc7
commit eb919c78d1
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -657,10 +657,10 @@ exported without a contract.
The @scheme[blame-id] is used for the positive positions of
contracts paired with exported @scheme[id]s. Contracts broken
within the @scheme[with-contract] @scheme[body] will use the
@scheme[blame-id] for their negative position.
@scheme[blame-id] for their negative position.}
@defform*[(define/contract id contract-expr init-value-expr)
(define/contract (head args) contract-expr body ...+]{
@defform*[[(define/contract id contract-expr init-value-expr)
(define/contract (head args) contract-expr body ...+)]]{
Works like @scheme[define], except that the contract
@scheme[contract-expr] is attached to the bound value.