[r6rs-discuss] [Formal] Scheme should not be changed to be case sensitive.

From: Abdulaziz Ghuloum <aghuloum>
Date: Tue Nov 14 16:23:11 2006

On Nov 14, 2006, at 3:06 PM, Thomas Lord wrote:

> Arthur A. Gleckler wrote:
>>
>> U+03c2 is a fine canonical choice here. Why can't they all be eq?
>
> Isn't it the case in Scheme that, for all singleton procedures P and
> all values V1 and V2 that
>
> (eq? V1 V2) => (eq? (P V1) (P V2))

What's a singleton procedure? But regardless of the definifion, the
above statement only holds for some specific values of P, V1, and V2.

Aziz,,,
Received on Tue Nov 14 2006 - 16:22:44 UTC