[r6rs-discuss] Comparison procedures' number of arguments

[Abdulaziz Ghuloum]

On Oct 20, 2008, at 11:09 PM, Thomas Lord wrote:

> Now, to be clear, I think that second transformation is
> also a bogus transformation because my opinion is that
> (apply = '(q)) ought to be an error, not #t

Well, it is an error, and not #t.  Did you try the code that you posted?

Ikarus Scheme version 0.0.3+ (revision 1639, build 2008-10-19)
Copyright (c) 2006-2008 Abdulaziz Ghuloum

 > (define x '(q))
 > (let ((xv x))
                               ; the elements of x are all =
   (not                        ; if it is false that
     (exists                   ; there exists
       (lambda (x0)            ; some element of x ("x0")
         (exists               ; such that for that x0 there exists
           (lambda (x1)        ; another element of x ("x1")
             (not              ; where it is not the case that
               (= x0 x1)))     ; those elements are equal
            xv))
        xv)))
Unhandled exception
  Condition components:
    1. &assertion
    2. &who: =
    3. &message: "not a number"
    4. &irritants: (q)