[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Scheme-reports] Formal Comment: when does eqv? return #t for procedures?
- To: scheme-reports@x
- Subject: [Scheme-reports] Formal Comment: when does eqv? return #t for procedures?
- From: Richard Kelsey <kelsey@x>
- Date: Wed, 27 Jun 2012 20:43:41 +0000 (UTC)
Submitter's name: Richard Kelsey
Submitter's email: kelsey at s48.org
Relevant draft: r7rs draft 6
Relevant section of draft: Equivalence predicates
Summary: The list of cases where eqv? returns #t does not mention procedures.
The list of cases where eqv? returns #t does not mention procedures.
Several of the eqv? examples have eqv? returning #t when comparing
procedures. Eq? is required to behave identically to eqv? on
procedures, and one eq? example returns #t when comparing procedures.
I suggest that you go back to R5RS's notion of having procedures tagged
If the location tags are not used, then either come up with some other
was to tell when two procedures are the same or change the eqv? and
eq? examples so that no procedure comparison returns #t. Also, the
formal semantics needs to be changed, as it still has a location as
part of a procedure value and uses that location in its definition of
Scheme-reports mailing list