Changes between Version 15 and Version 16 of NinthDraftEditorialCorrections


Ignore:
Timestamp:
07/06/13 11:43:39 (4 years ago)
Author:
cowan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NinthDraftEditorialCorrections

    v15 v16  
    11Two substantive changes were made between the ninth draft and the tenth (post-ballot) draft: 
    22 
    3 * The R5RS semantics of `eqv?` as applied to procedures was restored 
    4 * The `eq?` predicate is now allowed to distinguish between procedures when `eqv?` must not 
     3* The R5RS semantics of `eqv?` as applied to procedures was restored: it must report true if they have the same location tags, and must report false if they have different behavior (results or side effects) on some arguments, but may report either true or false when comparing other procedures 
     4* The `eq?` predicate is now required to report true when two procedures have the same location tag, but may report either true or false when comparing other procedures 
    55 
    66These are the editorial corrections to the ninth draft in reverse order.  All are present in the tenth draft.