From ae0dc72a82aa416963270d6a3c080a0562b6f521 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 27 Oct 2014 09:17:30 -0500 Subject: [PATCH] fix a contract example in the documentation 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 df8fef86da949ef883125855aa0ea1b23c635c0e) --- .../racket-doc/scribblings/guide/contracts-exists.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/racket-pkgs/racket-doc/scribblings/guide/contracts-exists.scrbl b/pkgs/racket-pkgs/racket-doc/scribblings/guide/contracts-exists.scrbl index 077c8e58a0..87fdf3fa03 100644 --- a/pkgs/racket-pkgs/racket-doc/scribblings/guide/contracts-exists.scrbl +++ b/pkgs/racket-pkgs/racket-doc/scribblings/guide/contracts-exists.scrbl @@ -14,7 +14,7 @@ for your data structures. @margin-note{ You can type @racket[#:exists] instead of @racket[#:∃] if you 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[∃].} The @racket[contract-out] form allows you to write @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] [enq (-> integer? queue queue)] [next (-> queue integer?)] - [deq (-> queue (listof integer?))] + [deq (-> queue queue)] [empty? (-> queue boolean?)]))] Now, if clients of the data structure try to use @racket[car] and @racket[cdr], they