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

break some lines in the ->i blue box

Browse Source 
to make it fit in the allowed width
This commit is contained in:
Robby Findler 2013-11-16 19:11:23 -06:00
parent 0678b4442c
commit 83b0b09ab7
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/racket-pkgs/racket-doc/scribblings/reference/contracts.scrbl
View File

@ -811,16 +811,20 @@ symbols, and that return a symbol.
(code:line keyword id+ctc)]
[dependent-rest (code:line) (code:line #:rest id+ctc)]
[pre-condition (code:line)
(code:line #:pre (id ...) boolean-expr pre-condition)
(code:line #:pre/name (id ...) string boolean-expr pre-condition)]
(code:line #:pre (id ...)
boolean-expr pre-condition)
(code:line #:pre/name (id ...)
string boolean-expr pre-condition)]
[dependent-range any
id+ctc
un+ctc
(values id+ctc ...)
(values un+ctc ...)]
[post-condition (code:line)
(code:line #:post (id ...) boolean-expr post-condition)
(code:line #:post/name (id ...) string boolean-expr post-condition)]
(code:line #:post (id ...)
boolean-expr post-condition)
(code:line #:post/name (id ...)
string boolean-expr post-condition)]
[id+ctc [id contract-expr]
[id (id ...) contract-expr]]
[un+ctc [_ contract-expr]