[r6rs-discuss] [Formal] defer lambda rather than define rhs when expanding body

Per Bothner per at bothner.com
Mon Mar 12 12:41:38 EDT 2007


Abdulaziz Ghuloum wrote:
> So, according to your proposal, should the following examples be allowed or
> disallowed to come before a (define-syntax MAC ---):
> 
> 1. (define t1 (cons (MAC) #f))
> 2. (define t2 (cons (lambda () (MAC)) #f))
> 3. (define t3 (let ([x (MAC)]) x))
> 4. (define t4 (let () (MAC)))
> 5. (define t5 (cond [foo => (MAC)]))
> 6. (define t6 (if #f (MAC)))

2, 4, and 5 would be allowed.  The others would not be.
(Though I'm not opposed to tweaking the proposal to
change some of these if it makes sense.)
-- 
	--Per Bothner
per at bothner.com   http://per.bothner.com/



More information about the r6rs-discuss mailing list