From c5131d428cf9b91278f010636f94e40881aec980 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 12 Sep 2011 19:16:57 -0600 Subject: [PATCH] doc clarifications on `eq?' --- collects/scribblings/reference/booleans.scrbl | 5 +++-- collects/scribblings/reference/data.scrbl | 5 ++++- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/collects/scribblings/reference/booleans.scrbl b/collects/scribblings/reference/booleans.scrbl index 5eb0dfdbd4..a18c1905d0 100644 --- a/collects/scribblings/reference/booleans.scrbl +++ b/collects/scribblings/reference/booleans.scrbl @@ -5,8 +5,9 @@ True and false @deftech{booleans} are represented by the values @racket[#t] and @racket[#f], respectively, though operations that -depend on a boolean value typically treat anything other than @racket[#f] -as true. +depend on a boolean value typically treat anything other than +@racket[#f] as true. The @racket[#t] value is always @racket[eq?] to +itself, and @racket[#f] is always @racket[eq?] to itself. See also: @racket[and], @racket[or], @racket[andmap], @racket[ormap]. diff --git a/collects/scribblings/reference/data.scrbl b/collects/scribblings/reference/data.scrbl index a962dbe73f..966bd5633a 100644 --- a/collects/scribblings/reference/data.scrbl +++ b/collects/scribblings/reference/data.scrbl @@ -227,7 +227,10 @@ Sets the content of @racket[box] to @racket[v].} The constant @|void-const| is returned by most forms and procedures that have a side-effect and no useful result. The constant @|undefined-const| is used as the initial value for @racket[letrec] -bindings. +bindings. + +The @|void-const| value is always @racket[eq?] to itself, and the +@|undefined-const| value is also @racket[eq?] to itself. @defproc[(void? [v any/c]) void?]{Returns @racket[#t] if @racket[v] is the constant @|void-const|, @racket[#f] otherwise.}