(cond (else => display))

[Dirk Herrmann]

Hello,

what should the result of (cond (else => display)) be?  Currently it is
#t, which is because memoization transforms the else to #t.

IMO:

(define => 'foo)
(cond (else =>))
 --> 'foo
(cond (else => display))
 --> #<primitive-procedure display>

This would require to change the memoization not to transform the else to
#t (in order to be able to distinguish it from a user given clause 
(#t => display), and to change the evaluator accordingly.

Opinions?

Best regards
Dirk Herrmann