From cc79890f714390e471e515f21b00bd15db757729 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Sun, 10 Oct 2010 20:32:28 -0600
Subject: [PATCH] rephrase `eq-hash-code', etc. docs in terms of fixnums

---
 collects/scribblings/reference/hashes.scrbl | 28 +++++++++------------
 1 file changed, 12 insertions(+), 16 deletions(-)

diff --git a/collects/scribblings/reference/hashes.scrbl b/collects/scribblings/reference/hashes.scrbl
index 65a0ce4429..d9c592837c 100644
--- a/collects/scribblings/reference/hashes.scrbl
+++ b/collects/scribblings/reference/hashes.scrbl
@@ -421,33 +421,29 @@ Returns a mutable hash table with the same mappings, same
 key-comparison mode, and same key-holding strength as @scheme[hash].}
 
 
-@defproc[(eq-hash-code [v any/c]) exact-integer?]{
+@defproc[(eq-hash-code [v any/c]) fixnum?]{
 
-Returns an exact integer; for any two @scheme[eq?] values, the
-returned integer is the same. Furthermore, for the result integer
-@scheme[_k] and any other exact integer @scheme[_j], @scheme[(= _k _j)]
-implies @scheme[(eq? _k _j)].}
+Returns a @tech{fixnum}; for any two calls with @scheme[eq?] values,
+the returned number is the same.
+
+@margin-note{Equal @tech{fixnums} are always @racket[eq?].}}
 
 
-@defproc[(eqv-hash-code [v any/c]) exact-integer?]{
+@defproc[(eqv-hash-code [v any/c]) fixnum?]{
 
-Returns an exact integer; for any two @scheme[eqv?] values, the
-returned integer is the same. Furthermore, for the result integer
-@scheme[_k] and any other exact integer @scheme[_j], @scheme[(= _k _j)]
-implies @scheme[(eq? _k _j)].}
+Returns a @tech{fixnum}; for any two calls with @scheme[eqv?] values,
+the returned number is the same.}
 
 
 @defproc[(equal-hash-code [v any/c]) exact-integer?]{
 
-Returns an exact integer; for any two @scheme[equal?] values, the
-returned integer is the same.  Furthermore, for the result integer
-@scheme[_k] and any other exact integer @scheme[_j], @scheme[(= _k _j)]
-implies @scheme[(eq? _k _j)]. A has code is computed even when
+Returns a @tech{fixnum}; for any two calls with @scheme[equal?] values,
+the returned number is the same. A hash code is computed even when
 @scheme[v] contains a cycle through pairs, vectors, boxes, and/or
 inspectable structure fields. See also @scheme[prop:equal+hash].}
 
-@defproc[(equal-secondary-hash-code [v any/c]) exact-integer?]{
+
+@defproc[(equal-secondary-hash-code [v any/c]) fixnum?]{
 
 Like @scheme[equal-hash-code], but computes a secondary value suitable
 for use in double hashing.}
-