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

fix a contract example in the documentation

Browse Source 
closes PR 14798 (the previous commit, 86017992ab, that
claimed to fix this PR is unrelated; sorry for that)

Please include in 6.1.1

(cherry picked from commit df8fef86da)
This commit is contained in:
Robby Findler 2014-10-27 09:17:30 -05:00 committed by Ryan Culpepper
parent 15d08f5d84
commit ae0dc72a82
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/racket-pkgs/racket-doc/scribblings/guide/contracts-exists.scrbl
View File

@ -14,7 +14,7 @@ for your data structures.
@margin-note{ @margin-note{
You can type @racket[#:exists] instead of @racket[#:∃] if you You can type @racket[#:exists] instead of @racket[#:∃] if you
cannot easily type unicode characters; in DrRacket, typing cannot easily type unicode characters; in DrRacket, typing
@tt{\exists} followed by either alt-\ or control-\ (depending @litchar{\exists} followed by either alt-\ or control-\ (depending
on your platform) will produce @racket[∃].} on your platform) will produce @racket[∃].}
The @racket[contract-out] form allows you to write The @racket[contract-out] form allows you to write
@racketblock[#:∃ _name-of-a-new-contract] as one of its clauses. This declaration @racketblock[#:∃ _name-of-a-new-contract] as one of its clauses. This declaration
@ -50,7 +50,7 @@ To ensure that the queue representation is abstract, we can use @racket[#:∃] i
[empty queue] [empty queue]
[enq (-> integer? queue queue)] [enq (-> integer? queue queue)]
[next (-> queue integer?)] [next (-> queue integer?)]
[deq (-> queue (listof integer?))] [deq (-> queue queue)]
[empty? (-> queue boolean?)]))] [empty? (-> queue boolean?)]))]
Now, if clients of the data structure try to use @racket[car] and @racket[cdr], they Now, if clients of the data structure try to use @racket[car] and @racket[cdr], they