commit b669a390ffdaf7fa7ff5687acf079e649b2f3a12 parent 460c6323e068cb379c9f8c21cb5a4a98474cbe40 Author: Matthew Flatt <mflatt@racket-lang.org> Date: Mon, 10 Feb 2014 20:24:50 -0700 scribble/text: fix contract and docs on `with-writer` original commit: 964e9d128fd44da01ff1eea3efe9b02566f28530 Diffstat:
| M | pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/text.scrbl | | | 5 | ++++- |
| M | pkgs/scribble-pkgs/scribble-text-lib/scribble/text/output.rkt | | | 2 | +- |
2 files changed, 5 insertions(+), 2 deletions(-)
diff --git a/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/text.scrbl b/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/text.scrbl @@ -1316,7 +1316,10 @@ characters.} A value that outputs as the @tech{current indentation} plus @tech{current prefix}.} -@defproc[(with-writer [writer (or/c (string? output-port? . -> . any/c) #f)] +@defproc[(with-writer [writer (or/c (->* (string? output-port?) + (exact-nonnegative-integer?) + any/c) + #f)] [v outputable/c] ...) outputable/c]{ diff --git a/pkgs/scribble-pkgs/scribble-text-lib/scribble/text/output.rkt b/pkgs/scribble-pkgs/scribble-text-lib/scribble/text/output.rkt @@ -273,7 +273,7 @@ (define/provide-special (restore-prefix)) (define/provide-special (add-prefix [pfx (or/c string? exact-nonnegative-integer?)])) (define/provide-special (set-prefix [pfx (or/c string? exact-nonnegative-integer?)])) -(define/provide-special (with-writer [writer (or/c #f (string? output-port? . -> . any/c))])) +(define/provide-special (with-writer [writer (or/c #f (->* (string? output-port?) (exact-nonnegative-integer?) any/c))])) #; ; no need for this hack yet (define/provide-special (with-writer-change writer))