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

Re: [Scheme-reports] Comments on draft 6



Andy:

IMO, the following program:

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

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
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports