From 8e38f1d5cb249a0308c4c1de5d998ac1c553d73c Mon Sep 17 00:00:00 2001 From: Fred Fu Date: Tue, 11 Jun 2019 14:49:28 -0400 Subject: [PATCH] fix typos in the documentation of prop:convertible --- pkgs/racket-doc/file/scribblings/convertible.scrbl | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/pkgs/racket-doc/file/scribblings/convertible.scrbl b/pkgs/racket-doc/file/scribblings/convertible.scrbl index 02ed25a29c..f6a97a90bd 100644 --- a/pkgs/racket-doc/file/scribblings/convertible.scrbl +++ b/pkgs/racket-doc/file/scribblings/convertible.scrbl @@ -22,7 +22,7 @@ should be considered standard: @item{@racket['text] --- a string for human-readable text} @item{@racket['gif-bytes] --- a byte string containing a GIF image encoding} @item{@racket['png-bytes] --- a byte string containing a PNG image encoding} - @item{@racket['png-bytes+bounds] --- a list containing a byte string and four numbers; + @item{@racket['png-bytes+bounds] --- a list containing a byte string and four numbers; the byte string contains a PNG document, and the four numbers are sizing information for the image: the width, height, descent (included in the height), and extra vertical top space @@ -64,7 +64,7 @@ should be considered standard: but for an PDF document} ] -@defthing[prop:convertible +@defthing[prop:convertible (struct-type-property/c (->i ([v convertible?] [request symbol?] [default default/c]) [result @@ -113,7 +113,7 @@ conversion, and the @racket[_default] argument is a value to return (typically @racket[#f] if the conversion is not supported). The procedure's result depends on the requested conversion, as above. -The @racket[default/c] contract is one generated by @racket[new-α/c].} +The @racket[default/c] contract is one generated by @racket[new-∀/c].} @defproc[(convertible? [v any/c]) boolean?]{ @@ -124,7 +124,7 @@ Returns @racket[#t] if @racket[v] supports the conversion protocol, (case request [(text) (or/c string? default/c)] - [(gif-bytes + [(gif-bytes png-bytes png@2x-bytes ps-bytes @@ -163,6 +163,6 @@ indicates the type of requested data and @racket[default] is the value that the converter should return if it cannot produce data in the format indicated by @racket[request]. -The @racket[default/c] contract is one created by @racket[new-α/c] +The @racket[default/c] contract is one created by @racket[new-∀/c] and it guarantees that the result of @racket[convert] is the given default argument (or @racket[#f] if one is not supplied).}