From 83b0b09ab707663a56cb5df1ffed902ff2999604 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 16 Nov 2013 19:11:23 -0600 Subject: [PATCH] break some lines in the ->i blue box to make it fit in the allowed width --- .../racket-doc/scribblings/reference/contracts.scrbl | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/pkgs/racket-pkgs/racket-doc/scribblings/reference/contracts.scrbl b/pkgs/racket-pkgs/racket-doc/scribblings/reference/contracts.scrbl index 9a2f383e27..48d8343a8d 100644 --- a/pkgs/racket-pkgs/racket-doc/scribblings/reference/contracts.scrbl +++ b/pkgs/racket-pkgs/racket-doc/scribblings/reference/contracts.scrbl @@ -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]