[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Scheme-reports] Comments on draft 6


IMO, the following program:

 	(define t 1)
 	(define-syntax define-const
 	  (syntax-rules ()
 	    ((_ var val)
 	       (define t val)
 	       (define (var) t)))))
 	(define-const foo 2)

Evaluated in any context, including the REPL and the top-level of any
library or of any internal lexical scope, should evaluate to the same thing,
and I believe this is the case with most implementations.  I consider this a
matter of giving proper hygienic guarantees in all levels that this should
evaluate to 1.

Aaron W. Hsu | arcfide@x | http://www.sacrideo.us
Programming is just another word for the lost art of thinking.

Scheme-reports mailing list