[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

EQ? imply EQUAL?

Questions about Equivalence predicates:

First a quibble.  In 6.2 (p13) it says:
     
     A "predicate" is a procedure that always returns a boolean value
     (`#t' or `#f').

This seems at odds with p15 which says:

     `Equal?' may fail to terminate if its arguments are circular data
     structures.

I.E.  It won't always return.

================
On page 13 it says:

  Of the equivalence predicates described in this section, `eq?' is the
  finest or most discriminating, and `equal?'  is the coarsest.