fix typos in the documentation of prop:convertible
This commit is contained in:
parent
0ced8ace34
commit
8e38f1d5cb
|
@ -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
|
@racket[#f] if the conversion is not supported). The procedure's result
|
||||||
depends on the requested conversion, as above.
|
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?]{
|
@defproc[(convertible? [v any/c]) boolean?]{
|
||||||
|
|
||||||
|
@ -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
|
that the converter should return if it cannot produce data in the
|
||||||
format indicated by @racket[request].
|
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
|
and it guarantees that the result of @racket[convert] is the given
|
||||||
default argument (or @racket[#f] if one is not supplied).}
|
default argument (or @racket[#f] if one is not supplied).}
|
||||||
|
|
Loading…
Reference in New Issue
Block a user