Formal Comment

Submitter's name: Richard Kelsey
Submitter's email: kelsey at s48.org
Relevant draft: r7rs draft 6

Type: defect
Priority: major
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
with locations.

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
eqv.

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports