Changes between Version 3 and Version 4 of GeneralizedEqualCowan


Ignore:
Timestamp:
12/01/12 17:05:38 (5 years ago)
Author:
cowan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GeneralizedEqualCowan

    v3 v4  
    88 
    99Otherwise, if the containers have different numbers of elements, the result is `#f`.  Otherwise, `generalized-equal?` invokes itself recursively on each corresponding element of the containers, passing itself the same comparators.  If a recursive call returns `#f`, that is the result; if all recursive calls return `#t`, that is the result. 
     10 
     11`(predicates->comparator `''type-predicate compare-predicate''`)` 
     12 
     13Returns a comparator that invokes ''type-predicate'' on its first and its second arguments.  If they both return `#t`, then they are assumed to be of the same type, and ''compare-predicate'' is invoked on the first and second arguments together.  If the result is `#t` or `#f`, then the comparator returns `#t` or `#f` respectively.  If they are not of the same type, a third value is returned.  The comparator always ignores its third argument. 
    1014 
    1115== Sample comparators ==